Constructivismo en Matemáticas, Vol 1: Volumen 121

Opiniones de los lectores

Actualmente no hay opiniones de lectores. La calificación se basa en 2 votos.

Título original:

Constructivism in Mathematics, Vol 1: Volume 121

Contenido del libro:

Estos dos volúmenes abarcan los principales enfoques del constructivismo en matemáticas.

Presentan una introducción completa y actualizada a la metamatemática de las matemáticas constructivas, prestando especial atención al intuicionismo, al constructivismo de Markov y a la teoría de tipos de Martin-Lof con su semántica operacional. Se ofrece una exposición detallada de las características básicas de la matemática constructiva, con ilustraciones del análisis, el álgebra y la topología, prestando la debida atención a los aspectos metamatemáticos.

El volumen 1 es una introducción autocontenida a la práctica y los fundamentos del constructivismo, y no requiere conocimientos especializados más allá de la lógica matemática básica. El volumen 2 contiene principalmente temas avanzados de naturaleza teórico-práctica y semántica.