Ambos textos introducen la lógica constructiva, enfatizando la necesidad de construir objetos matemáticos explícitamente mientras critican el principio del tercero excluido.
Introduction to Constructive Logic and Mathematics
por Thomas Streicher · 2000
Ver sugerenciasSinopsis
Un texto que introduce la lógica y las matemáticas constructivas, incluyendo el cálculo de deducción natural, la aritmética constructiva y el análisis.
Sé el primero en valorar este libro.
Libros similares
Libros relacionados según distintos criterios de búsqueda
Presentan técnicas de análisis constructivo contemporáneo, subrayando el desarrollo algorítmico de matemáticas que se basa en la lógica intuicionista y su rigor formal.
Exploran los principios de las matemáticas constructivas, resaltando la construcción efectiva de objetos matemáticos, un tema central en la obra de Streicher.
Argumenta sobre la lógica específica necesaria para la matemática constructiva, ofreciendo un marco teórico que complementa la introducción a la lógica de Streicher.
Sistematiza y formaliza la lógica constructiva, conectando fundamentos lógicos con la teoría de pruebas, un enfoque que también se encuentra en el texto de referencia.
Cubre la lógica matemática desde una perspectiva constructivista, hincapié en la prueba y computabilidad, enfatizando el enfoque riguroso de la matemática constructiva.