You are here

Are Logic and Mathematics Identical?

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.

MSC Codes: 
03Bxx
Author(s): 
Leon Henkin (University of California Berkeley)
Flag for Digital Object Identifier: 
Publication Date: 
Monday, October 11, 2010
Publish Page: 
Summary: 
An old thesis of Russel's is reexamined in the light of subsequent developments in mathematical logic.

Dummy View - NOT TO BE DELETED