Лёб, Мартин

В Википедии есть статьи о других людях с такой фамилией, см. Лёб.

Мартин Хуго Лёб (нем. Martin Hugo Löb; 31 марта 1921^[1], Берлин — 21 августа 2006^[1][2], Annen^[вд], Дренте^[2]) — математик, специалист в математической логике.

Мартин Хуго Лёб
нем. Martin Hugo Löb
Дата рождения	31 марта 1921(1921-03-31)[1]
Место рождения	Берлин, Германия
Дата смерти	21 августа 2006(2006-08-21)[1][2] (85 лет)
Место смерти	Annen[вд], А-эн-Хюнзе, Дренте, Нидерланды[2]
Страна	Германия, Австралия, Великобритания, Нидерланды
Род деятельности	математик, преподаватель университета
Научная сфера	Математическая логика
Место работы	Лидсский университет[1] Амстердамский университет[2] Амстердамский университет[2]
Альма-матер	Лондонский университет (1951)[1]
Учёная степень	Доктор философии
Учёное звание	Профессор
Научный руководитель	Рубен Гудстейн
Известен как	сформулировавший и доказавший теорему Лёба

Биография

Родился в Германии, в 1939 году эмигрировал в Великобританию, как немецкий подданный в связи с началом войны вынужден был на период 1940—1943 годов переехать в Австралию. Окончил Лондонский университет, в 1948 году под руководством Рубена Гудстейна защитил диссертацию на соискание степени доктора философии на тему «Методологическая характеристика конструктивной математики». В дальнейшей научной деятельности интересы Лёба также были сконцентрированы на проблемах конструктивной математики и математической логики.

В период с 1951 по 1970 год работал в Университете Лидса (вначале лектором, в дальнейшем получил профессорское звание), в этот период деятельности получены основные результаты. Так, в 1955 году сформулировал и доказал утверждение, известное как теорема Лёба.

С 1970 года вплоть до выхода на пенсию в 1985 году занимал должность профессора математической логики в Амстердамском университете.

См. также

• Теорема Лёба