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.
PM
PM
Per Martin-Löf
sueco
Per Martin-Löf es un matemático sueco conocido por su trabajo en teoría de tipos y lógica matemática, así como por desarrollar el sistema de tipos de Martin-Löf, que es fundamental en la construcción de pruebas y programas computacionales. Su enfoque ha influido en el campo de la informática teórica y la filosofía de la matemática.
Obras en el archivo
2 títulos
Una serie de conferencias que presentan la Teoría de Tipos Intensional, una alternativa a la teoría de conjuntos como fundamento de las matemáticas, enfatizando la construcción y los juicios en lugar de las propiedades y las proposiciones.
Autores relacionados
Aparecen junto a Per Martin-Löf en búsquedas del archivo