Este ensayo presenta la formulación original de los teoremas de incompletitud, expandiendo las ideas centrales de Gödel en lógica y matemáticas.
Lógica y fundamentos: Trabajos seleccionados de Kurt Gödel
por Kurt Gödel · 1986
Ver sugerenciasSinopsis
Esta colección reúne los trabajos seminales de Gödel, incluyendo sus teoremas de incompletitud, que tuvieron un impacto revolucionario en el conocimiento de los límites de los sistemas formales, incluida la teoría de conjuntos.
Sé el primero en valorar este libro.
Más de Kurt Gödel
Ver autor →Otras obras del mismo autor en el catálogo
Sobre la Completitud de los Axiomas del Cálculo Proposicional de Principia Mathematica
1929
Sobre la completitud del cálculo de funciones lógicas
1930
Die Vollständigkeit der Axiome des logischen Funktionenkalküls
1930
Sobre la Incompletitud Sentencial de los Sistemas Formales
1931
On Formally Undecidable Propositions of Principia Mathematica and Related Systems I
1931
Sobre proposiciones formalmente indecidibles de 'Principia Mathematica' y sistemas afines I
1931
Sobre proposiciones formalmente indecidibles de Principia Mathematica y sistemas relacionados
1931
Sobre los números y las figuras
1931
Sobre lo indisoluble
1931
Los fundamentos de la matemática
1931
Über formal unentscheidbare Sätze der Principia Math. und verwandter Systeme I
1931
Sobre lo Indecidible
1931
Sobre las Proposiciones Formalmente Indecidibles de Principia Mathematica y Sistemas Afines I
1931
Sobre los números y las cifras
1931
On Formally Undecidable Propositions of Principia Mathematica and Related Systems
1931
Libros similares
Libros relacionados según distintos criterios de búsqueda
Gödel aborda la consistencia del axioma de elección y la hipótesis del continuo, elementos clave del marco lógico que también explora en su obra.
Contextualiza y traduce los trabajos de Gödel sobre su teorema de incompletitud, reforzando su importancia en la lógica y la filosofía matemática.
Examina de manera clara los teoremas de incompletitud de Gödel y sus repercusiones filosóficas, similar al análisis profundo presente en su obra seleccionada.
Profundiza en la lógica subyacente de las matemáticas y los axiomas necesarios, tocando temas que son esenciales al estudio de Gödel.
Recoge ensayos que analizan sus teoremas y reflexionan sobre su impacto filosófico, alineándose con la estructura conceptual de los trabajos de Gödel.