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