La incompletitud de los fundamentos de las matemáticas
Summary
El objetivo de este trabajo es analizar el impacto de los teoremas de incompletitud en el debate sobre los fundamentos de las matemáticas, específicamente en el logicismo y el formalismo, y sus implicaciones en la relación entre verdad y demostrabilidad que se maneja en cada una de las dos propuestas
Abstract
The aim of this paper is to analyze the impact of Gödel's incompleteness theorems in the debate about the foundations of mathematics, specifically on logicism and formalism, and the effects on the relationship between truth and demonstrability.