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

Экзаменатор: Итак, мистер Гёдель, откуда вы?
Гёдель: Откуда я? из Австрии.
Экзаменатор: Какая власть действует у вас в Австрии?
Гёдель: Это была республика, но конституция была такой, что в итоге она превратилась в диктатуру.
Экзаменатор: О! Это очень плохо! В нашей стране такое невозможно.
Гёдель: Возможно, и я могу это доказать.

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

* Историю Гёделя и диалог на экзамене см. на сайте Institute for Advanced Study: Kurt Gödel and the Institute (www.ias.edu/people/godel/institute).
По «Как не ошибаться: Сила математического мышления». Джордан Элленберг. #интересно #книги #математика #наука #история #гений #нонфикшн #научпоп #книга