Skip to content

Gödel's Proof

Best in textbook rentals since 2012!

ISBN-10: 0814758169

ISBN-13: 9780814758168

Edition: 2001

Authors: Ernest Nagel, James R. Newman, Douglas R. Hofstadter

List price: $50.00
Blue ribbon 30 day, 100% satisfaction guarantee!
what's this?
Rush Rewards U
Members Receive:
Carrot Coin icon
XP icon
You have reached 400 XP and carrot coins. That is the daily max!

Description:

In 1931 Kurt Gdel published his fundamental paper, On Formally Undecidable Propositions of Principia Mathematica and Related Systems. This revolutionary paper challenged certain basic assumptions underlying much research in mathematics and logic. Gdel received public recognition of his work in 1951 when he was awarded the first Albert Einstein Award for achievement in the natural sciences perhaps the highest award of its kind in the United States. The award committee described his work in mathematical logic as one of the greatest contributions to the sciences in recent times. However, few mathematicians of the time were equipped to understand the young scholar's complex proof. Ernest…    
Customers also bought

Book details

List price: $50.00
Copyright year: 2001
Publisher: New York University Press
Publication date: 10/1/2001
Binding: Hardcover
Pages: 160
Size: 6.42" wide x 8.70" long x 0.69" tall
Weight: 0.594

Framji Minwalla is Assistant Professor of Drama at Dartmouth College. He is currently working on a book about the pedagogy of theater history.Born in Czechoslovakia, Ernest Nagel emigrated to the United States and became a naturalized American citizen. In 1923 he graduated from the City College of New York, where he had studied under Morris Cohen, with whom he later collaborated to coauthor the highly successful textbook, An Introduction to Logic and Scientific Method (1934). Pursuing graduate studies at Columbia University, he received his Ph.D. in 1930. After a year of teaching at the City College of New York, he joined the faculty of Columbia University, where in 1955 he was named John…    

James R. Newman was the author of What is Science.

Foreword to the New Edition
Acknowledgments
Introduction
The Problem of Consistency
Absolute Proofs of Consistency
The Systematic Codification of Formal Logic
An Example of a Successful Absolute Proof of Consistency
The Idea of Mapping and Its Use in Mathematics
Godel's Proofs
Godel numbering
The arithmetization of meta-mathematics
The heart of Godel's argument
Concluding Reflections
Notes
Brief Bibliography
Index