Martin Löb
Martin Hugo Löb (German: [løːp]; 31 March 1921 – 21 August 2006) was a German mathematician. He settled in the United Kingdom after the Second World War and specialised in mathematical logic. He moved to the Netherlands in the 1970s, where he remained in retirement. He is perhaps best known for having formulated Löb's theorem in 1955.
Martin Hugo Löb | |
|---|---|
| Born | 31 March 1921 |
| Died | 21 August 2006 (aged 85) |
| Alma mater | University of London |
| Known for | Löb's theorem |
| Spouse | Caroline |
| Children | Maryke, Stefani |
| Scientific career | |
| Thesis | A Methodological Characterization of Constructive Mathematics (1953) |
| Doctoral advisor | Reuben Louis Goodstein |
| Doctoral students | Johan van Benthem |
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.