por Kurt Gödel · 1931
Ver sugerenciasSinopsis
Este ensayo seminal presenta los famosos teoremas de incompletitud de Gödel, demostrando que en cualquier sistema formal axio-matizable suficientemente potente para la aritmética, existen proposiciones verdaderas que no pueden ser demostradas ni refutadas dentro del propio 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 ensayos abordan los teoremas de incompletitud de Gödel, destacando que existen proposiciones verdaderas no demostrables dentro de sistemas formales axiomáticos.
Este trabajo recopila los teoremas de incompletitud de Gödel, enfatizando las limitaciones de los sistemas formales en matemáticas, al igual que el ensayo de referencia.
El análisis en este artículo se centra en la presentación de los teoremas de incompletitud, similar al enfoque del ensayo de referencia sobre sistemas axiomáticos.
En esta recopilación, Gödel profundiza en sus teoremas de incompletitud y las implicaciones filosóficas en matemáticas, que resuenan con el tema principal del ensayo de referencia.
Kurt Gödel
1931·filosofia
Este artículo famoso expone cómo los sistemas axiomáticos para la aritmética pueden contener proposiciones verdaderas que no son demostrables, alineándose muy bien con el ensayo de Gödel.
Kurt Gödel
1931·filosofia
El texto investiga los teoremas de incompletitud y sus consecuencias en sistemas formales, reflejando la misma temática fundamental y estructura lógica del ensayo de referencia.
