Loading…

El teorema de Gödel /

El teorema de Gödel es una de las más sensacionales conquistas científicas del siglo XX. Su autor —que sólo contaba veinticinco años cuando lo publicó, en 1931— revolucionó con él los cimientos de la lógica y de la matemática como Heisenberg los de la física con sus ecuaciones de incertidumbre. Much...

Full description

Bibliographic Details
Call Number:QA29 G5.8 N3.5318b
Main Author: Nagel, Ernest, 1901-1985
Other Authors: Newman, James Roy, 1907-1966 (coaut), Martín, Adolfo (tr)
Format: Book
Language:Español
Inglés
Published: Madrid : Tecnos, 2007.
Series:Filosofía y ensayo
Subjects:
Table of Contents:
  • I. Introducción
  • II. El problema de la consistencia
  • III. Pruebas absolutas de consistencia
  • IV. La codificación sistemática de la lógica formal
  • V. Un ejemplo de una prueba absoluta de consistencia
  • VI. La idea de representación y su empleo en las matemáticas
  • VII. Las pruebas de Gödel A)La numeración de Gödel, B)La aritmetización de la matemática, C)El núcleo de la argumentación de Gödel
  • VIII. Reflexiones finales.