Растут ли волосы у покойника? Мифы современной науки - [25]

».

«В логике не может быть ничего неожиданного»

В некотором смысле наука в XX веке была весьма запутанной. Во многих областях невозможно ни определить, ни решить, ни тем более предсказать, как развивается наш мир. Невыразимое (несказанное) проявляется все больше и больше, как некогда писал поэт Райнер Мария Рильке, и оно бросает науке вызов, который виден, например, в неопределенности, неуверенности, непредсказуемости и неразрешимости научных проблем. Эти идеи неожиданно прозвучали в математике, в начале 1930-х годов в работах венского логика Курта Гёделя. Во время Второй мировой войны его мысли были затем конкретизированы на практике в результате открытия неразрешимости задач, сделанного английским математиком Аланом Тьюрингом. В своей работе «О формально неразрешимых теоремах “Принципов математики” и других родственных систем», опубликованной в 1931 году, Гёдель смог показать, что высказанная в 1900 году Давидом Гильбертом мечта об аналитической разрешимости всех вопросов математики по-прежнему остается мечтой. Мы можем знать, и мы будем знать – как оптимистически провозгласил Гильберт, но тут со стороны Гёделя последовало опровержение. В логической системе, основанной на ряде определений (аксиом), как показал «господин Почему» (так называли Гёделя в детстве), могут быть сформулированы теоремы и утверждения, которые в данных рамках нельзя ни доказать, ни опровергнуть. Они остаются нерешаемыми. Однако это имеет и положительную сторону, ведь в этом случае они дают разрешение принять открытое решение и даже делают возможной свободу там, где ее не ищут и не ждут.

Что же сделал Тьюринг? Великий англичанин сначала мысленно сконструировал машину, способную шаг за шагом расчетным путем решать конкретно поставленные задачи, а затем доказал, что невозможно решить, дойдет ли эта машина когда-нибудь до конца и справится ли она с поставленной перед ней проблемой.

Конкретный пример теоремы Гёделя сегодня – вопрос о том, существует ли всего лишь несколько или бесконечное множество форм бесконечности. Известны две формы, которые различают как «счетные» и «несчетные». В первом случае имеется в виду прежде всего ряд натуральных чисел, стремящийся в бесконечность. Во втором случае представим себе все другие числа, к которым относятся и числа, именуемые иррациональными, причем в качестве примера приведем корень из «2» (√2). При помощи изысканного (конструктивного) метода подсчета математик Георг Кантор сумел в XIX веке показать, что иррациональных чисел значительно больше, чем натуральных. Это совершенно очевидно для здравого смысла, который обычно имеет мало что общего с бесконечностью. Но тут возникает вопрос: а нельзя ли найти и другие бесконечности, и более того, не существует ли континуума бесконечности, т. е. бесконечности бесконечного?

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

Когда молодой Гёдель в 1930-х годах представил доказанные им теоремы о неполноте, это было действительно неожиданно для всех. Неудивительно, что они привели в замешательство и философа Людвига Витгенштейна. В 1920-х годах Витгенштейн считал, что логика обязательно должна сопровождаться скукой. В его по-прежнему часто читаемом «Логико-философском трактате» вывод под номером 6.1251 гласит: «В логике не может быть ничего неожиданного», и преподаватели согласно кивают в знак одобрения. Да и правда, что может быть неожиданного в логике?

А тут этот Гёдель! Тот, кто действительно любит думать, должен был бы признать ошибочность или фальсификацию своей идеи, дабы предложить новую и более совершенную. Благодаря этому результату можно было бы чему-либо научиться. Но какова была реакция Витгенштейна? Он совершил нечто полностью противоположное и сначала проявил упрямство, а потом и бесцеремонность: «Это не мое дело, – сказал Витгенштейн, – говорить о доказательстве Гёделя, моя задача – избегать говорить об этом». Несомненно, речь здесь идет об известном постулате: этого не может быть, потому что не может быть никогда. Тут встает весьма правомерный вопрос: отчего же на академических семинарах мы изучаем Витгенштейна гораздо больше, чем Гёделя?

Когда Гёдель, покинув свою родину вскоре после аншлюса, вхождения Австрии в состав национал-социалистической Германии, собирался обосноваться в США, один компетентный чиновник спросил его, рад ли он стать гражданином страны, конституция которой категорически исключает диктатуру. Гёдель ответил, что чиновник недостаточно внимательно читал свою конституцию, и диктатура все же возможна. К сожалению, Гёдель не указал нам соответствующее место. Пусть его найдут друзья Витгенштейна.

Наука – это лишь повторяющиеся события