Патрик Саппс (Patrick Suppes) , философ из Стэнфорда, все время прерывал дискуссию, чтобы указать, что Кант, обсуждая антиномии, предвидел практически все проблемы, с которыми борются участники семинара. В конце концов, когда Саппс привел еще одну антиномию, кто-кто крикнул:
— Не надо больше Канта!
Саппс запротестовал, что есть еще одна антиномия, которую он хочет упомянуть, действительно важная, но его коллеги не дали ему ничего сказать. (Несомненно, они не хотели, чтобы им напоминали, что в основном они просто заново утверждают, при помощи новомодного жаргона и метафор, доказательства, представленные давно, и не только Кантом, но даже древними греками.)
Чайтин, строча как пулемет, вернул разговор обратно к Геделю. Теоремы неполноты, утверждал Чайтин, это далеко не парадоксальный курьез с малым отношением к прогрессу математики или науки, как нравится считать некоторым математикам, а только одна часть множества глубоких проблем, поставленных математикой.
— Некоторые люди отвергают результаты Геделя как эксцентричные, патологические, происходящие из соотносящегося с самим собой парадокса, — сказал Чайтин. — Сам Гедель иногда беспокоился, что это был просто парадокс, созданный нашим использованием слов.
А теперь неполнота кажется такой естественной, что вы можете спросить, как мы, математики, вообще можем что-то сделать!
Работа самого Чайтина по алгоритмической теории информации предполагала, что, по мере того как математики будут обращаться к проблемам все увеличивающейся сложности, им придется продолжать пополнять свою базу аксиом; другими словами, чтобы знать больше, нужно больше предполагать. В результате, утверждал Чайтин, математике предстоит стать все более экспериментальной наукой с меньшими претензиями на абсолютную истину. Чайтин также установил, что так же, как и природа, математика состоит из фундаментальной неуверенности и беспорядочности. Он недавно нашел алгебраическое уравнение, которое может иметь бесконечное или конечное количество решений, в зависимости от значения переменных в уравнении.
— Обычно предполагается, что если люди думают, что нечто истинно, то это истинно в связи с чем-то.
В математике причина называется доказательством, а работа математика — это нахождение доказательств, причин, выводов из аксиом и принятых принципов. Они истинны случайно. И именно поэтому мы никогда не найдем истину: потому что нет истины, и нет причины, что эти доказательства истинны.
Чайтин также доказал, что никогда нельзя определить, является ли любая компьютерная программа самым возможно кратким методом решения проблемы; всегда возможно, что существуют более сжатые программы. (Это открытие подразумевает, как подтвердили и другие исследователи, что физики никогда не могут быть уверены в том, что нашли окончательную теорию, которая представляет самое компактное описание природы.) Чайтин явно наслаждался положением носителя таких ужасных известий. Он казался разрушителем, который крушит храм науки.
Касти ответил, что математики могут избежать эффектов Геделя, применяя простые формальные системы, такие как арифметика, состоящая только из сложений и вычитаний (но не умножений и делений). Недедуктивные системы рассуждений, добавил Касти, могут также обойти проблему; теоремы Геделя способны ввести в заблуждение, когда дело касается естественных наук.
Франциско Антонио «Чико» Дориа (Francisco Antonio «Chico» Doria) , бразильский математик, тоже считает анализ Чайтина слишком пессимистичным. Математические барьеры, идентифицированные Геделем, утверждает Дориа, далеки от того, чтобы привести математику к концу, они могут ее обогатить. Например, Дориа предположил, что, когда математики встречают явно нерешаемое утверждение, они могут создать две новые ветви математики: одну, которая предполагает, что предложение истинно, и другую, которая предполагает, что оно ложно.
— Вместо границы знания, — сделал вывод Дориа, — мы можем получить богатство знаний.
Слушая Дориа, Чайтин закатил глаза. Саппс тоже, казалось, сомневался. Неожиданное предположение, что нерешаемые математические утверждения истинны или ложны, заявил Саппс, подобно «преимуществу кражи над честным тяжелым трудом». Он приписал свое мудрое изречение кому-то знаменитому.
Разговор продолжал менять направление — словно в странном аттракторе — к одной из любимых тем философствующих математиков и физиков: проблеме континуума. Реальность непрерывна или дискретна? Аналоговая или цифровая? Как лучше описывать мир — так называемыми вещественными числами, которые могут быть поделены на актуально бесконечно малые величины, или целыми числами? Физики от Ньютона до Эйнштейна полагались на вещественные числа. Но квантовая механика предполагает, что материя и энергия, а возможно, даже время и пространство (в очень малых диапазонах), появляются в состоящих из частей неделимых кусках. Компьютеры также представляют всё как целые числа: единицы и нули.