Page 166 - 18 Godel

incompleto 106, 109 hipótesis
inconsistente 103-106, 116, 156, de Riemann 8
161 del continuo 43, 128, 136-138,
omega-consistente 113 141,151,152

demostración infinito
semántica 157, 159, 160 en acto 19-24, 28, 29, 31, 35, 37,
sintáctica 97, 99, 101, 103, 104, 38,43,44
107, 109-111, 113,115,139 en potencia 19, 20, 22, 25, 28
intuicionismo 36-43, 47, 48, 150,
Einstein, Albert 13, 18, 55, 90, 91, 94, 161
119, 122-126, 141,146,147,161
Elementos de geometría (Euclides) Jeans, James Hopwood 126, 127,
22,158 140

Fermat, teorema de 59, 75, 84 Kronecker, Leopold 25, 30, 31, 38
formalismo 48,150,151,161
Fourier, series de 25-27, 137 logicismo 36-43, 48, 161
Frege, Gottlob 19, 31, 32, 33, 35, 36,
44,104,105,161 modelo 139-141, 153, 154, 157
función diagonal 78, 79, 110 Morgenstern, Oskar 91, 122, 147,
Furtwangler, Philipp 13, 54, 55, 67 148

Galilei, Galileo 21-23, 28, 37 Neumann, John von 48, 49, 91, 94,
Gauss, Johann Car! Friedrich 23 146,148
Gibbs, conferencia 13, 149-155 número
Goethe, Johann Wolfgang von 54 cuadrado 22, 23,28, 130
teoría del color de 53, 54 de Godel 70-74, 76-79, 109, 116,
Goldbach, Christian 108 117
coajetura de 8, 9, 10, 108 entero 26,131,132,134,139,
Goodstein, teorema de 80, 81 140
irracional 39, 40, 44
Heine, Eduard 25, 28 normal 10, 11
Herón de Alejandría 45 primo 8, 9, 22, 26-28, 38, 39, 58,
Heyting, Arend 48, 96 74, 76-78, 83, 99, 100, 102,
Hilbert, David 103,107,108,116,117
problemas de 7, 8, 42, 45, 46, real 132,134,136
56, 65,128,137
programa de 43-49, 51, 56-58, paradoja del mentiroso 36, 83, 100
61,64,65,68, 74,84,87, Peano, Giuseppe 46
95-99, 106-108, 115, 150, 155, axiomas de 46, 60, 84, 155-157,
156,159,161,162 159-161

166 ÍNDICE