por Kurt Gödel · 1931
Ver sugerenciasSinopsis
El célebre artículo de Gödel donde presenta sus teoremas de incompletitud, demostrando que en cualquier sistema formal lo suficientemente potente para la aritmética, existen proposiciones verdaderas que son indemostrables dentro del sistema.
Sé el primero en valorar este libro.
Otras obras del mismo autor en el catálogo
1929
1930
1930
1931
1931
1931
1931
1931
1931
1931
1931
1931
1931
1931
1932
Libros relacionados según distintos criterios de búsqueda
Kurt Gödel
1931·ensayo
Ambos artículos abordan los teoremas de incompletitud, resaltando la imposibilidad de que sistemas formales consistentemente prueben su propia consistencia.
Kurt Gödel
1931·ensayo
Este ensayo también presenta los teoremas de Gödel, explicando cómo las proposiciones verdaderas quedan fuera del alcance de los sistemas axiomáticos formales.
La colección de trabajos de Gödel explora las limitaciones de los sistemas axiomáticos formales desde una perspectiva que refuerza su concepto de incompletitud.
Al igual que el texto de referencia, este ensayo detalla cómo las proposiciones verdaderas no se pueden demostrar dentro de potentes sistemas formales.
Kurt Gödel
1931·filosofia
Este artículo, como el libro de referencia, ilustra que existen verdades aritméticas que no pueden ser probadas en sistemas axiomáticos consistentes.
Kurt Gödel
1931·filosofia
La estructura y el enfoque filosófico del artículo complementan la exploración de la incompletitud en sistemas formales, coincidiendo con las ideas de Gödel.
