Mathematician:Martin Hugo Löb
Jump to navigation
Jump to search
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