Янник Гранек - Богиня маленьких побед

– Расширяя границы своей концепции, Тьюринг понял, что его машина способна только на заранее предопределенные решения. Она не могла решить, разрешимы ли те или иные вопросы. Иными словами, за конечный период времени определить, истинным или ложным является то или иное предположение.

– Без теоремы о неполноте не может обойтись даже машина.

– Ты, Энн Рот, интересуешься математикой?

– Я не уверена, что все поняла правильно, но Адель как-то говорила мне, что Гёдель и Тьюринг когда-то встречались.

Эрнестина тайком ей улыбнулась, затем повернулась и захлопнула дверь шкафчика; она тоже хорошо знала подобные приемы.

– Тебе бы надо написать на эту тему книгу, Энн. О героической судьбе пионеров эры информатики – Гёделе, Тьюринге, фон Неймане…

Когда Пьер протянул свой бокал и чокнулся с ней, молодая женщина залилась краской.

– Мысль Лео представляется мне просто изумительной. Добравшись до сокровенного, вы окажетесь у истоков Истории.

– Адель не ученый и поэтому склонна слишком эмоционально трактовать события.

– Жизнь – не точная наука. Человек представляет собой нечто большее, чем хронология и совокупность всех его поступков.

– Занимаясь документами, я собираю объективные факты.

– Доверьтесь интуиции.

– Тогда это уже будет художественный вымысел.

– А может, все-таки истина? Не хуже и не лучше других? Истины попросту нет… По крайней мере не каждую из них можно доказать.

Сикози сконфуженно улыбнулся:

– Такое лирическое продолжение теоремы о несовершенстве бросило бы нашего покойного гения в дрожь.

– Я поняла! Доказательства, основывающиеся на формальной логике, неправильно распространять на другие сферы жизнедеятельности.

– Расслабьтесь, Энн. Профессия математика не мешает мне играть на музыкальных инструментах, читать хорошие книги, наслаждаться восхитительным пирогом или этим изумительным «Жевре-Шамбертеном».

– Хотя слова и неспособны описать всю сложность его вкуса.

– А вы эпикуреец.

– Капризного зверя моей интуиции я привык кормить самой разной пищей.

– В том числе и читая художественную литературу?

– В моем понимании она, как и поэзия, позволяет охватить общую картину, основываясь на частностях. К тому же у математики очень много общего с поэзией.

Лео досадливо пожал плечами:

– Курт Гёдель остерегался языка.

– Он пребывал в поиске другой формы коммуникации, формального инструмента, способного выработать в мире человеческих чувств концепцию нашей реальности и связанной с ней математической вселенной. В его представлении дух неизмеримо больше суммы всех его взаимосвязей, какой бы огромной она ни была. Ни один ваш компьютер не в состоянии войти в подобное состояние интуиции и созидания.

Лео кипел от возмущения: тема требовала больше точности и меньше риторики. Гёдель привел в равновесие две идеи. Если мозг в точности напоминает собой машину Тьюринга, значит, ему присущи точно такие же ограничения, и вполне логично предположить существование неразрешимых проблем. Таким образом, математика и мир концепций, в том смысле, который в это понятие вкладывал Платон, для человечества в той или иной степени недостижимы. Но если мозг является машиной неизмеримо более сложной и способной манипулировать схемами, для автомата недоступными, то человек в этом случае, сам того не подозревая, обладает сложной системой управления интеллектуальной деятельностью. Не имея возможности ее как-то определить, он довольствуется лишь тем, что называет «интуицией» свою способность проецироваться за рамки языка, в том числе и формального, присущего математике. Пьер Сикози внимательно слушал его с той же непроницаемой, ироничной улыбкой на устах.

– Дух, Леонард, всегда превосходит материю.

– Лишь до тех пор, пока мы не получим доказательств обратного! Мы говорим о сфере, которая развивается с феноменальной скоростью. Вполне возможно, что в недалеком будущем компьютер опровергнет выводы Курта Гёделя.

– Вы проповедуете для вашей цифровой паствы. Закон Мура [134]– всего лишь смутная догадка, призванная заманивать промышленность перспективой неограниченного роста. По моему скромному мнению, информатике предстоит сыграть свою роль в деле проверки тех или иных гипотез. Но если говорить о математических открытиях, то здесь не может быть ничего лучше блокнота и ручки, которыми конечно же пользуетесь и вы.

– Но ведь число возможных вариантов представляется поистине бесконечным.