Martin Löb - Martin Löb
Martin Hugo Löb | |
---|---|
narozený | |
Zemřel | 21. srpna 2006 | (ve věku 85)
Alma mater | University of London |
Známý jako | Löbova věta |
Manžel (y) | Caroline |
Děti | Maryke, Stefani |
Vědecká kariéra | |
Teze | Metodická charakteristika konstruktivní matematiky[1] (1953) |
Doktorský poradce | Reuben Louis Goodstein |
Doktorandi | Johan van Benthem |
Martin Hugo Löb (Němec: [prokreslit]; 31. března 1921 - 21. srpna 2006) byl a Němec matematik. Usadil se v Spojené království po Druhá světová válka a specializuje se na matematická logika. Přestěhoval se do Nizozemí v 70. letech, kde zůstal v důchodu. Snad je nejlépe známý tím, že formuloval Löbova věta v roce 1955.
raný život a vzdělávání
Löb vyrostl v Berlín, ale unikl z Třetí říše, přijíždějící do Velké Británie těsně před vypuknutím Druhá světová válka. Jako nepřátelský mimozemšťan, byl deportován na Dunera do internační tábor v Seno v Austrálie v roce 1940, kdy 19letého Löba učili matematici jiní internovaní. Jeho učitel, Felix Behrend, byl později profesorem na Melbourne University.
Löb se mohl vrátit do Velké Británie v roce 1943 a studoval na University of London po válce. Po absolutoriu se stal studentem výzkumu u Reuben Goodstein na University of Leicester. Dokončil své PhD a stal se asistentem na University of Leeds v roce 1951, kde měl zůstat 20 let, se stal Čtenář a nakonec Profesor matematické logiky od roku 1967 do roku 1970. Vyvinul matematická logika skupina v Leedsu, což z něj činí jedno z předních center ve Velké Británii. Löb zkoumal teorie důkazů, modální logika a teorie vypočítatelnosti. Formuloval Löbova věta v roce 1955, jako formální verze Löbův paradox, že tvrzení, která uplatňují svou vlastní prokazatelnost, musí být pravdivá (obdoba Gödelova věta o neúplnosti ).
Löbova manželka Caroline byla Holanďanka. Měli spolu dvě dcery. Löb se přestěhoval a stal se profesorem na University of Amsterdam na začátku 70. let. Zůstal na univerzitě v Amsterdamu až do důchodu. Poté se přestěhoval do Annen, kde později zemřel.
Reference
- O'Connor, John J.; Robertson, Edmund F., „Martin Löb“, MacTutor Historie archivu matematiky, University of St Andrews.
- Nekrolog, Opatrovník, 3. října 2006
- Nekrolog, Institut pro logiku, jazyk a výpočet, University of Amsterdam