Award: Chauvenet

Year of Award: 1964

Publication Information: Science, vol. 138 (1962), pp. 788-794

Summary: An old thesis of Russel's is reexamined in the light of subsequent developments in mathematical logic.

Read the Article: The article is not available at this time.

About the Author: Leon Henkin (1921-2006) received his Ph.D. from Princeton University in 1947 under the direction of Alonzo Church. From 1953 until his death he was a Professor of Mathematics at the University of California, Berkeley. His thesis included a proof of Godel's completeness theorem for the predicate calculus which has since become the standard proof in almost every presentation of mathematical logic.