Лёб, Мартин

Мартин Хуго Лёб
Martin Hugo Löb
Дата рождения:	31 марта 1921(1921-03-31)
Место рождения:	Берлин
Дата смерти:	12 сентября 2006(2006-09-12) (85 лет)
Место смерти:	Амстердам
Страна:	Германия, Австралия, Великобритания, Нидерланды
Научная сфера:	Математическая логика
Место работы:	Университет Лидса, Амстердамский университет
Учёная степень:	Доктор философии
Учёное звание:	Профессор
Альма-матер:	Лондонский университет
Научный руководитель:	Рейбен Гудстейн
Известен как:	сформулировавший и доказавший теорему Лёба

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

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

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

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

См. также

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

Ссылки

• J. J. O'Connor and E. F. Robertson Martin Hugo Löb, Biography  (англ.). St Andrews University. Архивировано из первоисточника 22 марта 2012. Проверено 4 июня 2011.
• Martin Hugo Löb  (англ.). Mathematics Genealogy Project. Архивировано из первоисточника 22 марта 2012. Проверено 4 июня 2011.