Principios lógicos de dialéctica
Por Camilo Arcaya • 25 oct, 2021 • Category: FilosofíaLa interpretación de Dialectica de Gödel fue diseñada para obtener una prueba de consistencia relativa para la aritmética de Heyting, para ser utilizada junto con la interpretación de doble negación para obtener la consistencia de la aritmética de Peano. En los últimos años, las transformaciones de la teoría de la prueba (las llamadas interpretaciones de la prueba) que se basan en la interpretación de Dialectica de Gödel se han utilizado sistemáticamente para extraer nuevo contenido de las pruebas, por lo que la interpretación ha encontrado aplicaciones relevantes en varias áreas de las matemáticas y la informática.