Ambos textos de Gentzen exploran la teoría de la prueba, especialmente el cálculo de secuencias y la deducción natural como estructuras para el razonamiento lógico.
Sobre el concepto de consecuencia lógica
por Gerhard Gentzen · 1934
Ver sugerenciasSinopsis
Un trabajo seminal que introdujo el cálculo de secuencias (sequent calculus) y la deducción natural, revolucionando la forma en que se abordaba la demostración en lógica, especialmente a través de su teorema de eliminación del corte (Hauptsatz).
Sé el primero en valorar este libro.
Más de Gerhard Gentzen
Ver autor →Otras obras del mismo autor en el catálogo
Libros similares
Libros relacionados según distintos criterios de búsqueda
Gödel, al abordar la completitud del cálculo de predicados, complementa la obra de Gentzen en la lógica matemática, destacando la formalización en la deducción.
Este estudio histórico se enlaza con Gentzen al analizar cómo las nociones fundamentales de lógica evolucionaron, contextualizando sus aportaciones en la deducción natural.
El trabajo de Heijenoort ofrece una crítica similar sobre la evolución en lógica, resonando con el impacto de Gentzen en el formalismo lógico contemporáneo.
Prawitz, al definir la deducción natural, hereda y expande los conceptos introducidos por Gentzen, proporcionando un marco filosófico y práctico relevante para la lógica.
Jaśkowski propuso un enfoque en deducción natural que se aproxima al razonamiento intuitivo, evocando el espíritu de búsqueda de Gentzen por un cálculo lógico más accesible.