Gödel's proof /

Show other versions (4)

"In 1931 Kurt Godel disrupted some of the fundamental assumptions underlying mathematics and logic with the publication of his revolutionary paper, "On Formally Undecidable Propositions of Principia Mathematica and Related Systems." Ironically, few mathematicians of the time were able...

Full description

Bibliographic Details
Call Number:Libro Electrónico
Main Author: Nagel, Ernest, 1901-1985
Other Authors: Newman, James R. (James Roy), 1907-1966, Hofstadter, Douglas R., 1945-
Format: Electronic eBook
Language:Inglés
Published: New York : New York University Press, ©2001.
Edition:Rev. ed.
Subjects:
Gödel's theorem.
Théorème de Gödel.
MATHEMATICS > Infinity.
MATHEMATICS > Logic.
POLITICAL SCIENCE > General.
Gödel's theorem
Online Access:Texto completo
Table of Contents:
  • 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
  • Gödel's proofs
  • A Gödel numbering
  • The arithmetization of meta-mathematics
  • The heart of Gödel's argument
  • Concluding reflections
  • Appendix: Notes
  • Brief bibliography
  • Index.

Similar Items