Este libro expande la teoría de tipos intuicionista, similar al enfoque constructivista de Martin-Löf en la fundamentación de las matemáticas.
Fundamentos de la teoría de conjuntos constructiva
por Per Martin-Löf · 1982
Ver sugerenciasSinopsis
Un trabajo seminal en lógica matemática que presenta un sistema de teoría de tipos intuicionista para la fundamentación de las matemáticas, enfatizando la construcción y la verificación de las pruebas.
Sé el primero en valorar este libro.
Más de Per Martin-Löf
Ver autor →Otras obras del mismo autor en el catálogo
Libros similares
Libros relacionados según distintos criterios de búsqueda
Coquand desarrolla un sistema formal inspirado en la teoría de tipos para la programación y demostración de teoremas, alineándose con la lógica matemática de Martin-Löf.
Lawvere introduce la teoría de categorías como una alternativa a la teoría de conjuntos, ofreciendo una nueva estructura para fundamentar las matemáticas.
Prawitz formaliza la noción de prueba natural, abordando aspectos constructivos y estructurales que resuenan con el enfoque intuicionista de Martin-Löf.
Von Plato ofrece una guía de la teoría de tipos de Martin-Löf, enfatizando su importancia en los fundamentos matemáticos y la verificación de pruebas.
Prawitz estudia la lógica intuicionista y la teoría de la demostración, explorando fundamentos que se alinean con la construcción matemática defendida por Martin-Löf.