Amazon cover image
Image from Amazon.com

Godel's proof

By: Contributor(s): Material type: TextTextSeries: Routledge classicsPublication details: Routledge 1958 OxonDescription: 94 p. Includes notes, bibliography and indexISBN:
  • 9780415355285
Subject(s): DDC classification:
  • 511.3 N2G6
Summary: In 1931 the mathematical logician Kurt Godel published a revolutionary paper that challenged certain basic assumptions underpinning mathematics and logic. A colleague of physicist Albert Einstein, his theorem proved that mathematics was partly based on propositions not provable within the mathematical system. The importance of Godel's Proof rests upon its radical implications and has echoed throughout many fields, from maths to science to philosophy, computer design, artificial intelligence, even religion and psychology. While others such as Douglas Hofstadter and Roger Penrose have published bestsellers based on Godel’s theorem, this is the first book to present a readable explanation to both scholars and non-specialists alike. A gripping combination of science and accessibility, Godel’s Proof by Nagel and Newman is for both mathematicians and the idly curious, offering those with a taste for logic and philosophy the chance to satisfy their intellectual curiosity. https://www.routledge.com/Godels-Proof-3rd-Edition/Nagel-Newman/p/book/9780415355285
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Item location Collection Shelving location Call number Status Date due Barcode
Books Vikram Sarabhai Library Rack 28-A / Slot 1354 (0 Floor, East Wing) Non-fiction General Stacks 511.3 N2G6 (Browse shelf(Opens below)) Available 201549

Table of Contents

Copyright
Contents
Acknowledgments
1 Introduction
2 The Problem of Consistency
3 Absolute Proofs of Consistency
4 The Systematic Codification of Formal Logic
5 An Example of a Successful Absolute Proof of Consistency
6 The Idea of Mapping and its Use in Mathematics
7 Godel's Proofs
A Gödel numbering
B The arithmetization of meta-mathematics
C The heart of Gödel's argument
8 Concluding Reflections
Notes
Brief Bibliography
Index.

In 1931 the mathematical logician Kurt Godel published a revolutionary paper that challenged certain basic assumptions underpinning mathematics and logic. A colleague of physicist Albert Einstein, his theorem proved that mathematics was partly based on propositions not provable within the mathematical system. The importance of Godel's Proof rests upon its radical implications and has echoed throughout many fields, from maths to science to philosophy, computer design, artificial intelligence, even religion and psychology. While others such as Douglas Hofstadter and Roger Penrose have published bestsellers based on Godel’s theorem, this is the first book to present a readable explanation to both scholars and non-specialists alike. A gripping combination of science and accessibility, Godel’s Proof by Nagel and Newman is for both mathematicians and the idly curious, offering those with a taste for logic and philosophy the chance to satisfy their intellectual curiosity.


https://www.routledge.com/Godels-Proof-3rd-Edition/Nagel-Newman/p/book/9780415355285

There are no comments on this title.

to post a comment.