Бернайс, Пауль

Пауль Исаак Бернайс
Пауль Исаак Бернайс
	нем. Paul Isaac Bernays
	;
Дата рождения	17 октября 1888(1888-10-17)
Место рождения	Лондон
Дата смерти	18 сентября 1977(1977-09-18) (88 лет)
Место смерти	Цюрих
Страна	Швейцария
Научная сфера	математика
Место работы	Цюрихский университет; Гёттингенский университет; ВТШ Цюриха;
Альма-матер	Берлинский университет
Учёная степень	доктор философии (1912), хабилитация (1912) и хабилитация (1918)
Научный руководитель	Эдмунд Ландау
Ученики	Хаскелл Карри ; Герхард Генцен
Известен как	один из авторов аксиоматики теории множеств
	Медиафайлы на Викискладе

Па́уль Исаа́к Берна́йс (нем. Paul Isaac Bernays, 17 октября 1888, Лондон — 18 сентября 1977, Цюрих) — швейцарский математик, известный своими работами в области математической логики, аксиоматической теории множеств и философии математики. Был другом и многолетним сотрудником Давида Гильберта.

БиографияПравить

Пауль Исаак Бернайс родился в еврейской семье; племянник Зигмунда Фрейда. В момент рождения его семья проживала в Лондоне, но вскоре переехала в Берлин, а спустя несколько лет — в Кёльн, где юноша окончил гимназию (1895—1907). Некоторое время колебался между двумя увлечениями — музыкой и математикой, но выбрал математику и продолжил обучение в Берлинском университете. Лекции по математике там читали, среди прочих, Эдмунд Ландау, Исай Шур и Фердинанд Фробениус. Проучившись 2 года в Берлине, Бернайс уехал в Гёттинген; там он слушал лекции Давида Гильберта, Феликса Клейна и Германа Вейля.

В 1912 году Бернайс вернулся в Берлинский университет и защитил там диссертацию по аналитической теории чисел; его научным руководителем был Эдмунд Ландау. Процедуру хабилитации Бернайс в том же году прошёл в Цюрихском университете у Эрнста Цермело, после чего был принят доцентом этого университета.

В 1917 году Бернайс принял приглашение Давида Гильберта и стал его помощником в Гёттингене. Как и Гильберт, Бернайс проводил исследования в области оснований математики. Эти исследования стали основой его докторской диссертации (1919), после чего Бернайс стал экстраординарным профессором Гёттингенского университета.

После прихода к власти в Германии нацистов Бернайс был уволен и снова переехал в Швейцарию, где работал в Политехникуме (профессор с 1945 года). В 1935—1936 годах работал в принстонском Институте перспективных исследований (США).

Сотрудничество Бернайса с Гильбертом продолжалось, и в 1934—1939 годах они опубликовали фундаментальную совместную монографию «Основания математики» в двух томах. В 1968 году, уже после смерти Гильберта, Бернайс выпустил 2-е издание этого труда, дополненное его собственными результатами. Бернайс также опубликовал ряд работ по аксиоматике теории множеств, став одним из авторов «аксиоматики фон Неймана — Бернайса — Гёделя». В 1947 году стал одним из основателей философского журнала «Диалектика».

Труды в русском переводеПравить

Гильберт Д., Бернайс П. Основания математики. Том I. Логические исчисления и формализация арифметики. М.: Наука, 1979, 560 c.
Гильберт Д., Бернайс П. Основания математики. Том II. Теория доказательств. М.: Наука, 1982, 656 с.
Бернайс П. О платонизме в математике.

ПримечанияПравить

ЛитератураПравить

Боголюбов А. Н. Математики. Механики. Биографический справочник. — Киев: Наукова думка, 1983.
Констанс Рид. Гильберт. Архивная копия от 21 сентября 2010 на Wayback Machine М.: Наука, 1977.

СсылкиПравить

MacTutor biography Архивная копия от 9 октября 2010 на Wayback Machine (англ.)
Paul Bernays, Paul Bernays: A Short Biography (1976) Архивная копия от 7 июня 2010 на Wayback Machine (англ.)

[_e079d1693bcf9348-1] ¹ ² ³ Архив по истории математики Мактьютор

[_dc45c7083d5aaffd-2] Математическая генеалогия (англ.) — 1997.

[_81ba36dfa4676475-3] Архив по истории математики Мактьютор

[1]

[2]

[3]