Explora los mismos fundamentos del intuicionismo matemático en una exposición concisa, al igual que 'Lógica y fundamentos de la matemática'.
Lógica y fundamentos de la matemática
por Arend Heyting · 1934
Ver sugerenciasSinopsis
Una obra esencial que presenta un desarrollo formal de la lógica intuicionista, una alternativa a la lógica clásica que rechaza el principio del tercero excluido.
Sé el primero en valorar este libro.
Más de Arend Heyting
Ver autor →Otras obras del mismo autor en el catálogo
Esbozo de lógica intuitionista
1930
Sobre la Fundamentación del Intuicionismo Matemático
1931
La Noción de Prueba en la Lógica Intuitiva
1934
La crisis de los fundamentos en la matemática moderna
1934
Elementos de Lógica Constructiva
1956
Introducción al intuicionismo
1956
Intuicionismo y Teoría de la Prueba
1956
Los Fundamentos Intuicionistas de la Matemática
1966
Libros similares
Libros relacionados según distintos criterios de búsqueda
Presenta una sistematización del intuicionismo que refuerza los conceptos lógicos tratados por Heyting, destacando la crítica al formalismo clásico.
Analiza la lógica intuicionista y su relación con la teoría de prueba, profundizando en los mismos principios constructivos que Heyting desarrolla.
Formaliza la lógica intuicionista con un enfoque en el rechazo del principio del tercero excluido, alineándose con las bases presentadas por Heyting.
Aborda debates filosóficos cruciales sobre los fundamentos de la lógica matemática, resonando con la crítica a la lógica clásica en la obra de Heyting.
Introduce la lógica constructiva a través de ejemplos que enfatizan la necesidad de construcciones explícitas, un pilar del enfoque de Heyting en la matemática.