28 meneos
157 clics
Qué dice exactamente el primer teorema de incompletitud de Gödel
Los dos teoremas de incompletitud de Gödel, publicados en 1931, forman parte de una larga polémica relativa a los fundamentos de las matemáticas. Esta polémica había comenzado a finales del siglo XIX a causa de los trabajos de Georg Cantor sobre los conjuntos infinitos, y se había exacerbado a principios del siglo XX con el descubrimiento de la Paradoja de Russell.
|
comentarios cerrados
La conclusión es que a todo sistema de axiomas se le escapa algo y por tanto no hay mejor. Pero damos como valido el trabajo de Cantor porque nos es mas útil que tomar a los intuicionistas.
Por lo menos es lo que he entendido yo.