Мартін Льоб

Мартін Ґ'юго Льоб (нім. Martin Hugo Löb; 31 березня 1921, Берлін, Німеччина21 серпня 2006, Амстердам, Голландія) — британський та голландський математик, фахівець в математичної логіки.

Мартін Льоб
нім. Martin Löb
Народився 31 березня 1921(1921-03-31)[1][2]
Берлін, Німецький рейх
Помер 21 серпня 2006(2006-08-21)[1][2][3] (85 років)
Annend, А ен Гюнзе, Дренте, Нідерланди[3]
Країна  Німеччина
Діяльність математик, викладач університету
Галузь математична логіка
Alma mater Лондонський університет і Університет Лестераd
Науковий керівник Reuben Goodsteind
Знання мов німецька
Заклад Університет Лідса, Амстердамський університет[3], Амстердамський університет[3], Амстердамський університет[3] і Амстердамський університет[3]

В 1939 емігрував до Великої Британії. Як німецький підданий у зв'язку з початком Другої світової війни був змушений на період 1940-1943 років переїхати до Австралії. Закінчив Лондонський університет, в 1948 під керівництвом Рейбена Гудстейна захистив дисертацію на здобуття ступеня доктора філософії на тему «Методологічна характеристика конструктивної математики». У подальшій науковій діяльності займався проблемами конструктивної математики і математичної логіки.

У період з 1951 по 1970 працював в Університеті Лідса (спочатку лектором, надалі отримав професорське звання), в цей період діяльності отримані основні результати. Так, в 1955 сформулював і довів взаємозв'язок між доказовими твердження і самим твердженням, відомий як теорема Льоба.

З 1970 до виходу на пенсію в 1985 обіймав посаду професора математичної логіки в Амстердамському університеті.

Посилання

Примітки

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.