INDICE El EGO Cogito del siglo XX, por Manuel Garrido 5

INDICE
El EGO Cogito del siglo XX, por Manuel Garrido
Agradecimientos
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 repr4esentación y su empleo en las matemáticas
VII. Las pruebas de Godel
A) La numeración de Godel
B) La aritmetización de la metamatemática
C) El núcleo de la argumentación de Godel
VIII. Reflexiones finales
Apéndice. Notas
Bibliografía
Índice de Autores y Materias
5
13
17
23
43
55
63
75
87
87
95
102
117
123
135
137