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 )
 * Löb-Wainer Hierarchy (with )

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