Про знаменитості
Пауль Ісаак Бернайс: біографія
17 жовтня 1888 - 18 вересня 1977
швейцарський математик, відомий своїми роботами в галузі математичної логіки, аксіоматичної теорії множин і філософії математики
Біографія
Народився в сім'ї швейцарських євреїв. У момент народження його сім'я проживала в Лондоні, але незабаром переїхала в Берлін, а через кілька років - в Кельн, де юнак закінчив гімназію (1895-1907). Деякий час коливався між двома захопленнями - музикою і математикою, але вибрав математику і продовжив навчання в Берлінському університеті. Лекції з математики там читали, серед інших, Едмунд Ландау, Ісай Шур і Фердинанд Фробеніус. Провчившись 2 роки в Берліні, Бернайс виїхав в Геттінген, там він слухав лекції Давида Гільберта, Фелікса Клейна і Германа Вейля.
У 1912 році Бернайс повернувся в Берлінський університет і захистив там дисертацію з аналітичної теорії чисел; його науковим керівником був Едмунд Ландау. Процедуру хабілітації Бернайс в тому ж році пройшов в Цюріхському університеті у Ернста Цермело, після чого був прийнятий доцентом цього університету.
У 1917 році Бернайс прийняв запрошення Давида Гільберта і став його помічником у Геттінгені. Як і Гільберт, Бернайс проводив дослідження в області основ математики. Ці дослідження стали основою його докторської дисертації (1919), після чого Бернайс став екстраординарним професором Геттінгенського університету.
Після приходу до влади в Німеччині нацистів Бернайс був звільнений і знову переїхав до Швейцарії, де працював у Політехнікумі (професор з 1945 року). У 1935-1936 роках працював в Прінстонському інституті перспективних досліджень (США).
Співпраця Бернайса з Гільбертом тривало, і в 1934-1939 роках вони опублікували фундаментальну спільну монографію «Підстави математики» у двох томах. У 1968 році, вже після смерті Гільберта, Бернайс випустив 2-е видання цієї праці, доповнене його власними результатами. Бернайс також опублікував ряд робіт з аксіоматиці теорії множин, ставши одним з авторів «аксіоматики фон Неймана-Бернайса-Геделя». У 1947 році став одним із засновників філософського журналу «Діалектика».
Праці в російській перекладі
- Гільберт Д., Бернайс П.Підстави математики. Том II. Теорія доказів. М.: Наука, 1982, 656 с.
- Бернайс П.Про платонізмі в математиці.
- Гільберт Д., Бернайс П.Підстави математики. Том I. Логічні обчислення і формалізація арифметики. М.: Наука, 1979, 560 c.
