Kurt Gödel
-
Kurt Gödel: Unpublished Philosophical Essays
By Francisco Rodriguez-ConsuegraThis is known as " Godel's incompleteness theorem " , or simply as " Godel's theorem " . At the same time , Godel proved that it is impossible to find a proof for the consistency of such systems , because a sentence asserting that ...
-
Kurt Gödel: The Princeton Lectures on Intuitionism
By Jan von Plato, Maria Hämeen-AnttilaThis book, Gödel's lectures at the famous Princeton Institute for Advanced Study in 1941, shows how far he had come with Hilbert's second problem, namely to a theory of computable functionals of finite type and a proof of the consistency ...
-
Kurt Gödel: Das Album - The Album
By Karl Sigmund, John Dawson, Kurt Mühlberger" This book wants to give a simple, intuitive and easily digestible introduction to Gödel's life and work, meant for readers interested in the human and cultural aspects of science.
-
Kurt Gödel: Essays for his Centennial
By Charles Parsons, Solomon Feferman, Stephen G. SimpsonThis book on different aspects of his work and on subjects in which his ideas have contemporary resonance includes papers from a May 2006 symposium celebrating Gödel's centennial as well as papers from a 2004 symposium.
-
Kurt Gödel: The Genius of Metamathematics
By William D. Brewer... continuum-hypothesis. Proc. U.S. Natl. Acad. Sci. 24, 556–557 (1938) Gödel, K.: Consistency-proof for the generalized continuum-hypothesis. Bull. Am ... 3. Princeton Univer- sity Press, Princeton (1940). Based on lecture notes taken by George ...