Лёб, Мартин
| Мартин Хуго Лёб | |
|---|---|
| нем. Martin Hugo Löb | |
| Дата рождения | 31 марта 1921[1] |
| Место рождения | |
| Дата смерти | 21 августа 2006[1][2] (85 лет) |
| Место смерти | |
| Страна | Германия, Австралия, Великобритания, Нидерланды |
| Род деятельности | математик, преподаватель университета |
| Научная сфера | Математическая логика |
| Место работы | |
| Альма-матер |
|
| Учёная степень | Доктор философии |
| Учёное звание | Профессор |
| Научный руководитель | Рубен Гудстейн |
| Известен как | сформулировавший и доказавший теорему Лёба |
Мартин Хуго Лёб (нем. Martin Hugo Löb; 31 марта 1921[1], Берлин — 21 августа 2006[1][2], Annen, Дренте[2]) — математик, специалист в математической логике.
Биография
Родился в Германии, в 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. Дата обращения: 4 июня 2011. Архивировано 22 марта 2012 года.