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...
Clasificación: | QA29 G5.8 N3.5318b |
---|---|
Autor principal: | |
Otros Autores: | , |
Formato: | Libro |
Idioma: | Español Inglés |
Publicado: |
Madrid :
Tecnos,
2007.
|
Colección: | Filosofía y ensayo
|
Temas: |
Tabla de Contenidos:
- 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.