Как не ошибаться. Сила математического мышления

Популярный образ одинокого (и, может, немного сумасшедшего) гения, который игнорирует литературу и другие источники устоявшихся представлений и которому благодаря какому-то непостижимому вдохновению (возможно, усиленному мягким всплеском страдания) удается найти поразительно оригинальное решение задачи, поставившей в тупик всех специалистов, – это очаровательный и романтический образ, но абсолютно неправильный, во всяком случае в мире современной математики. Безусловно, в этой области действительно есть впечатляющие, глубокие и удивительные результаты и озарения, но они достаются тяжелым трудом и являются результатом многих лет, десятилетий или даже столетий упорной работы и успехов многих хороших и великих математиков. Переход от одного уровня понимания к следующему может быть в высшей степени нетривиальным и порой довольно неожиданным, но все же он опирается на фундамент предшествующей работы, а не начинается с чистого листа… На самом деле я считаю, что современные реалии математических исследований (когда прогресс достигается естественным образом, как следствие упорного труда, в основе которого лежит интуиция, литература и немного удачи) приносят гораздо большее удовлетворение, чем мои прежние романтические представления о математике как о науке, развивающейся в основном благодаря мистическому вдохновению некой редкой породы «гениев»{287}.

Я не утверждаю, что было бы неправильным называть Гильберта гением. Однако правильнее говорить, что гениально то, чего достиг Гильберт. Гениален не человек, гениально то, что он делает.

Политическая логика

Политическая логика – это не формальная система в том смысле, который подразумевали Гильберт и другие специалисты по математической логике, но математики с формалистским мировоззрением не могли не подходить к политике с такими же методологическими предпочтениями. К этому их призывал сам Гильберт, который в своей лекции Axiomatic Thought («Аксиоматическое мышление»), прочитанной в 1918 году, отстаивал идею о том, что другие науки также должны взять на вооружение аксиоматический подход, оказавшийся столь успешным в математике.

Например, Гёдель, теорема которого исключила возможность окончательного изгнания противоречий из арифметики, был также обеспокоен Конституцией США, которую он изучал во время подготовки к экзамену на получение американского гражданства в 1948 году. Он считал, что этот документ содержит противоречие, которое может помочь фашистской диктатуре взять страну под свой контроль абсолютно конституционным путем. Друзья Гёделя Альберт Эйнштейн и Оскар Моргенштерн умоляли его избегать этой темы на экзамене, но, как вспоминает об этом Моргенштерн, беседа закончилась так: