Gödel's Proof

Ernest Nagel, James R. Newman

94 pages, parution le 29/09/2005

Ajouter à une liste

Indisponible

Résumé

In 1931 the mathematical logician Kurt Gödel 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 Gödel's Proof rests upon its radical implications and has echoed throughout many fields, from math to science to philosophy, computer design, artificial intelligence, even religion and psychology. A gripping combination of science and accessibility, Gödel'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.

L'auteur - Ernest Nagel

Autres livres de Ernest Nagel

Le théoreme de Gödel

Le Théorème de Gödel

Découvrir tous les livres de Ernest Nagel

L'auteur - James R. Newman

Autres livres de James R. Newman

Le théoreme de Gödel

Découvrir tous les livres de James R. Newman

Sommaire

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
- A: Godel numbering
- B: The arithmetization ofmeta-mathematics
- C: The heart of Gödel's argument
Concluding Reflections
Notes
Brief Bibliography
Index

Voir tout

Replier

Caractéristiques techniques

	PAPIER
Éditeur(s)	Routledge
Auteur(s)	Ernest Nagel, James R. Newman
Parution	29/09/2005
Nb. de pages	94
Format	13 x 19,5
Couverture	Broché
Poids	125g
Intérieur	Noir et Blanc
EAN13	9780415355285
ISBN13	978-0-415-35528-5