Martin Löb
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 |
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.