Мартін Льоб

Мартін Льоб
нім. Martin Löb
Народився	31 березня 1921(1921-03-31) Берлін, Вільна держава Пруссія
Помер	21 серпня 2006(2006-08-21) (85 років) Аннен, А-ен-Гюнзе, Дренте, Нідерланди
Країна	Німеччина
Діяльність	математик, викладач університету
Галузь	математична логіка
Alma mater	Лондонський університет (1951)
Науковий керівник	Reuben Goodsteind
Знання мов	німецька
Заклад	Університет Лідса, Амстердамський університет і Амстердамський університет
Magnum opus	Теорема Льоба і fast-growing hierarchyd

Мартін Ґ'юго Льоб (нім. 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.