Ambos textos abordan la lógica constructiva, presentando ideas que desafían la lógica clásica y enfatizan la importancia de las construcciones explícitas en matemáticas.
Constructivity in Mathematics: Proceedings of the Colloquium
por A. Heyting · 1959
Ver sugerenciasSinopsis
Una compilación de artículos de un coloquio sobre constructividad en matemáticas, que abarca diversos aspectos de la lógica, el análisis y la teoría de conjuntos desde una perspectiva constructiva.
Sé el primero en valorar este libro.
Libros similares
Libros relacionados según distintos criterios de búsqueda
Al igual que el libro de referencia, este trabajo expone principios de matemáticas constructivas mediante conferencias, destacando la efectividad en la construcción de objetos matemáticos.
Este ensayo también discute sistemas formales de matemáticas constructivas, reforzando la relevancia de las pruebas completas y su interconexión con la lógica y filosofía matemática.
Brouwer, como fundador del intuicionismo, comparte con el libro de referencia una fuerte crítica a métodos no constructivos, fundamentando las verdades matemáticas en la experiencia mental.
Troelstra sistematiza la lógica constructiva de una manera detallada, lo que resuena con el enfoque de Heyting sobre la importancia de la constructividad en matemáticas.
Este texto proporciona un marco introductorio similar a la obra de Heyting, enfatizando las bases de la lógica constructiva y su impacto en la matemática moderna.