Секреты числа Пи. Почему неразрешима задача о квадратуре круга (Наварро) - страница 64

(1906–1978)

Этот американский математик чешского происхождения специализировался на логике. В Европе он участвовал в семинарах Венского кружка. Эмигрировал в США из-за растущей угрозы нацизма. Известность ему принесла публикация «О формально неразрешимых предложениях Principia mathematica и родственных систем». Его работы настолько сложны для неспециалистов, что научно-популярная книга Эрнеста Нагеля «Доказательство Гёделя» более известна, чем оригинальный труд Гёделя. В этом труде представлены теоремы о неполноте, которые гласят, что формальная система, в которой можно определить основные арифметические понятия, не может быть одновременно полной и непротиворечивой. Он также доказал, что внутри такой системы есть аксиомы, недоказуемые в рамках этой системы. Оба вывода до сих пор не перестают вызывать смущение и ограничивают математику в той же мере, в какой принцип неопределенности Гейзенберга ограничивает физику.

Этот и другие результаты сделали Гёделя почти легендарной фигурой среди ученых всего мира. Книга Дугласа Роберта Хофштадтера «Гёдель, Эшер, Бах: эта бесконечная гирлянда» стала бестселлером.

На протяжении всей жизни Гёдель страдал от депрессии и паранойи, что в конечном итоге привело к его смерти. Эта история больше напоминает приключенческий роман: Гёдель соглашался есть только то, что сперва пробовала его жена, поэтому когда она заболела и ее положили в больницу, он отказался принимать пищу и в итоге умер от истощения.