Este tratado amplía la discusión sobre la matemática constructiva, ofreciendo bases detalladas que resuenan con la lógica que Markov defiende en su ensayo.
Sobre la lógica de la matemática constructiva
por A. A. Markov · 1972
Ver sugerenciasSinopsis
Una breve monografía donde el autor explica el concepto de 'matemática constructiva' y argumenta sobre la necesidad de una lógica propia, distinta de la clásica, para esta rama de las matemáticas.
Sé el primero en valorar este libro.
Libros similares
Libros relacionados según distintos criterios de búsqueda
Heyting presenta una crítica profunda a la lógica clásica, proponiendo una alternativa constructivista que complementa el enfoque de Markov sobre la necesidad de una lógica propia.
El manual de Markov sobre lógica matemática establece un marco formal que sitúa la discusión de la lógica constructiva en un contexto teórico que también aborda en su obra original.
Kreisel explora los fundamentos de las matemáticas constructivas, alineándose con la postura de Markov sobre la importancia de construir matemáticas a partir de demostraciones efectivas.
Markov analiza el análisis matemático dentro de un marco constructivista, similar al enfoque que él argumenta en su estudio sobre la lógica particular de esta rama.
Troelstra profundiza en la lógica desde un punto de vista constructivista, tratando temas de prueba y computabilidad que son centrales en la propuesta de Markov.