Mathematician:Leon Albert Henkin

Mathematician

American logician best known for Henkin's Completeness Proof.

Nationality

American

History

• Born: 19 April 1921, Brooklyn, New York
• Died: 1 November 2006, Oakland, California

Theorems and Definitions

• Henkin's Completeness Proof
• Henkin Construction
• Henkin-Keisler Model (with Howard Jerome Keisler)

Publications

• 1949: The Completeness of the First-Order Functional Calculus (Journal of Symbolic Logic Vol. 14: pp. 159 – 166)  www.jstor.org/stable/2267044

• 1950: Completeness in the theory of types (Journal of Symbolic Logic Vol. 15: pp. 81 – 91)  www.jstor.org/stable/2266967

• 1960: On Mathematical Induction (Amer. Math. Monthly Vol. 67: pp. 323 – 338)  www.jstor.org/stable/2308975

• 1965: The Theory of Models (with J.W. Addison and A. Tarski)

Sources

• 1997: Donald E. Knuth: The Art of Computer Programming: Volume 1: Fundamental Algorithms (3rd ed.) ... (previous) ... (next): $\S 1.2.1$: Mathematical Induction