Weyl examina las contradicciones en la teoría de conjuntos y la certeza matemática, al igual que Heyting en su análisis de fundamentos lógicos.
La crisis de los fundamentos en la matemática moderna
por Arend Heyting · 1934
Ver sugerenciasSinopsis
Un texto clásico de la filosofía de las matemáticas, escrito por uno de los principales defensores del intuicionismo. Explora las tensiones y debates filosóficos en la matemática de principios del siglo XX, especialmente en relación con los fundamentos de la lógica y la teoría de conjuntos, cuestionando la validez del 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
Lógica y fundamentos de la matemática
1934
La Noción de Prueba en la Lógica Intuitiva
1934
Elementos de Lógica Constructiva
1956
Intuicionismo y Teoría de la Prueba
1956
Introducción al intuicionismo
1956
Los Fundamentos Intuicionistas de la Matemática
1966
Libros similares
Libros relacionados según distintos criterios de búsqueda
Brouwer, al igual que Heyting, defiende el intuicionismo, cuestionando la existencia independiente de las entidades matemáticas y su relación con la lógica.
En este libro, Brouwer desafía las definiciones clásicas de la lógica, similar a cómo Heyting cuestiona el principio del tercero excluido.
Brouwer propone que la matemática surge de la experiencia intuitiva, un concepto que resuena con las ideas expuestas por Heyting sobre la intuición.
Heyting desarrolla formalmente la lógica intuicionista, explorando el rechazo del principio del tercero excluido, una temática que también aborda en su obra.
Heyting presenta una exposición clara del intuicionismo, prolongando y sistematizando las ideas de Brouwer sobre la lógica y los fundamentos matemáticos.