Martin Hugo Löb

Martin Hugo Löb (31 March 1921 to 21 August 2006) was a German mathematician who settled in the United Kingdom after the Second World War and specialised in mathematical logic. He grew up in Berlin, reached Britain just before the war, was deported to an internment camp at Hay in Australia in 1940, and was taught mathematics there by fellow internees. After returning to the UK in 1943 he studied at the University of London and became a research student with Reuben Goodstein at the University of Leicester. He joined the University of Leeds in 1951, where he built a leading mathematical logic group and became Professor of Mathematical Logic from 1967 to 1970. His research covered proof theory, modal logic and computability theory, and in 1955 he formulated the theorem that carries his name. He later became a professor at the University of Amsterdam and retired in the Netherlands.