Дэвид Хилберт
Дэвид Хилберт | |
---|---|
Рожденный | |
Умер | 14 февраля 1943 г. | (81 год)
Образование | Кенигсбергский университет ( доктор философии ) |
Известный | Базисная теорема Гильберта Теорема Гильберта о нулевой точке Аксиомы Гильберта Проблемы Гильберта программа Гильберта Действие Эйнштейна – Гильберта Гильбертово пространство система Гильберта Эпсилон-исчисление |
Супруг | Кете Йерош |
Дети | Франц (р. 1893) |
Награды | Премия Лобачевского (1903). Премия Бояи (1910 г.) ФорМемРС [1] |
Научная карьера | |
Поля | Математика , Физика и Философия |
Учреждения | Кенигсбергский университет Геттингенский университет |
Диссертация | Об инвариантных свойствах специальных бинарных форм, особенно сферических функций (1885 г.) |
Докторантура | Фердинанд фон Линдеманн [2] |
Докторанты | |
Другие известные студенты | Эдвард Каснер Джон фон Нейман Карл Густав Хемпель |
Дэвид Гилберт ( / ˈ h ɪ l b ər t / ; [3] Немецкий: [ˈdaːvɪt ˈhɪlbɐt] ; 23 января 1862 — 14 февраля 1943) — немецкий математик, один из самых влиятельных математиков XIX — начала XX веков. Гильберт открыл и развил широкий спектр фундаментальных идей включая теорию инвариантов , , вариационное исчисление , коммутативную алгебру , теорию алгебраических чисел , основы геометрии , спектральную теорию операторов и ее применение к интегральным уравнениям , математическую физику и основы математики. (особенно теория доказательств ).
Гильберт принял и защитил Георга Кантора теорию множеств и трансфинитные числа . В 1900 году он представил сборник задач , задавших курс математическим исследованиям XX века. [4] [5]
Гильберт и его ученики внесли свой вклад в установление строгости и разработали важные инструменты, используемые в современной математической физике. Гильберт был одним из основателей теории доказательств и математической логики . [6]
Жизнь [ править ]
Молодость образование и
Гильберт, первый из двух детей и единственный сын Отто, окружного судьи, и Марии Терезы Гильберт ( урожденной Эрдтманн), дочери купца, родился в провинции Пруссия , королевство Пруссия , либо в Кенигсберге (по данным собственное заявление Гильберта) или в Велау (известном с 1946 года как Знаменск ) недалеко от Кенигсберга, где на момент его рождения работал его отец. Его дедом по отцовской линии был Давид Гильберт, судья и гехаймрат . Его мать Мария интересовалась философией, астрономией и простыми числами , а отец Отто учил его прусским добродетелям . После того как его отец стал городским судьей, семья переехала в Кёнигсберг. Сестра Дэвида, Элиза, родилась, когда ему было шесть лет. Он начал учиться в школе в восемь лет, на два года позже обычного возраста. [7]
В конце 1872 года Гильберт поступил в Фридрихсколлег гимназию ( Collegium fridericianum , ту же школу, которую Иммануил Кант 140 лет назад посещал ); но после неудачного периода он перевелся (в конце 1879 г.) и окончил (начало 1880 г.) более научно-ориентированную гимназию Вильгельма . [8] По окончании учебы, осенью 1880 года, Гильберт поступил в Кенигсбергский университет «Альбертина». В начале 1882 года Герман Минковский (на два года моложе Гильберта и тоже уроженец Кенигсберга, но уехавший на три семестра в Берлин) [9] вернулся в Кенигсберг и поступил в университет. Гильберт на всю жизнь подружился с застенчивым и одаренным Минковским. [10] [11]
Карьера [ править ]
В 1884 году Адольф Гурвиц прибыл из Геттингена в качестве экстраординара (т. е. доцента). Между этими троими начался интенсивный и плодотворный научный обмен, и особенно Минковский и Гильберт оказывали взаимное влияние друг на друга в разные периоды своей научной карьеры. Гильберт получил докторскую степень в 1885 году, защитив диссертацию, написанную под руководством Фердинанда фон Линдеманна . [2] под названием «Об инвариантных свойствах специальных бинарных форм, в частности сферических гармонических функций » («Об инвариантных свойствах специальных бинарных форм , в частности сферических гармонических функций» ).
Гильберт оставался в Кенигсбергском университете в качестве приват-доцента ( старшего преподавателя ) с 1886 по 1895 год. В 1895 году, в результате вмешательства от его имени Феликса Клейна , он получил должность профессора математики в Гёттингенском университете . В годы правления Кляйна и Гильберта Геттинген стал выдающимся учреждением в математическом мире. [12] Он оставался там до конца своей жизни.
Геттингенская школа [ править ]
Среди учеников Гильберта были Герман Вейль , по шахматам чемпион Эмануэль Ласкер , Эрнст Цермело и Карл Густав Гемпель . Джон фон Нейман был его помощником. В Геттингенском университете Гильберт был окружен кругом общения некоторых из самых важных математиков 20-го века, таких как Эмми Нётер и Алонсо Чёрч .
Среди его 69 докторов философии. В Геттингене было много студентов, которые позже стали известными математиками, в том числе (с датой диссертации): Отто Блюменталь (1898 г.), Феликс Бернштейн (1901 г.), Герман Вейль (1908 г.), Рихард Курант (1910 г.), Эрих Хекке (1910 г.), Гюго Штайнхаус (1911 г.) и Вильгельм Аккерманн (1925 г.). [13] Между 1902 и 1939 годами Гильберт был редактором Mathematische Annalen , ведущего математического журнала того времени. США В 1907 году он был избран международным членом Национальной академии наук . [14]
Личная жизнь [ править ]
В 1892 году Гильберт женился на Кете Йерош (1864–1945), дочери кенигсбергского торговца, «откровенной молодой женщине с независимостью ума, соответствующей [Гильберту]». [15] В Кенигсберге у них родился единственный ребенок, Франц Гильберт (1893–1969).Франц всю свою жизнь страдал психическим заболеванием, и после того, как его поместили в психиатрическую клинику, Гильберт сказал: «Отныне я должен считать, что у меня нет сына». Его отношение к Францу сильно огорчило Кете. [16]
Гильберт считал математика Германа Минковского своим «лучшим и вернейшим другом». [17]
Гильберт был крещен и воспитан кальвинистом в Прусской евангелической церкви . [а] Позже он покинул Церковь и стал агностиком . [б] Он также утверждал, что математическая истина не зависит от существования Бога или других априорных предположений. [с] [д] Когда Галилео Галилея критиковали за то, что он не смог отстоять свои убеждения в отношении гелиоцентрической теории , Гильберт возразил: «Но [Галилей] не был идиотом. Только идиот мог поверить, что научная истина требует мученичества; это может быть необходимо в религии, но научные результаты окажутся в свое время». [и]
Спустя годы [ править ]
Как и Альберт Эйнштейн , Гильберт имел самые тесные контакты с Берлинской группой, ведущие основатели которой учились у Гильберта в Геттингене ( Курт Греллинг , Ганс Райхенбах и Вальтер Дубислав ). [18]
Примерно в 1925 году у Гильберта развилась злокачественная анемия , неизлечимый на тот момент дефицит витаминов, основным симптомом которого является истощение; его помощник Юджин Вигнер описал его как человека, подверженного «огромной усталости», и что он «выглядел довольно старым», и что даже после того, как в конце концов ему поставили диагноз и вылечили, он «едва ли был ученым после 1925 года и уж тем более не Гильбертом». [19]
Гильберт был избран членом Американского философского общества в 1932 году. [20]
Гильберт дожил до того, чтобы стать свидетелем чистки нацистами многих видных преподавателей Геттингенского университета в 1933 году. [21] Среди изгнанных были Герман Вейль (который занял кресло Гильберта, когда он вышел на пенсию в 1930 году), Эмми Нётер и Эдмунд Ландау . , которому пришлось покинуть Германию Пауль Бернейс , сотрудничал с Гильбертом в области математической логики и был соавтором важной книги. [22] Grundlagen der Mathematik (который в конечном итоге вышел в двух томах, в 1934 и 1939 годах). Это было продолжение Гильберта- Акермана книги «Принципы математической логики» 1928 года. Преемником Германа Вейля был Гельмут Хассе .
Примерно через год Гильберт присутствовал на банкете и сел рядом с новым министром образования Бернхардом Рустом . Руст задавался вопросом, «действительно ли Математический институт так сильно пострадал из-за выезда евреев». Гильберт ответил: «Пострадал? Его больше не существует, не так ли?» [23] [24]
Смерть [ править ]
К моменту смерти Гильберта в 1943 году нацисты почти полностью восстановили штат сотрудников университета, поскольку многие из бывших преподавателей были либо евреями, либо женатыми на евреях. На похоронах Гильберта присутствовало менее дюжины человек, только двое из которых были коллегами-учеными, в том числе Арнольд Зоммерфельд , физик-теоретик, также уроженец Кенигсберга. [25] Известие о его смерти стало известно всему миру только через несколько месяцев после его смерти. [26]
Эпитафия на его надгробии в Геттингене состоит из знаменитых строк, которые он произнес в конце своего обращения на пенсию к Обществу немецких ученых и врачей 8 сентября 1930 года. Эти слова были даны в ответ на латинскую максиму: « Ignoramus et ignorabimus ». или «Мы не знаем и не узнаем»: [27]
Нам нужно знать. | Мы должны знать. |
За день до того, как Гильберт произнес эти фразы на ежегодном собрании Общества немецких ученых и врачей 1930 года, Курт Гёдель — в ходе дискуссии за круглым столом во время Конференции по эпистемологии, проводившейся совместно с заседаниями Общества, — предварительно объявил о первом выражении своей теоремы о неполноте. . [ф] Теоремы Гёделя о неполноте показывают, что даже элементарные аксиоматические системы, такие как арифметика Пеано, либо внутренне противоречивы, либо содержат логические утверждения, которые невозможно доказать или опровергнуть в рамках этой системы.
и Вклад физику в математику
Гордана Решение проблемы
Первая работа Гильберта по инвариантным функциям привела его к демонстрации в 1888 году его знаменитой теоремы о конечности . Двадцатью годами ранее Пол Гордан продемонстрировал теорему о конечности генераторов для бинарных форм, используя сложный вычислительный подход. Попытки обобщить его метод на функции с более чем двумя переменными не увенчались успехом из-за огромной сложности вычислений. Чтобы решить то, что стало известно в некоторых кругах как проблема Гордана , Гильберт понял, что необходимо пойти совершенно другим путем. В результате он продемонстрировал базисную теорему Гильберта , показывающую существование конечного набора образующих, для инвариантов квантик от любого числа переменных, но в абстрактной форме. То есть, демонстрируя существование такого набора, это не было конструктивным доказательством (он не отображал «объект»), а, скорее, было доказательством существования. [28] и полагался на использование закона исключенного третьего в бесконечном расширении.
Гильберт отправил свои результаты в Mathematische Annalen . Гордан, эксперт по теории инвариантов в Mathematische Annalen , не смог оценить революционный характер теоремы Гильберта и отверг статью, раскритиковав ее изложение, поскольку оно было недостаточно полным. Его комментарий был:
Это не математика. Это теология. | Это не математика. Это Теология. [29] |
Кляйн , напротив, признавал важность работы и гарантировал, что она будет опубликована без каких-либо изменений. Вдохновленный Кляйном, Гильберт расширил свой метод во второй статье, предоставив оценки максимальной степени минимального набора образующих, и еще раз отправил его в « Аннален» . Прочитав рукопись, Кляйн написал ему:
Без сомнения, это самая важная работа по общей алгебре, в «Анналене» . когда-либо опубликованная [30]
Позже, после того как полезность метода Гильберта была общепризнана, сам Гордан скажет:
Я убедил себя, что даже теология имеет свои достоинства. [31]
Несмотря на все его успехи, характер его доказательства создал больше проблем, чем Гильберт мог себе представить. Хотя Кронекер и признал, Гильберт позже ответил на аналогичную критику других, что «многие различные конструкции сводятся к одной фундаментальной идее» — другими словами (цитируя Рида): «Благодаря доказательству существования Гильберт смог получить строительство"; «Доказательство» (то есть символы на странице) было «объектом». [31] Не все были убеждены. Хотя Кронекер вскоре умер, его конструктивистская философия продолжилась вместе с молодым Брауэром и его развивающейся интуиционистской «школой», к большому мучению Гильберта в его последние годы. [32] Действительно, Гильберт потерял своего «одаренного ученика» Вейля из-за интуиционизма - «Гильберт был обеспокоен увлечением своего бывшего ученика идеями Брауэра, которое пробудило в Гильберте память о Кронекере». [33] Интуитивист Брауэр, в частности, выступал против использования закона исключенного третьего над бесконечными множествами (как его использовал Гильберт). Гильберт ответил:
Отобрать у математика принцип исключенного третьего... это то же самое, что... запретить боксёру пользоваться кулаками. [34]
Кривая Гильберта [ править ]
В 1890 году Джузеппе Пеано опубликовал в Mathematische Annalen статью, описывающую исторически первую кривую, заполняющую пространство . В ответ Гильберт разработал свою собственную конструкцию такой кривой, которая теперь называется кривой Гильберта . Аппроксимации к этой кривой строятся итерационно по правилам замены на первом рисунке этого раздела. Сама кривая тогда является поточечным пределом.
Аксиоматизация геометрии [ править ]
Текст Grundlagen der Geometrie (тр.: Основы геометрии ), опубликованный Гильбертом в 1899 году, предлагает формальный набор, называемый аксиомами Гильберта, заменяющий традиционные аксиомы Евклида . Они избегают недостатков, выявленных у Евклида , чьи работы в то время все еще использовались как учебники. Трудно указать аксиомы, используемые Гильбертом, не обращаясь к истории публикации Grundlagen, поскольку Гильберт несколько раз менял и модифицировал их. За оригинальной монографией вскоре последовал французский перевод, в который Гильберт добавил V.2, Аксиому полноты. Английский перевод, одобренный Гильбертом, был сделан Э. Дж. Таунсендом и защищен авторскими правами в 1902 году. [35] [36] В этот перевод вошли изменения, внесенные во французский перевод, и поэтому он считается переводом 2-го издания. Гильберт продолжал вносить изменения в текст, и несколько изданий вышло на немецком языке. 7-е издание было последним, вышедшим при жизни Гильберта. За 7-м последовали новые издания, но основной текст по существу не перерабатывался. [г]
Подход Гильберта ознаменовал переход к современному аксиоматическому методу . В этом Гильберта предвосхитила работа Морица Паша 1882 года. Аксиомы не принимаются как самоочевидные истины. Геометрия может рассматривать вещи , о которых у нас есть мощная интуиция, но нет необходимости придавать какое-либо явное значение неопределенным понятиям. Такие элементы, как точка , линия , плоскость и другие, можно было бы заменить, как сообщается, Гильберт Шенфлису и Кеттеру , столами, стульями, стаканами с пивом и другими подобными предметами. [37] Обсуждаются их определенные взаимоотношения.
и плоскостями, а также линиями и плоскостями), междумежность, конгруэнтность пар точек ( отрезков прямой ) и конгруэнтность углов Гильберт сначала перечисляет неопределенные понятия: точка, линия, плоскость, лежащее на (отношение между точками и прямыми, точками . Аксиомы объединяют в единую систему как плоскую геометрию , так и объемную геометрию Евклида.
23 проблемы [ править ]
Гильберт представил весьма влиятельный список, состоящий из 23 нерешенных задач, на Международном конгрессе математиков в Париже в 1900 году. Обычно его считают наиболее успешным и глубоко продуманным сборником открытых задач, когда-либо созданным отдельным математиком. [ кем? ]
Переработав основы классической геометрии, Гильберт мог бы экстраполировать их на остальную часть математики. Однако его подход отличался от более позднего «основателя» Рассела-Уайтхеда или «энциклопедиста» Николя Бурбаки и от его современника Джузеппе Пеано . Математическое сообщество в целом могло заниматься проблемами, которые он считал важнейшими аспектами важных областей математики.
Набор задач был представлен в виде доклада «Проблемы математики», представленного в ходе Второго Международного конгресса математиков, проходившего в Париже. Во введении к речи, которую произнес Гильберт, говорилось:
Кто из нас не был бы рад приоткрыть завесу, за которой скрыто будущее; взирать на грядущее развитие нашей науки и на тайны ее развития в грядущие столетия? К каким целям будет стремиться дух будущих поколений математиков? Какие методы, какие новые факты откроет новый век на обширном и богатом поле математической мысли? [38]
Он представил на съезде менее половины задач, которые были опубликованы в актах съезда. В последующей публикации он расширил панораму и пришел к формулировке ставших теперь каноническими 23 проблем Гильберта. См. также двадцать четвертую проблему Гильберта . Полный текст важен, поскольку толкование вопросов по-прежнему может быть предметом неизбежных дебатов, когда бы ни спрашивали, сколько из них было решено.
Некоторые из них были решены в течение короткого времени. Другие обсуждались на протяжении всего 20-го века, а некоторые из них теперь считаются слишком открытыми, чтобы их можно было завершить. Некоторые из них продолжают оставаться проблемой.
Ниже приведены заголовки 23 задач Гильберта в том виде, в каком они были опубликованы в переводе 1902 года в Бюллетене Американского математического общества .
- 1. Проблема Кантора о кардинальном числе континуума.
- 2. Совместимость арифметических аксиом.
- 3. Равенство объемов двух тетраэдров с равными основаниями и равными высотами.
- 4. Задача о прямой как о кратчайшем расстоянии между двумя точками.
- 5. Концепция Ли о непрерывной группе преобразований без предположения о дифференцируемости функций, определяющих группу.
- 6. Математическая трактовка аксиом физики.
- 7. Иррациональность и трансцендентность некоторых чисел.
- 8. Проблемы простых чисел («Гипотеза Римана»).
- 9. Доказательство наиболее общего закона взаимности в любом числовом поле.
- 10. Определение разрешимости диофантова уравнения.
- 11. Квадратичные формы с любыми алгебраическими числовыми коэффициентами
- 12. Распространение теоремы Кронекера об абелевых полях на любую алгебраическую область рациональности.
- 13. Невозможность решения общего уравнения 7-й степени с помощью функций всего двух аргументов.
- 14. Доказательство конечности некоторых полных систем функций.
- 15. Строгое обоснование перечислительного исчисления Шуберта.
- 16. Проблема топологии алгебраических кривых и поверхностей.
- 17. Выражение определенных форм квадратами.
- 18. Построение пространства из равных многогранников.
- 19. Всегда ли решения регулярных задач вариационного исчисления обязательно аналитические?
- 20. Общая проблема граничных значений (Краевые задачи в УЧП).
- 21. Доказательство существования линейных дифференциальных уравнений, имеющих заданную группу монодромии.
- 22. Униформизация аналитических отношений с помощью автоморфных функций.
- 23. Дальнейшее развитие методов вариационного исчисления.
Формализм [ править ]
В отчете, который стал стандартным к середине века, набор задач Гильберта также был своего рода манифестом, открывшим путь для развития формалистической школы , одной из трех основных школ математики 20-го века. Согласно формалистам, математика — это манипуляция символами в соответствии с согласованными формальными правилами. Следовательно, это автономная деятельность мысли. Однако есть основания сомневаться в том, что взгляды Гильберта были упрощенно-формалистическими в этом смысле.
Программа Гильберта [ править ]
В 1920 году Гильберт предложил исследовательский проект в области метаматематики , который стал известен как программа Гильберта. Он хотел, чтобы математика была сформулирована на прочной и полной логической основе. Он считал, что в принципе это можно сделать, показав, что:
- вся математика следует из правильно выбранной конечной системы аксиом ; и
- что некоторая такая система аксиом доказуемо непротиворечива с помощью некоторых средств, таких как эпсилон-исчисление .
Похоже, у него были как технические, так и философские причины для формулирования этого предложения. Это подтвердило его неприязнь к тому, что стало известно как ignorabimus , что все еще было активной проблемой в его время в немецкой мысли и восходило в этой формулировке к Эмилю дю Буа-Реймону .
Эта программа до сих пор узнаваема в самой популярной философии математики , где ее обычно называют формализмом . Например, группа Бурбаки приняла его смягченную и выборочную версию как адекватную требованиям их двойных проектов: (а) написания фундаментальных энциклопедических работ и (б) поддержки аксиоматического метода как инструмента исследования. Этот подход оказался успешным и влиятельным в отношении работ Гильберта в области алгебры и функционального анализа, но не смог таким же образом отразиться на его интересах в физике и логике.
Гильберт писал в 1919 году:
Мы не говорим здесь о произволе ни в каком смысле. Математика не похожа на игру, задачи которой определяются произвольно установленными правилами. Скорее, это концептуальная система, обладающая внутренней необходимостью, которая может быть только так и ни в коем случае не иначе. [39]
Гильберт опубликовал свои взгляды на основы математики в двухтомном труде Grundlagen der Mathematik .
Работа Гёделя [ править ]
Гильберт и математики, работавшие с ним на его предприятии, были преданы этому проекту. Его попытка подкрепить аксиоматизированную математику четкими принципами, которые могли бы устранить теоретические неопределенности, закончилась неудачей.
Гёдель продемонстрировал, что любая непротиворечивая формальная система, которая была достаточно всеобъемлющей, чтобы включать хотя бы арифметику, не может продемонстрировать свою полноту посредством собственных аксиом. В 1931 году его теорема о неполноте показала, что заявленный великий план Гильберта был невозможен. Второй пункт не может каким-либо разумным образом сочетаться с первым пунктом, пока система аксиом действительно финитна .
Тем не менее, последующие достижения теории доказательств, по крайней мере, прояснили последовательность в отношении теорий, представляющих центральный интерес для математиков. Работа Гильберта положила начало логике этого пути разъяснения; Необходимость понять работу Гёделя привела затем к развитию теории рекурсии , а затем и математической логики как самостоятельной дисциплины в 1930-х годах. Основа более поздней теоретической информатики в работах Алонсо Чёрча и Алана Тьюринга также выросла непосредственно из этих «дебатов». [40]
Функциональный анализ [ править ]
Около 1909 года Гильберт посвятил себя изучению дифференциальных и интегральных уравнений ; его работа имела прямые последствия для важных частей современного функционального анализа. Для проведения этих исследований Гильберт ввел понятие бесконечномерного евклидова пространства , позже названного гильбертовым пространством . Его работа в этой части анализа заложила основу для важного вклада в математику и физику в следующие два десятилетия, хотя и в неожиданном направлении. Позже Стефан Банах расширил эту концепцию, определив банаховые пространства . Гильбертовые пространства — важный класс объектов в области функционального анализа , особенно спектральной теории самосопряженных линейных операторов, которая выросла вокруг него в 20 веке.
Физика [ править ]
До 1912 года Гильберт был почти исключительно чистым математиком . Планируя визит из Бонна, где он был погружен в изучение физики, его коллега-математик и друг Герман Минковский пошутил, что ему пришлось провести 10 дней на карантине, прежде чем он сможет навестить Гильберта. Фактически, Минковский, кажется, ответственен за большинство физических исследований Гильберта до 1912 года, включая их совместный семинар по этой теме в 1905 году.
В 1912 году, через три года после смерти своего друга, Гильберт сосредоточил свое внимание почти исключительно на этой теме. Он нанял себе «репетитора по физике». [41] Он начал изучать кинетическую теорию газа и перешел к элементарной теории излучения и молекулярной теории вещества. Даже после начала войны в 1914 году он продолжал проводить семинары и занятия, на которых работами Альберта Эйнштейна внимательно следили за и других.
К 1907 году Эйнштейн сформулировал основы теории гравитации , но затем почти 8 лет боролся за то, чтобы привести теорию в ее окончательную форму . [42] К началу лета 1915 года интерес Гильберта к физике сосредоточился на общей теории относительности , и он пригласил Эйнштейна в Геттинген, чтобы прочитать неделю лекций по этому предмету. [43] Эйнштейна встретили в Геттингене с энтузиазмом. [44] Летом Эйнштейн узнал, что Гильберт также работает над уравнениями поля, и удвоил свои усилия. В ноябре 1915 года Эйнштейн опубликовал несколько статей, кульминацией которых стали «Уравнения поля гравитации» (см. Уравнения поля Эйнштейна ). [час] Почти одновременно Гильберт опубликовал «Основы физики», аксиоматический вывод уравнений поля (см. Действие Эйнштейна – Гильберта ). Гильберт полностью признал Эйнштейна создателем теории, и в течение их жизни между этими двумя людьми никогда не возникало никаких публичных споров о приоритетах относительно уравнений поля. [я] Больше смотрите в приоритете .
Кроме того, работа Гильберта предвосхитила и способствовала нескольким достижениям в математической формулировке квантовой механики . Его работа была ключевым аспектом работы Германа Вейля и Джона фон Неймана по математической эквивалентности Вернера Гейзенберга и матричной механики волнового Эрвина Шредингера , уравнения а его тезка Гильбертово пространство играет важную роль в квантовой теории. В 1926 году фон Нейман показал, что если бы квантовые состояния понимать как векторы в гильбертовом пространстве, они соответствовали бы как теории волновых функций Шредингера, так и матрицам Гейзенберга. [Дж]
На протяжении всего погружения в физику Гильберт работал над тем, чтобы сделать математическую физику более строгой. Несмотря на то, что физики сильно зависели от высшей математики, они, как правило, относились к ней «небрежно». Для такого чистого математика, как Гильберт, это было одновременно уродливо и трудно понять. Когда он начал понимать физику и то, как физики использовали математику, он разработал последовательную математическую теорию того, что он обнаружил – особенно в области интегральных уравнений . Когда его коллега Рихард Курант написал ставшую классической книгу «Methoden der mathematischen Physik» ( «Методы математической физики »), включающую некоторые идеи Гильберта, он добавил имя Гильберта в качестве автора, хотя Гильберт не принимал непосредственного участия в написании. Гильберт сказал: «Физика слишком сложна для физиков», подразумевая, что необходимая математика обычно им недоступна; книга Куранта-Гильберта облегчила им задачу.
Теория чисел [ править ]
Гильберт объединил область алгебраической теории чисел в своем трактате 1897 года Zahlbericht (буквально «отчет о числах»). Он также решил важную проблему теории чисел, сформулированную Уорингом в 1770 году. Как и в случае с теоремой о конечности , он использовал доказательство существования, которое показывает, что должны быть решения проблемы, а не предоставляет механизм для получения ответов. [45] Тогда ему особо нечего было публиковать по этому вопросу; но появление модульных форм Гильберта в диссертации студента означает, что его имя в дальнейшем привязывается к основной области.
Он сделал ряд гипотез по теории полей классов . Эти концепции оказали большое влияние, и его собственный вклад сохранился в названиях поля классов Гильберта и символа Гильберта в теории полей локальных классов . Результаты были в основном подтверждены к 1930 году, после работы Тейджи Такаги . [к]
Гильберт не работал в центральных областях аналитической теории чисел , но его имя стало известно благодаря гипотезе Гильберта-Пойа по причинам, которые являются анекдотическими. Эрнст Хеллингер , ученик Гильберта, однажды рассказал Андре Вейлю , что Гильберт объявил на своем семинаре в начале 1900-х годов, что он ожидает, что доказательство гипотезы Римана станет следствием работы Фредгольма над интегральными уравнениями с симметричным ядром. [46]
Работает [ править ]
Собрание его сочинений ( Gesammelte Abhandlungen ) издавалось несколько раз. Оригинальные версии его статей содержали «много технических ошибок разной степени»; [47] когда сборник был впервые опубликован, ошибки были исправлены и выяснилось, что это можно сделать без серьезных изменений в формулировках теорем, за одним исключением — заявленным доказательством гипотезы континуума . [48] [49] Тем не менее ошибки были настолько многочисленными и существенными, что Ольге Таусски-Тодд потребовалось три года, чтобы внести исправления. [49]
См. также [ править ]
Концепции [ править ]
- Список вещей, названных в честь Дэвида Гильберта
- Основы геометрии
- Гильберт C*-модуль
- Куб Гильберта
- Кривая Гильберта
- Матрица Гильберта
- Гильбертова метрика
- Критерий Гильберта – Мамфорда
- число Гильберта
- Кольцо Гильберта
- Ряд Гильберта – Пуанкаре
- Ряд Гильберта и полином Гильберта
- Гильбертово пространство
- Гильбертов спектр
- система Гильберта
- Преобразование Гильберта
- Арифметика целей Гильберта
- Парадокс Гильберта о Гранд-отеле
- Оператор Гильберта – Шмидта
- Гипотеза Гильберта – Смита
Теоремы [ править ]
- Теорема Гильберта – Берча
- Теорема Гильберта о неприводимости
- Теорема Гильберта о нулевой точке
- Теорема Гильберта (дифференциальная геометрия)
- Теорема Гильберта 90
- Теорема о сизигиях Гильберта
- Теорема Гильберта – Спейзера
Другое [ править ]
Сноски [ править ]
- ^ К этому времени Гильберты покинули кальвинистскую протестантскую церковь, в которой они крестились и поженились. – Рид 1996, стр.91.
- ^ Дэвид Гильберт казался агностиком и не имел ничего общего с собственно теологией или даже с религией. Констанс Рид рассказывает историю на эту тему:
В своем обращении в Гамбурге 1927 года Гильберт заявил: «Математика — это наука без предпосылок (die Mathematik ist eine voraussetzungslose Wissenschaft)» и «чтобы ее основать, мне не нужен добрый Бог ([z]u ihrer Begründung brauche ich weder denlieben Gott )» (1928, с. 85; ван Хейеноорт, 1967, с. 479). Однако от «Математических проблем» (1900) до «Природы и логики» (1930) он связал свою квазирелигиозную веру в человеческий дух и силу чистой мысли с ее любимым детищем – математикой. Он был глубоко убежден, что каждая математическая задача может быть решена чистым разумом: и в математике, и в любой части естествознания (посредством математики) не было «негнорабимов» (Гильберт, 1900, С. 262; 1930, С. 963; Эвальд , 1996, стр. 1102, 1165). Вот почему поиск внутреннего абсолютного обоснования математики стал делом всей жизни Гильберта. Он никогда не отказывался от этой позиции, и символично, что на его надгробии были выгравированы его слова «wir müssen wissen, wir werden wissen» («мы должны знать, мы узнаем») из его выступления в Кенигсберге 1930 года. Здесь мы встречаем призрак ушедшей теологии (модифицируя слова Джорджа Беркли), поскольку абсолютизировать человеческое познание означает молчаливо отождествлять его с божественным. — Шапошников, Владислав (2016). «Богословские основы современной философии математики. Часть II: Поиски автономных оснований» . Исследования по логике, грамматике и риторике . 44 (1): 147–168. дои : 10.1515/slgr-2016-0009 .К этому времени [около 1902 года] Гильберты покинули реформатскую протестантскую церковь, в которой они крестились и поженились. В Геттингене рассказали, что, когда [сын Давида Гильберта] Франц пошел в школу, он не мог ответить на вопрос: «Какой ты религии?» (1970, стр. 91)
- ^ «Математика - это наука без предпосылок. Чтобы ее основать, мне не нужен Бог, как Кронекер, или предположение об особой способности нашего понимания, настроенной на принцип математической индукции, как это делает Пуанкаре, или первичная интуиция Брауэра, или, наконец, как это делают Рассел и Уайтхед, аксиомы бесконечности, сводимости или полноты, которые на самом деле являются действительными, содержательными предположениями, которые не могут быть компенсированы доказательствами непротиворечивости». Дэвид Гилберт, Die Grundlagen der Mathematik , программа Гильберта, 22C:096, Университет Айовы .
- ^ Майкл Р. Мэтьюз (2009). Наука, мировоззрение и образование . Спрингер. п. 129. ИСБН 978-90-481-2779-5 .
Как известно, Гильберт отверг идею Бога Леопольда Кронекера для решения проблемы оснований математики.
- ^ Констанс Рид; Герман Вейль (1970). Гильберт . Спрингер-Верлаг. п. 92 . ISBN 978-0-387-04999-1 .
Возможно, гости будут обсуждать суд над Галилеем, и кто-то обвинит Галилея в том, что он не смог отстоять свои убеждения. «Но он не был идиотом», — возражал Гильберт. «Только идиот мог поверить, что научная истина нуждается в мученичестве; оно может быть необходимо в религии, но научные результаты доказывают себя в свое время».
- ^ «Конференция по эпистемологии точных наук длилась три дня, с 5 по 7 сентября» (Доусон 1997:68). «Оно... проводилось одновременно с девяносто первым ежегодным собранием Общества немецких ученых и врачей и непосредственно перед ним... и шестым собранием немецких физиков и математиков... Выступление Гёделя состоялось в субботу. 6 сентября [1930 г.], с 15 до 15:20, а в воскресенье встреча завершилась обсуждением за круглым столом выступлений первого дня. Во время последнего мероприятия, без предупреждения и почти небрежно, Гёдель тихо объявил, что «. можно даже привести примеры утверждений (и фактически высказываний типа Гольдбаха или Ферма ), которые, хотя и верны по содержанию, но недоказуемы в формальной системе классической математики [153]» (Доусон:69) «... так случилось, что сам Гильберт присутствовал в Кенигсберге, хотя, по-видимому, не на конференции по гносеологии. На следующий день после круглого стола он произнес вступительную речь перед Обществом немецких ученых и врачей – свою знаменитую лекцию. Naturerkennen und Logik (Логика и познание природы), в конце которой он заявил: «Для математика не существует Ignorabimus, и, по моему мнению, вовсе нет и для естествознания. ... Истинная причина, по которой [никому] не удалось найти неразрешимую проблему, по моему мнению, заключается в том, что неразрешимых проблем не существует . В отличие от глупых Ignorabimus, наше кредо гласит: Мы должны знать, Мы будем знать [159]» (Доусон:71). Статья Гёделя была получена 17 ноября 1930 г. (ср. Reid, стр. 197, van Heijenoort 1976:592). ) и опубликовано 25 марта 1931 г. (Dawson 1997:74), но Гёдель заранее говорил об этом... «Реферат был представлен в октябре 1930 г. Венской академии наук Гансом Ханом » (van Heijenoort:592). ); и этот реферат, и полная статья опубликованы в van Heijenoort:583ff.
- ↑ Независимо и одновременно 19-летний американский студент по имени Роберт Ли Мур опубликовал эквивалентный набор аксиом. Некоторые аксиомы совпадают, а некоторые аксиомы системы Мура являются теоремами системы Гильберта и наоборот. [ нужна ссылка ]
- ↑ Со временем ассоциирование уравнений гравитационного поля с именем Гильберта становилось все менее и менее распространенным. Заметным исключением является П. Йордан (Schwerkraft und Weltall, Braunschweig, Vieweg, 1952), который назвал уравнения гравитации в вакууме уравнениями Эйнштейна–Гильберта. ( Лео Корри, Дэвид Гильберт и аксиоматизация физики , стр. 437)
- ↑ С 1971 года велись энергичные и научные дискуссии о том, кто из двух людей первым представил ныне принятую форму уравнений поля. «Гильберт открыто признавал и часто заявлял на лекциях, что великая идея принадлежала Эйнштейну: «Каждый мальчик на улицах Геттингена понимает в четырехмерной геометрии больше, чем Эйнштейн», — заметил он однажды. «Тем не менее, несмотря на это, Эйнштейн сделал работа, а не математики» (Reid 1996, стр. 141–142, также Isaacson 2007:222, цитируя Торна, стр. 119).
- ↑ В 1926 году, через год после формулировки квантовой теории Максом Борном и Вернером Гейзенбергом в матричной механике , математик Джон фон Нейман стал ассистентом Гильберта в Гёттингене. Когда фон Нейман ушел в 1932 году, книга фон Неймана о математических основах квантовой механики, основанная на математике Гильберта, была опубликована под названием Mathematische Grundlagen der Quantenmechanik . См.: Норман Макрэ (1999) Джон фон Нейман: научный гений, который был пионером в области современных компьютеров, теории игр, ядерного сдерживания и многого другого (перепечатано Американским математическим обществом) и Рид (1996).
- ^ Эта работа сделала Такаги первым японским математиком международного уровня.
Цитаты [ править ]
- ^ Вейль, Х. (1944). «Дэвид Гильберт. 1862–1943». Некрологи членов Королевского общества . 4 (13): 547–553. дои : 10.1098/rsbm.1944.0006 . S2CID 161435959 .
- ^ Jump up to: а б Дэвид Гилберт в проекте «Математическая генеалогия»
- ^ "Гильберт" . Полный словарь Random House Webster .
- ^ Джойс, Дэвид. «Математические проблемы Давида Гильберта» . Университет Кларка . Проверено 15 января 2021 г.
- ^ Гильберт, Дэвид. «Математические задачи» . Проверено 15 января 2021 г.
- ^ Зак, Ричард (31 июля 2003 г.). «Программа Гильберта» . Стэнфордская энциклопедия философии . Проверено 23 марта 2009 г.
- ^ Рид 1996 , стр. 1–3 ; также на стр. 8 , Рид отмечает, что существует некоторая неясность относительно того, где именно родился Гильберт. Сам Гильберт заявил, что родился в Кенигсберге.
- ^ Рид 1996 , с. 4–7 .
- ^ Рид 1996 , с. 11 .
- ^ Рид 1996 , с. 12 .
- ^ Вейль, Герман (2012), «Дэвид Гильберт и его математические работы», в Питере Песиче (редактор), « Уровни бесконечности / Избранные произведения по математике и философии» , Дувр, стр. 94, ISBN 978-0-486-48903-2
- ^ Судзуки, Джефф (2009), Математика в историческом контексте , Математическая ассоциация Америки, стр. 342, ISBN 978-0-88385-570-6
- ^ «Проект математической генеалогии - Дэвид Гильберт» . Проверено 7 июля 2007 г.
- ^ «Дэвид Гильберт» . www.nasonline.org . Проверено 30 июня 2023 г.
- ^ Рид 1996 , с. 36 .
- ^ Рид 1996 , с. 139 .
- ^ Рид 1996 , с. 121.
- ^ Мильков, Николай; Пекхаус, Волкер (1 января 2013 г.). «Берлинская группа и Венский кружок: сходство и расхождения». Берлинская группа и философия логического эмпиризма (PDF) . Бостонские исследования философии и истории науки. Том. 273. с. 20. дои : 10.1007/978-94-007-5485-0_1 . ISBN 978-94-007-5485-0 . OCLC 7325392474 . Архивировано (PDF) из оригинала 20 августа 2014 года . Проверено 19 мая 2021 г.
- ^ 1992 (как рассказал Эндрю Сзантон). Воспоминания Юджина П. Вигнера . Пленум. ISBN 0-306-44326-0
- ^ «История участников APS» . search.amphilsoc.org . Проверено 30 июня 2023 г.
- ^ « Позор» в Геттингене» . Архивировано из оригинала 5 ноября 2013 года . Проверено 5 июня 2013 г. (коллеги Гильберта сосланы)
- ^ Милн-Томсон, Л. (1935). «Реферат к Grundlagen der Mathematik» . Природа . 136 (3430): 126–127. дои : 10.1038/136126a0 . S2CID 4122792 . Проверено 15 декабря 2023 г.
Вероятно, это самая важная книга по основам математики, вышедшая после «Начал математики» Уайтхеда и Рассела.
- ^ Эккарт Менцлер-Тротт: Проблема Генцена. Математическая логика в национал-социалистической Германии. , Биркхойзер, 2001 г., ISBN 3-764-36574-9 , Биркхойзер; Издание: 2001 г. с. 142.
- ^ Хаджо Г. Мейер: Трагическая судьба. Немецкое еврейство и влияние исторических сил: упражнение по прикладной философии истории , Франк и Тимме, 2008 г., ISBN 3-865-96174-6 , с. 202.
- ^ Рид 1996 , с. 213.
- ^ Рид 1996 , с. 214.
- ^ Рид 1996 , с. 192.
- ^ Рид 1996 , с. 36–37 .
- ^ Рид 1996 , с. 34.
- ^ Рид 1996 , с. 195.
- ^ Jump up to: а б Рид 1996 , с. 37 .
- ^ см . Рид 1996 , стр. 148–149.
- ^ Рид 1996 , с. 148.
- ^ Рид 1996 , с. 150.
- ^ Гильберт 1950
- ^ ГБ Мэтьюз (1909) Основы геометрии из природы 80:394,5 (# 2066)
- ^ Отто Блюменталь (1935). Дэвид Гилберт (ред.). История жизни . Сборники трактатов. Том 3. Юлиус Спрингер. стр. 388–429. Архивировано из оригинала 4 марта 2016 года . Проверено 6 сентября 2018 г. Здесь: стр.402-403
- ^ «Архивная копия» (PDF) . Архивировано из оригинала 30 мая 2009 года . Проверено 11 сентября 2012 г.
{{cite web}}
: CS1 maint: заархивированная копия в качестве заголовка ( ссылка ) CS1 maint: бот: исходный статус URL неизвестен ( ссылка ) , заархивировано из [www.seas.harvard.edu/courses/cs121/handouts/Hilbert.pdf] - ^ Гильберт, Д. (1919–20), Природа и математическое познание: лекции, проведенные в 1919–1920 годах в Готтингене. После разработки Пола Бернейса (отредактировано и с английским введением Дэвида Э. Роу), Базель, Биркхаузер (1992).
- ^ Райхенбергер, Андреа (31 января 2019 г.). «От разрешимости к формальной разрешимости: возвращение к «не-игнорабимусу» Гильберта » . Журнал гуманистической математики . 9 (1): 49–80. дои : 10.5642/jhummath.201901.05 . ISSN 2159-8118 . S2CID 127398451 .
- ^ Рид 1996 , с. 129.
- ^ Исааксон 2007: 218
- ^ Зауэр 1999 ; Фёлсинг 1998 г. [ нужна страница ] ; Исааксон 2007: 212
- ^ Исааксон 2007: 213
- ^ Рид 1996 , с. 114.
- ^ Эндрес, С.; Штайнер, Ф. (2009), «Оператор Берри – Китинга на и о компактных квантовых графах с общими самосопряженными реализациями», Journal of Physics A: Mathematical and Theoretical , 43 (9): 37, arXiv : 0912.3183v5 , doi : 10.1088/1751-8113/43/9/095204 , S2CID 115162684
- ^ Рид 1996 , гл. 13.
- ^ Победа 2013 , с. 284-285.
- ^ Jump up to: а б Рота Г.-К. (1997), « Десять уроков, которые мне бы хотелось преподать », Уведомления AMS , 44: 22–25.
Источники [ править ]
литература в переводе английском Основная
- Эвальд, Уильям Б., изд. (1996). От Канта до Гильберта: Справочник по основам математики . Оксфорд, Великобритания: Издательство Оксфордского университета.
- 1918. «Аксиоматическая мысль», 1114–1115.
- 1922. «Новые основания математики: первый отчет», 1115–1133.
- 1923. «Логические основы математики», 1134–1147.
- 1930. «Логика и познание природы», 1157–1165.
- 1931. «Обоснование элементарной теории чисел», 1148–1156.
- 1904. «Об основах логики и арифметики», 129–138.
- 1925. «О бесконечности», 367–392.
- 1927. «Основы математики», с комментарием Вейля и приложением Бернейса , 464–489.
- ван Хейеноорт, Жан (1967). От Фреге до Гёделя: справочник по математической логике, 1879–1931 гг . Издательство Гарвардского университета.
- Гильберт, Дэвид (1950) [1902]. Основы геометрии [Grundlagen der Geometrie] (PDF) . Перевод Таунсенда, Э.Дж. (2-е изд.). Ла Саль, Иллинойс: Издательство Open Court. Архивировано (PDF) из оригинала 28 декабря 2005 г.
- Гильберт, Дэвид (1990) [1971]. Основы геометрии [Grundlagen der Geometrie] . Перевод Унгера, Лео (2-е английское изд.). Ла Саль, Иллинойс: Издательство Open Court. ISBN 978-0-87548-164-7 .
перевод из 10-го немецкого издания
- Гильберт, Дэвид ; Кон-Воссен, Стефан (1999). Геометрия и воображение . Американское математическое общество. ISBN 978-0-8218-1998-2 .
Доступный набор лекций, изначально предназначенный для жителей Геттингена.
- Гильберт, Дэвид (2004). Халлетт, Майкл; Майер, Ульрих (ред.). Лекции Дэвида Гильберта по основам математики и физики, 1891–1933 гг . Берлин и Гейдельберг: Springer-Verlag. ISBN 978-3-540-64373-9 .
Вторичная литература [ править ]
- Бертран, Габриэль (20 декабря 1943b), «Аллокуция» , Comptes rendus hebdomadaires des séances de l'Académie des Sciences (на французском языке), 217 , Париж: 625–640 , доступно в Gallica . «Обращение» Габриэля Бертрана от 20 декабря 1943 года во Французской академии: он дает биографические очерки жизни недавно умерших членов, в том числе Питера Зеемана , Давида Гильберта и Жоржа Жиро .
- Боттаццини Умберто, 2003. Флейта Гильберта. История математики . ЮТЭТ , ISBN 88-7750-852-3
- Корри Л., Ренн Дж. и Стачел Дж., 1997, «Запоздалое решение в споре о приоритете Гильберта и Эйнштейна», Science 278 : nn-nn.
- Корри, Лео (2004). Дэвид Гильберт и аксиоматизация физики (1898–1918): от основ геометрии к основам физики . Спрингер. ISBN 90-481-6719-1 .
- Доусон, Джон В. младший 1997. Логические дилеммы: жизнь и творчество Курта Гёделя . Уэлсли Массачусетс: АК Питерс. ISBN 1-56881-256-6 .
- Фёлсинг, Альбрехт (1998). Альберт Эйнштейн . Пингвин.
- Граттан-Гиннесс, Айвор , 2000. В поисках математических корней 1870–1940 . Принстонский университет. Нажимать.
- Грей, Джереми , 2000. Вызов Гильберта . ISBN 0-19-850651-1
- Манкосу, Паоло (1998). От Брауэра до Гильберта, Дебаты об основаниях математики в 1920-х годах . Оксфордский университет. Нажимать. ISBN 978-0-19-509631-6 .
- Мехра, Джагдиш , 1974. Эйнштейн, Гильберт и теория гравитации . Рейдель.
- Пьерджорджио Одифредди , 2003. Geometric Entertainment. Геометрические истоки логики от Евклида до Гильберта . Боллати Борингьери, ISBN 88-339-5714-4 . Четкое изложение «ошибок» Евклида и решений, представленных в « Основах геометрии» , со ссылкой на неевклидову геометрию .
- Рид, Констанс. (1996). Гильберт . Нью-Йорк: Спрингер . ISBN 0-387-94674-8 . Полная англоязычная биография Гильберта.
- Роу, Делавэр (1989). «Кляйн, Гильберт и Геттингенская математическая традиция». Осирис . 5 : 186–213. дои : 10.1086/368687 . S2CID 121068952 .
- Зауэр, Тилман (1999). «Относительность открытий: первая заметка Гильберта об основах физики». Арх. Хист. Точная наука . 53 : 529–75. arXiv : физика/9811050 . Бибкод : 1998физика..11050S .
- Зиг, Вильфрид (2013). Программы Гильберта и не только . Издательство Оксфордского университета. ISBN 978-0-19-537222-9 .
- Зиг, Вильфрид и Равалья, Марк, 2005, «Grundlagen der Mathematik» в Grattan-Guinness, I. , изд., « Важные произведения в западной математике» . Эльзевир : 981-99. (по-английски)
- Торн, Кип , 1995. Черные дыры и искажения времени: возмутительное наследие Эйнштейна , WW Norton & Company; Репринтное издание. ISBN 0-393-31276-3 .
- Георг фон Вальвиц: Господа, это не баня. Как математик изменил XX век. Беренберг Верлаг, Берлин, 2017 г., ISBN 978-3-946334-24-8. Полная биография Гильберта на немецком языке.
Внешние ссылки [ править ]
- Проект Гильберта Бернейса
- Обращение Гильберта к 23 проблемам
- ICMM 2014 посвящен памяти Д.Гильберта
- Работы Дэвида Гильберта в Project Gutenberg
- Работы Дэвида Гилберта или о нем в Internet Archive
- Работы Дэвида Гилберта в LibriVox (аудиокниги, являющиеся общественным достоянием)
- Радиовыступление Гильберта, записанное в Кенигсберге в 1930 году (на немецком языке). Архивировано 14 февраля 2006 года в Wayback Machine . с английским переводом Архивировано 12 ноября 2020 года в Wayback Machine.
- Wolfram MathWorld – Константа Гильберта
- Дэвид Гилберт в проекте «Математическая генеалогия»
- О'Коннор, Джон Дж.; Робертсон, Эдмунд Ф. , «Дэвид Гильберт» , Архив истории математики MacTutor , Университет Сент-Эндрюс
- «От проблем Гильберта к будущему» , лекция профессора Робина Уилсона, Грешам-колледж , 27 февраля 2008 г. (доступно в текстовом, аудио- и видеоформате).
- Вырезки из газет о Давиде Гильберте в архиве 20-го века ZBW пресс -
- Дэвид Хилберт
- 1862 рождения
- 1943 смертей
- Ученые из Кенигсберга
- Люди из провинции Пруссия
- Немецкие математики XIX века
- Немецкие математики XX века
- Иностранные члены Королевского общества
- Иностранные сотрудники Национальной академии наук
- Немецкие агностики
- Формализм (дедуктивный)
- Бывшие протестанты
- Геометры
- Немецкие математические аналитики
- Немецкие теоретики чисел
- Теоретики операторов
- Лауреаты Pour le Mérite (гражданский класс)
- Немецкие теоретики относительности
- Академический состав Геттингенского университета
- Выпускники Кенигсбергского университета
- Академический состав Кенигсбергского университета
- Философы математики
- Члены Американского философского общества
- Лауреаты медали Котениуса