Gödel's proof

Gödel's proof / Ernest Nagel and James R. Newman.

"Nagel and Newman accomplish the wondrous task of clarifying the argumentative outline of Kurt Godel's celebrated logic bomb."--The GuardianIn 1931 the mathematical logician Kurt Godel published a revolutionary paper that challenged certain basic assumptions underpinning mathematics a...

Full description

Saved in:
Bibliographic Details
Main Author: Nagel, Ernest, 1901-1985
Other Authors: Newman, James R. (James Roy), 1907-1966
Format: eBook
Language:English
Published: London : Routledge, 2005.
Series:Routledge classics.
Subjects:
Gödel's theorem.
MATHEMATICS > Infinity.
MATHEMATICS > Logic.
Gödel's theorem
Online Access:Click for online access
Table of Contents:
  • Gödel's Proof; 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 Gödel'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.

Similar Items