Универсальный генератор виртуальной реальности — это генератор, репертуар которого содержит каждую физически возможную среду.

Среды Кантгоуту — логически возможные среды, которые не сможет передать ни один физически возможный генератор виртуальной реальности.

Диагональное доказательство — вид доказательства, при котором представляют список категорий, а затем используют этот список для создания родственной категории, которой не может быть в этом списке.

Машина Тьюринга — одна из первых абстрактных моделей вычисления.

Универсальная машина Тьюринга — машина Тьюринга с репертуаром, содержащим репертуары всех машин Тьюринга.

Принцип Тьюринга (в самой жизнестойкой форме) — построить Универсальный генератор виртуальной реальности физически возможно. При сделанных мной допущениях это означает, что не существует верхней границы универсальности генераторов виртуальной реальности, которые действительно будут построены где-то в мультиверсе.

Диагональное доказательство показывает, что подавляющее большинство логически возможных сред невозможно передать в виртуальной реальности. Я назвал такие среды средами Кантгоуту. Тем не менее, в физической реальности существует постижимая самоподобность. выраженная в принципе Тьюринга: можно построить генератор виртуальной реальности, репертуар которого включает каждую физически возможную среду. Таким образом, отдельный физический объект, который можно построить, способен имитировать все варианты поведения и реакции любого другого физически возможного объекта или процесса. Именно это делает реальность постижимой.

Это также делает возможной эволюцию живых организмов. Однако прежде чем обсуждать теорию эволюции, четвертую основную нить объяснения структуры реальности, я должен сделать краткое отступление в эпистемологию.

Как я объяснил в предисловии, основная цель этой книги не защита четырех основных нитей, а исследование того, что говорят эти нити и какого рода реальность они описывают. Именно поэтому я никоим образом не обращаюсь к враждебным теориям. Тем не менее, существует одна враждебная теория, а именно: здравый смысл, — подробного опровержения которой требует мой разум, когда она вступает в конфликт с моими утверждениями. Поэтому в главе 2 я в пух и прах разбил логичную идею существования одной вселенной. В главе 11 та же участь ожидает идею о том, что время «течет» или что наше сознание «движется» во времени. В главе 3 я раскритиковал индуктивизм, разумную идею о том, что мы создаем теории о физическом мире, обобщая результаты наблюдений, и доказываем свои теории, повторяя эти наблюдения. Я объяснил, что индуктивное обобщение на основе наблюдений невозможно и что индуктивное доказательство необоснованно. Я объяснил, что индуктивизм основывается на ошибочном представлении о том, что наука ищет предсказания на основе наблюдений, а не объяснения в ответ на задачи. Я также объяснил (следуя Попперу), как наука делает прогресс, придумывая новые объяснения и затем выбирая лучшие с помощью экспериментов. Все это почти полностью принимают ученые и философы. Но большинство философов не принимают то, что этот процесс доказан. Сейчас я объясню это.

Наука ищет лучшие объяснения. Научное объяснение толкует наши наблюдения, постулируя что-либо относительно того, какова наша реальность и как она действует. Мы считаем какое-либо объяснение лучше других, если оно оставляет меньше белых пятен (например, категорий с необъясненными свойствами), требует меньшего количества более простых постулатов, является более обобщенным, проще согласуется с хорошими объяснениями из других областей и т. д. Но почему лучшее объяснение должно быть тем, чем мы всегда считаем его на практике, — показателем более истинной теории! Почему, коли на то пошло, откровенно плохое объяснение (скажем, не имеющее ни одного из вышеназванных качеств) обязательно должно быть ложным? Логически необходимой связи между истиной и объяснительными возможностями в действительности не существует. Плохое объяснение (такое, как солипсизм) может быть истинным. Даже самая лучшая имеющаяся теория в определенных случаях может дать ложные предсказания, и это могут быть как раз те случаи, когда мы полагаемся на эту теорию. Ни одна обоснованная форма рассуждения логически не может ни исключить такой возможности, ни хотя бы доказать ее невероятность. Но в таком случае, как мы можем оправдать то, что полагаемся на свои лучшие объяснения как на ведущие к практическому принятию решений? В общем, какие бы критерии мы ни использовали для суждения о научных теориях, как можно, основываясь на том, что эти критерии удовлетворяют какой-то теории сегодня, подразумевать хоть что-нибудь относительно того, что произойдет, если мы будем полагаться на эти теории завтра?

Это современная форма «задачи индукции». Большинство современных философов согласны с точкой зрения Поппера, что новые теории не из чего не выводят, это просто гипотезы. Они также принимают, что научный прогресс создается посредством гипотез и опровержений (как описано в главе 3) и что теории принимают после опровержения всех их конкурентов, а не после получения многочисленных подтверждающих их примеров. Они согласны, что полученное таким образом знание стремится быть надежным. Проблема в том, что они не понимают, почему это знание должно быть надежным. Обычные индуктивисты пытались сформулировать «принцип индукции», который гласит, что подтверждающие примеры повышают вероятность теории, или что «будущее будет похоже на прошлое», или что-то в этом роде. Они также пытались сформулировать методологию индуктивной науки, устанавливая правила о том, какие выводы можно обоснованно сделать из «данных». Все они потерпели неудачу по причинам, которые я уже объяснил. Но даже если бы они достигли успеха, в смысле построения схемы успешного создания научного знания, это не решило бы задачу индукции в современном ее понимании. Поскольку в этом случае «индукция» была бы еще одним возможным способом выбора теорий, а задача, почему эти теории следует считать надежной основой действий, осталась бы нерешенной. Другими словами, философы, которых волнует эта «задача индукции», — не индуктивисты в старом смысле этого слова. Они не пытаются получить или доказать теории индуктивно. Они не ждут, что небо обрушится, но они не знают, как это доказать.

Современные философы жаждут получить это отсутствующее доказательство. Они уже не верят, что получат его от индукции, но, тем не менее, в их схеме всего отсутствует индукция, от чего они страдают так же, как религиозные люди, потерявшие свою веру, страдают от «отсутствия Бога» в своей схеме всего. Но, по-моему, разница между отсутствием X в схеме всего и верой в X слишком мала. Поэтому, чтобы приспособиться к более сложной концепции задачи индукции, мне хотелось бы дать новое определение термину «индуктивист», подразумевая под ним человека, который считает необоснованность индуктивных доказательств проблемой основ науки. Другими словами, индуктивист считает, что существует некоторый пробел, который необходимо заполнить если не принципом индукции, то чем-то еще. Некоторые индуктивисты ничего не имеют против такой определенности. Другие с этим не согласны, поэтому я буду называть их крипто-индуктивистами.