Gödel's proof /

Mostrar otras versiones (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...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Nagel, Ernest, 1901-1985
Otros Autores: Newman, James R. (James Roy), 1907-1966, Hofstadter, Douglas R., 1945-
Formato: Electrónico eBook
Idioma:Inglés
Publicado: New York : New York University Press, ©2001.
Edición:Rev. ed.
Temas:
Gödel's theorem.
Théorème de Gödel.
MATHEMATICS > Infinity.
MATHEMATICS > Logic.
POLITICAL SCIENCE > General.
Gödel's theorem
Acceso en línea:Texto completo
Tabla de Contenidos:
  • 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.

Ejemplares similares