Мартин Лёб

Мартин Хьюго Лёб
Рожденный	( 1921-03-31 ) 31 марта 1921 г. Берлин
Умер	21 августа 2006 г. (21 августа 2006 г.) (85 лет) Другое , Нидерланды
Альма-матер	Лондонский университет
Известный	Теорема Леба
Супруг	Кэролайн
Дети	Марике, Стефани
Научная карьера
Диссертация	Методологическая характеристика конструктивной математики  (1953)
Докторантура	Рубен Луи Гудстейн
Докторанты	Йохан ван Бентем

Мартин Хьюго Лёб (англ. Немецкий: [løːp] ; 31 марта 1921 — 21 августа 2006) — немецкий математик . Он поселился в Соединенном Королевстве после Второй мировой войны и специализировался на математической логике . Он переехал в Нидерланды в 1970-х годах, где остался на пенсии. Он, пожалуй, наиболее известен тем, что сформулировал теорему Лёба в 1955 году.

Ранняя жизнь и образование

Лёб вырос в Берлине , но бежал из Третьего рейха и прибыл в Великобританию незадолго до начала Второй мировой войны . Как вражеский инопланетянин , он был депортирован на Дунере в лагерь для интернированных в Хэе в Австралии в 1940 году, где 19-летний Лёб обучался математике другими интернированными. Его учитель, Феликс Беренд , позже был профессором Мельбурнского университета .

Лебу разрешили вернуться в Великобританию в 1943 году, и он учился в Лондонском университете после войны . После окончания университета он стал аспирантом у Рубена Гудштейна в Лестерском университете . Он защитил докторскую диссертацию и стал доцентом в Университете Лидса в 1951 году, где ему предстояло оставаться в течение 20 лет, став доцентом и, в конечном итоге, профессором математической логики с 1967 по 1970 год. Он создал группу математической логики в Лидсе, создав Это один из ведущих центров Великобритании. Лёб исследовал теорию доказательств , модальную логику и теорию вычислимости . В 1955 году он сформулировал теорему Лёба как формальную версию парадокса Лёба , согласно которой утверждения, утверждающие свою доказуемость, должны быть истинными (аналогично теореме Гёделя о неполноте ).

Жена Леба, Кэролайн, была голландкой. У них было две дочери. Лёб стал профессором Амстердамского университета в начале 1970-х годов. Он оставался в Амстердамском университете до выхода на пенсию. Затем он переехал в Аннен , где позже умер.

См. также

• Иерархия Леба – Вайнера

Ссылки

• О'Коннор, Джон Дж.; Робертсон, Эдмунд Ф. , «Мартин Лёб» , Архив истории математики MacTutor , Университет Сент-Эндрюс
• Некролог , The Guardian , 3 октября 2006 г.
• Некролог , Институт логики, языка и вычислений , Амстердамский университет