Marcin Lob

Martina Hugo Löba
Urodzić się	( 1921-03-31 ) 31 marca 1921 Berlin
Zmarł	21 sierpnia 2006 (21.08.2006) (w wieku 85) Annen , Holandia
Alma Mater	Uniwersytet Londyński
Znany z	Twierdzenie Löba
Współmałżonek	Karolina
Dzieci	Maryke, Stefani
Kariera naukowa
Praca dyplomowa	Metodologiczna charakterystyka konstruktywnej matematyki (1953)
Doradca doktorski	Rubena Louisa Goodsteina
Doktoranci	Johan van Benthem

Martin Hugo Löb ( niem. [løːp] ; 31 marca 1921 - 21 sierpnia 2006) był niemieckim matematykiem . Po drugiej wojnie światowej osiadł w Wielkiej Brytanii i specjalizował się w logice matematycznej . W latach 70. przeniósł się do Holandii , gdzie pozostał na emeryturze. Jest chyba najbardziej znany ze sformułowania twierdzenia Löba w 1955 roku.

Wczesne życie i edukacja

Löb dorastał w Berlinie , ale uciekł z Trzeciej Rzeszy , docierając do Wielkiej Brytanii tuż przed wybuchem II wojny światowej . Jako wrogi kosmita został deportowany na Dunera do obozu internowania w Hay w Australii w 1940 roku, gdzie 19-letni Löb uczył matematyki przez innych internowanych. Jego nauczyciel, Felix Behrend , był później profesorem na Uniwersytecie w Melbourne .

Löbowi pozwolono wrócić do Wielkiej Brytanii w 1943 roku, a po wojnie studiował na Uniwersytecie Londyńskim . Po ukończeniu studiów został studentem badań u Reubena Goodsteina na Uniwersytecie w Leicester . Obronił doktorat i został asystentem na Uniwersytecie w Leeds w 1951 roku, gdzie miał pozostać przez 20 lat, zostając wykładowcą i ostatecznie profesorem logiki matematycznej w latach 1967-1970. Rozwinął logikę matematyczną w Leeds, co czyni go jednym z wiodących ośrodków w Wielkiej Brytanii. Löb prowadził badania nad teorią dowodu , logiką modalną i teorią obliczalności . Sformułował twierdzenie Löba w 1955 r. Jako formalną wersję paradoksu Löba , zgodnie z którym stwierdzenia, które potwierdzają własną możliwość udowodnienia, muszą być prawdziwe (podobnie jak twierdzenie Gödla o niezupełności ).

Żona Löba, Caroline, była Holenderką. Mieli razem dwie córki. Löb przeniósł się, aby zostać profesorem na Uniwersytecie w Amsterdamie na początku lat siedemdziesiątych. Pozostał na Uniwersytecie w Amsterdamie aż do przejścia na emeryturę. Następnie przeniósł się do Annen , gdzie później zmarł.

Zobacz też

• Hierarchia Löba – Wainera

• O'Connor, John J.; Robertson, Edmund F. , „Martin Löb” , archiwum MacTutor History of Mathematics , University of St Andrews
• Nekrolog , The Guardian , 3 października 2006
• Nekrolog , Instytut Logiki, Języka i Obliczeń Uniwersytetu w Amsterdamie