Page 165 - 18 Godel

/
Indice

Aristóteles 18-21, 37, 66 conceptografía 32
aritmética 22, 33, 35, 44-48, 51, 54, conceptos
58, 60, 62, 63, 65, 69, 73, 76-78, semánticos 96-100, 104, 156,
81,83,84, 107,108,110,112, 157, 159-162
115-117, 155-157, 160 sintácticos 96-99, 101, 103, 104,
Arquímedes 24 106,109,115, 151-153, 162
autorreferencia 36 conjunto 29, 30, 33, 34, 36, 46, 51,
método de 77-84, 110 58, 60, 65, 66, 73, 84, 85, 89-91,
semántica 100 99,101, 103-106, 108,109,112,
sintáctica 100 113, 115-118, 128, 130-132, 134,
Aydelotte, Franklin Ridgeway 145, 136-138, 141, 154-156, 159
146 cardinal de un 128-134, 136,
138,141
Borel, Émile 10, 11 finito 128, 130
Brouwer, Luitzen Egbertus Jan 37, infinito 28, 29, 128, 130-132, 154
38,40,47,48, 56 teoría de 29, 30, 31, 33, 40, 41,
43,44,81, 127,138,141,151,
Cantor, Georg 23-25, 28-32, 35, 37, 152,154
38,40,41,43, 128, 130-132, 136, cor\junto de axiomas 46, 58, 60,
137,141,151,152 65, 66, 73,89, 90,101, 103-106,
argumento diagonal de 132-136 108,109,112,113, 115-118, 155,
Church,Alonzo 91,92 156,159
código 70-74, 76-82, 109, 110, 111, completo 106, 108, 115
113, 114, 116, 117 consistente 101, 103, 106, 108,
Cohen, Paul Joseph 43, 137, 138, 109, 112-118, 124, 151, 156,
141,152 159,161

165