Martin Löb
   HOME

TheInfoList



OR:

Martin Hugo Löb (; 31 March 1921 – 21 August 2006) was a German
mathematician A mathematician is someone who uses an extensive knowledge of mathematics in their work, typically to solve mathematical problems. Mathematicians are concerned with numbers, data, quantity, mathematical structure, structure, space, Mathematica ...
. He settled in the
United Kingdom The United Kingdom of Great Britain and Northern Ireland, commonly known as the United Kingdom (UK) or Britain, is a country in Northwestern Europe, off the coast of European mainland, the continental mainland. It comprises England, Scotlan ...
after the
Second World War World War II or the Second World War (1 September 1939 – 2 September 1945) was a World war, global conflict between two coalitions: the Allies of World War II, Allies and the Axis powers. World War II by country, Nearly all of the wo ...
and specialised in
mathematical logic Mathematical logic is the study of Logic#Formal logic, formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory (also known as computability theory). Research in mathematical logic com ...
. He moved to
the Netherlands , Terminology of the Low Countries, informally Holland, is a country in Northwestern Europe, with Caribbean Netherlands, overseas territories in the Caribbean. It is the largest of the four constituent countries of the Kingdom of the Nether ...
in the 1970s, where he remained in retirement. He is perhaps best known for having formulated Löb's theorem in 1955.


Early life and education

Löb grew up in
Berlin Berlin ( ; ) is the Capital of Germany, capital and largest city of Germany, by both area and List of cities in Germany by population, population. With 3.7 million inhabitants, it has the List of cities in the European Union by population withi ...
, but escaped from the
Third Reich Nazi Germany, officially known as the German Reich and later the Greater German Reich, was the German state between 1933 and 1945, when Adolf Hitler and the Nazi Party controlled the country, transforming it into a totalitarian dictat ...
, arriving in the UK just before the outbreak of the
Second World War World War II or the Second World War (1 September 1939 – 2 September 1945) was a World war, global conflict between two coalitions: the Allies of World War II, Allies and the Axis powers. World War II by country, Nearly all of the wo ...
. As an enemy alien, he was deported on the '' Dunera'' to an
internment camp Internment is the imprisonment of people, commonly in large groups, without Criminal charge, charges or Indictment, intent to file charges. The term is especially used for the confinement "of enemy citizens in wartime or of terrorism suspects ...
at Hay in
Australia Australia, officially the Commonwealth of Australia, is a country comprising mainland Australia, the mainland of the Australia (continent), Australian continent, the island of Tasmania and list of islands of Australia, numerous smaller isl ...
in 1940, where the 19-year-old Löb was taught mathematics by other internees. His teacher, Felix Behrend, was later a professor at Melbourne University. Löb was allowed to return to the UK in 1943, and he studied at the
University of London The University of London (UoL; abbreviated as Lond or more rarely Londin in Post-nominal letters, post-nominals) is a collegiate university, federal Public university, public research university located in London, England, United Kingdom. The ...
after the War. After graduating, he became a research student with
Reuben Goodstein Reuben Louis Goodstein (15 December 1912 – 8 March 1985) was an English mathematician with an interest in the philosophy and teaching of mathematics. Education Goodstein was educated at St Paul's School in London. He received his Master's de ...
at the
University of Leicester The University of Leicester ( ) is a public university, public research university based in Leicester, England. The main campus is south of the city centre, adjacent to Victoria Park, Leicester, Victoria Park. The university's predecessor, Univ ...
. He completed his
PhD A Doctor of Philosophy (PhD, DPhil; or ) is a terminal degree that usually denotes the highest level of academic achievement in a given discipline and is awarded following a course of graduate study and original research. The name of the deg ...
and became an assistant lecturer at the
University of Leeds The University of Leeds is a public research university in Leeds, West Yorkshire, England. It was established in 1874 as the Yorkshire College of Science. In 1884, it merged with the Leeds School of Medicine (established 1831) and was renamed Y ...
in 1951, where he was to remain for 20 years, becoming a Reader and ultimately
Professor Professor (commonly abbreviated as Prof.) is an Academy, academic rank at university, universities and other tertiary education, post-secondary education and research institutions in most countries. Literally, ''professor'' derives from Latin ...
of Mathematical Logic from 1967 to 1970. He developed the
mathematical logic Mathematical logic is the study of Logic#Formal logic, formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory (also known as computability theory). Research in mathematical logic com ...
group at Leeds, making it one of the leading centres in the UK. Löb did research on
proof theory Proof theory is a major branchAccording to , proof theory is one of four domains mathematical logic, together with model theory, axiomatic set theory, and recursion theory. consists of four corresponding parts, with part D being about "Proof The ...
,
modal logic Modal logic is a kind of logic used to represent statements about Modality (natural language), necessity and possibility. In philosophy and related fields it is used as a tool for understanding concepts such as knowledge, obligation, and causality ...
and
computability theory Computability theory, also known as recursion theory, is a branch of mathematical logic, computer science, and the theory of computation that originated in the 1930s with the study of computable functions and Turing degrees. The field has since ex ...
. He formulated Löb's theorem in 1955, as a formal version of Löb's paradox, that statements that assert their own provability must be true (similar to Gödel's incompleteness theorem). Löb's wife, Caroline, was Dutch. They had two daughters together. Löb moved to become a professor at the
University of Amsterdam The University of Amsterdam (abbreviated as UvA, ) is a public university, public research university located in Amsterdam, Netherlands. Established in 1632 by municipal authorities, it is the fourth-oldest academic institution in the Netherlan ...
in the early 1970s. He remained at the University of Amsterdam until he retired. He then moved to Annen, where he later died.


See also

* Löb–Wainer hierarchy


References

*
Obituary
''
The Guardian ''The Guardian'' is a British daily newspaper. It was founded in Manchester in 1821 as ''The Manchester Guardian'' and changed its name in 1959, followed by a move to London. Along with its sister paper, ''The Guardian Weekly'', ''The Guardi ...
'', 3 October 2006
Obituary
Institute for Logic, Language and Computation,
University of Amsterdam The University of Amsterdam (abbreviated as UvA, ) is a public university, public research university located in Amsterdam, Netherlands. Established in 1632 by municipal authorities, it is the fourth-oldest academic institution in the Netherlan ...
{{DEFAULTSORT:Lob, Martin 1921 births 2006 deaths 20th-century German mathematicians German logicians Alumni of the University of London Alumni of the University of Leicester Academics of the University of Leeds Academic staff of the University of Amsterdam Mathematicians from Berlin German emigrants to the United Kingdom