Машина Тьюринга — одна из первых абстрактных моделей вычисления.
Универсальная машина Тьюринга — машина Тьюринга с репертуаром, содержащим репертуары всех других машин Тьюринга.
Принцип Тьюринга (в самой сильной форме) — построить универсальный генератор виртуальной реальности физически возможно. При сделанных мной допущениях это означает, что не существует верхней границы универсальности генераторов виртуальной реальности, которые действительно будут построены где-то в мультиверсе.
Резюме
Диагональное доказательство показывает, что подавляющее большинство логически возможных сред невозможно создать в виртуальной реальности. Я назвал такие среды CGT-средами. Тем не менее в физической реальности существует полное самоподобие, выраженное в принципе Тьюринга: можно построить генератор виртуальной реальности, репертуар которого включает каждую физически возможную среду. Таким образом, отдельный физический объект, который можно построить, способен имитировать все варианты поведения и реакции любого другого физически возможного объекта или процесса. Именно это делает реальность постижимой.
Это также делает возможной эволюцию живых организмов. Однако, прежде чем обсуждать теорию эволюции, четвёртую основную нить объяснения структуры реальности, я должен сделать краткое отступление в эпистемологию.
7. Диалог об обосновании, или Дэвид Дойч и криптоиндуктивист
По-моему, мне удалось решить крупнейшую философскую проблему: проблему индукции.
Карл Поппер
Как я объяснил в предисловии, основная цель этой книги — не защита четырёх основных нитей, а исследование того, что говорят эти нити и какого рода реальность они описывают. Именно поэтому я не рассматриваю сколько-нибудь подробно противостоящие им теории. Тем не менее существует одна враждебная теория, а именно — здравый смысл, — подробного опровержения которой требует мой разум всякий раз, когда она вступает в конфликт с тем, что я утверждаю. Поэтому в главе 2 я в пух и прах разбил логичную идею существования ровно одной вселенной. В главе 11 та же участь ожидает идею о том, что время «течёт» или что наше сознание «движется» сквозь время. В главе 3 я критиковал индуктивизм, диктуемую здравым смыслом идею о том, что мы создаём теории о физическом мире, обобщая результаты наблюдений, и обосновываем свои теории, повторяя эти наблюдения. Я объяснил, что индуктивное обобщение на основе наблюдений невозможно, и что индуктивное обоснование является ошибочным. Я объяснил, что индуктивизм основывается на неверном представлении о том, будто наука ищет предсказания на основе наблюдений, в то время как в действительности она ищет объяснения в ответ на проблемы. Я также объяснил (следуя Попперу), как наука добивается прогресса, придумывая новые объяснения и затем выбирая из них лучшие с помощью экспериментов. Всё это учёные и философы науки в основном принимают. Но большинство философов не принимают то, что этот процесс обоснован. Сейчас я объясню, в чём дело.
Наука ищет лучшие объяснения. Научное объяснение даёт толкование нашим наблюдениям, постулируя нечто относительно того, какова наша реальность и как она работает. Мы считаем, что какое-то объяснение лучше других, если оно оставляет меньше неясностей (например, сущностей, свойства которых остались необъяснёнными), требует меньшего количества более простых постулатов, является более общим, проще согласуется с хорошими объяснениями из других областей и т. д. Но почему лучшее объяснение должно быть тем, чем мы всегда считаем его на практике, — показателем более истинной теории? Почему, коли на то пошло, откровенно плохое объяснение (скажем, не имеющее ни одного из вышеназванных качеств) обязательно должно быть ложным? Действительно, логически необходимой связи между истиной и объяснительной силой не существует. Плохое объяснение (например, солипсизм) может быть истинным. Даже самая лучшая и правильная из имеющихся теорий в определённых случаях может дать ложное предсказание, и это могут быть как раз те случаи, когда мы полагаемся на эту теорию. Ни одна корректная форма рассуждения не может логически исключить такую возможность или даже доказать, что она является маловероятной. Но в таком случае как обосновать то, что мы полагаемся на свои лучшие объяснения как на руководство в практическом принятии решений?
В более общем виде вопрос стоит так. Какие бы критерии мы ни использовали для суждения о научных теориях, как может тот факт, что некая теория сегодня удовлетворяет этим критериям, означать хоть что-нибудь относительно того, что произойдёт, если мы будем полагаться на эту теорию завтра?
Такова современная форма «проблемы индукции». Большинство философов сегодня согласны с тезисом Поппера о том, что новые теории не из чего не выводят, они просто являются гипотезами. Философы также принимают, что научный прогресс достигается посредством предположений и опровержений (как описано в главе 3), и что теории принимают после опровержения всех их конкурентов, а не после получения многочисленных подтверждающих их примеров. Они согласны, что полученное таким образом знание на деле, как правило, оказывается надёжным. Проблема в том, что они не понимают, почему это знание должно быть надёжным. Традиционные индуктивисты пытались сформулировать «принцип индукции», который гласит, что подтверждающие примеры делают теорию более правдоподобной, или что «будущее будет похоже на прошлое», или что-то в этом роде. Они также пытались сформулировать индуктивистскую научную методологию, устанавливая правила о том, какие выводы можно обоснованно сделать из «данных». Все они потерпели неудачу по причинам, которые я уже объяснил. Но даже если бы они достигли успеха в смысле построения схемы, успешно следуя которой можно было бы создавать научное знание, это не решило бы задачу индукции в современном её понимании. Ведь в этом случае «индукция» была бы ещё одним возможным способом выбора теорий, а вопрос о том, почему эти теории следует считать надёжной основой для действия, остался бы без ответа. Другими словами, философы, которых волнует эта «проблема индукции», — вовсе не индуктивисты в старом смысле этого слова. Они не пытаются получить или обосновать теории индуктивно. Они не ждут, что небо вдруг обрушится, но они не знают, как обосновать свои ожидания.
Современные философы жаждут получить это отсутствующее обоснование. Они уже не верят, что получат его от индукции, но тем не менее в их схеме вещей остаётся пробел в форме индукции, точно так же как религиозные люди, утратившие свою веру, страдают от «отсутствия Бога» в своей схеме вещей. Но, по-моему, разница между наличием X-образного пробела в схеме вещей и верой в X слишком мала. Поэтому, чтобы вписаться в более сложную концепцию проблемы индукции, мне хотелось бы дать новое определение термину «индуктивист», подразумевая под ним человека, который считает некорректность индуктивного доказательства проблемой оснований науки. Другими словами, индуктивист считает, что существует некоторый пробел, который необходимо заполнить если не принципом индукции, то чем-то ещё. Некоторые индуктивисты ничего не имеют против такого определения. Другие с ним не согласны, поэтому я буду называть их криптоиндуктивистами.
