El ensayo de Gödel expone los teoremas de incompletitud, analizando las limitaciones de los sistemas formales de manera técnica y profunda, como en el trabajo de Kleene.
Formalismo y el Teorema de Incompletitud de Gödel
por Stephen C. Kleene · 1952
Ver sugerenciasSinopsis
Parte de una serie de ensayos clásicos sobre lógica matemática, este trabajo aborda la Escuela Formalista de Hilbert y cómo el teorema de incompletitud de Gödel impactó directamente en sus aspiraciones de establecer un sistema axiomático completo y consistente para toda la matemática. Explica las implicaciones profundas de estos conceptos.
Sé el primero en valorar este libro.
Más de Stephen C. Kleene
Ver autor →Otras obras del mismo autor en el catálogo
Libros similares
Libros relacionados según distintos criterios de búsqueda
Esta recopilación de ensayos discute las implicaciones filosóficas de los teoremas de Gödel, complementando el análisis formalista que presenta Kleene sobre la lógica matemática.
On Formally Undecidable Propositions of Principia Mathematica and Related Systems
Kurt Gödel
1931·ensayo
El trabajo de Gödel detalla los mismos teoremas de incompletitud que Kleene, ofreciendo un tratamiento formal que conecta ambas obras en la lógica matemática.
Gödel presenta los trabajos que fundamentan sus teoremas de incompletitud, la misma temática que aborda Kleene con un enfoque en el formalismo y sus implicaciones.
Sobre las Proposiciones Formalmente Indecidibles de Principia Mathematica y Sistemas Afines I
Kurt Gödel
1931·filosofia
En este artículo, Gödel evidencia cómo los sistemas formales son inherentemente limitados, resonando con las ideas de Kleene sobre la incompletitud en las matemáticas.
Sobre proposiciones formalmente indecidibles de Principia Mathematica y sistemas relacionados
Kurt Gödel
1931·filosofia
El texto de Gödel explora las proposiciones indecidibles en sistemas formales, un tema central en el análisis de Kleene sobre el formalismo y la lógica.