Даже логические аксиомы и аксиомы теории множеств были получены как результат анализа неформальных доказательств. Кроме того, когда обычный математик рассуждает о континууме действительных чисел, он никогда не думает о нестандартных (счетных) моделях континуума (они существуют, если работать аксиоматически в рамках ZFC, и для заядлого формалиста они столь же справедливы, как и стандартная модель). С точки зрения специалиста в области анализа или топологии, для которого континуум — это операционная реальность, существование счетных моделей означает просто бедность формального языка как средства подражания неформальным рассуждениям. Несмотря на яркость метафоры, введенной Гильбертом, математика — это не здание или храм, она больше похожа на город с его проспектами, кварталами, новостройками и опустевшими домами, огороженными под снос.
С приходом Гитлера к власти в 1933 году Людвиг Бибербах (присоединившийся к нацистской партии) встал во главе математики в Германии, продвигая «арийскую, или немецкую», математику (Deutsche Mathematik). Теория относительности была отвергнута как еврейское мошенничество. Та же участь постигла теорию множеств — вероятно, из-за использования в ней еврейского алфавита для обозначения трансфинитных кардинальных чисел (хотя также сыграло роль то, что Бибербах был сторонником Брауэра в Берлине). Еврейским преподавателям было запрещено вести занятия, и одного за другим их сняли с должностей.
Математический институт в Гёттингене быстро сдал позиции, и его международный престиж был утрачен, к большому огорчению Гильберта. Герман Вейль — любимый ученик, который сменил его на кафедре, — был вынужден эмигрировать, поскольку его жена была еврейкой по происхождению, и в итоге он присоединился к Альберту Эйнштейну и Курту Гёделю в Институте перспективных исследований в Принстоне. Рихард Курант был отстранен от работы и обосновался в Нью-Йоркском университете. Бернайс вернулся в Швейцарию.
Гильберт был обескуражен новой политической ситуацией в Германии. Как-то он спросил у Блюменталя, своего первого аспиранта, какой курс тот читает, и услышал в ответ, что ему больше не разрешено вести занятия. Старик был ужасно возмущен. Когда на банкете его усадили рядом с новым министром образования и тот спросил: «Как в Гёттингене с математикой теперь, когда его очистили от еврейского влияния?», Гильберт парировал: «Математика в Гёттингене? Но ведь ее уже нет!»
С началом Второй мировой войны все стало еще более мрачным. Блюменталь эмигрировал в Нидерланды, однако немцы захватили эту страну в 1940-м и его арестовали. Он умер в том же году в печально известном лагере Терезиенштадт, что на территории современной Чехии. Феликс Хаусдорф, который написал первый учебник по теории множеств, покончил жизнь самоубийством, когда узнал, что ему и его семье предстоит депортация в концентрационный лагерь. Другие, например Банах, выжили, но серьезно пострадали физически, работая «кормителями вшей» в возглавляемом немцами бактериологическом институте, где исследовался тиф.
Давид Гильберт умер в Гёттингене 14 февраля 1943 года под рев орудий. На похоронах ученого присутствовали менее дюжины человек. Но сегодня живы слова, ставшие его эпитафией: Wir müssen wissen. Wir werden wissen — «Мы должны знать. Мы будем знать».
Список рекомендуемой литературы
Almira, J.M. y Sabina dk Lis, J.C., Hilbert. Matemdtico fundamental, Madrid, Nivola, 2007.
Bell, E.T., Los grandes matemdticos, Buenos Aires, Losada, 2010.
Boyer, C., Historia de la matemdtica, Madrid, Alianza, 1996.
Fresan, J., El sueno de la razon. La logica matemdtica у susparadojas, Barcelona, RBA, 2010.
Grattan-Guinness, I. (ed.), Delcdlculo a la teoria de conjuntos, Madrid, Alianza, 1984.
Gray, J.J., El reto de Hilbert, Barcelona, Critica, 2003.
Hilbert, D., Fundamentos de las Matemdticos, Mexico D.F., UNAM, 1993.
Kline, M., Matemdticos: la perdida de la certidumbre, Madrid, Siglo XXI, 1998.
Mancosu, P. (ed.), From Brouwer to Hilbert. The Debate on the Foundations of Mathematics in the 1920s, Oxford University Press, 1998.
Mosteri'n, J., Los logicos, Madrid, Espasa-Calpe, 2000.
Odifreddi, P., La matemdtica del siglo xx, Madrid, Katz Barpal Editores, 2006.
Reid, C., Hilbert, Nueva York, Springer Verlag, 1970.
Stewart, I., Historia de las matemdticos, Barcelona, Critica, 2008.
Torretti, R., El paraiso de Cantor, Santiago de Chile, Editorial Universitaria, 1998.
Указатель
Entscheidungsproblem, или проблема разрешения 160, 161
ignorabimus 52, 53
Pnncipia mathematica 121-122, 156
Аккерман, Вильгельм 13, 111, 141, 149, 150, 152
аксиома
выбора 126, 128, 130, 131, 141, 162
параллельных прямых 28, 29, 31, 32, 36, 38, 42, 44, 162
анализ 8-11, 18, 26, 35, 44, 46, 50, 53, 56, 60, 61, 65, 69, 72, 77, 80, 81, 92-96, 101, 104, 106, 107, 112, 114, 130, 131, 137, 138, 147-149, 155, 164, 167