| Мартин Хуго Лёб |
| 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 году занимал должность профессора математической логики в Амстердамском университете.