Mathematician:Martin Hugo Löb

Mathematicians

German mathematician who specialised in mathematical logic. Best known for having formulated Löb's Theorem in 1955.

Nationality

German

History

• Born: March 31, 1921 in Berlin
• Died: August 21, 2006 in Annen, Netherlands

Theorems and Definitions

• Löb's Theorem
• Löb's Paradox (also known as Curry's Paradox after Haskell Brooks Curry‎)
• Löb-Wainer Hierarchy (with Stanley Scott Wainer)

Results named for Martin Hugo Löb can be found here.

Definitions of concepts named for Martin Hugo Löb can be found here.

Publications

• 1953: Concatenation as basis for a complete system of arithmetic
• 1956: Solution of a problem of Leon Henkin
• 1970: A model theoretic characterization of effective operations
• 1970: Hierarchies of number-theoretic functions
• 1972: A reduction theorem for predicate logic
• 1976: Embedding first order predicate logic in fragments of intuitionistic logic

Sources

• John J. O'Connor and Edmund F. Robertson: "Martin Hugo Löb": MacTutor History of Mathematics archive