Al igual que Kushner, Markov fundamenta la lógica constructiva, enfatizando la necesidad de métodos constructivos en demostraciones matemáticas.
Lectures on Constructive Mathematical Analysis
por B. A. Kushner · 1984
Ver sugerenciasSinopsis
Este libro presenta una introducción a los fundamentos del análisis matemático constructivo, basándose en un curso impartido en la Universidad de Moscú, cubriendo temas como números reales constructivos, funciones y espacios métricos.
Sé el primero en valorar este libro.
Libros similares
Libros relacionados según distintos criterios de búsqueda
Kreisel, como Kushner, presenta un enfoque que limita la existencia de objetos matemáticos a aquellos que son efectivamente construidos, explorando principios fundamentales.
Bridges y Vîţă, similar a Kushner, desarrollan un análisis constructivo moderno, enfocándose en técnicas algorítmicas que enriquecen la comprensión del análisis matemático.
Beeson profundiza en los fundamentos metamatemáticos de las matemáticas constructivas, conectando lógica y filosofía, aspecto presente en la obra de Kushner.
Markov discute el análisis matemático desde una perspectiva constructivista, alineándose con la idea de demostrar la existencia construyendo, tal como lo hace Kushner.
Bishop ofrece una visión rigurosa del análisis matemático constructivo, similar a la obra de Kushner, al exigir construcciones explícitas para validar la existencia de objetos.