ABSTRACT
The authors gratefully acknowledge the generous assistance they received from Professor John C.Cooley of Columbia University. He read critically an early draft of the manuscript, and helped to clarify the structure of the argument and to improve the exposition of points in logic. We wish to thank Scientific American for permission to reproduce several of the diagrams in the text, which appeared in an article on Gödel’s Proof in the June 1956 issue of the magazine. We are indebted to Professor Morris Kline of New York University for helpful suggestions regarding the manuscript.
