Principles of Constructive Mathematics (Lectures)

Aunque ambos tratan sobre el análisis constructivo, el libro de Kushner se enfoca en el desarrollo técnico de las matemáticas constructivas a partir de principios básicos, ofreciendo una perspectiva más didáctica y sistemática de la construcción de conceptos matemáticos, sin la carga filosófica o metamatemática más profunda que a veces acompaña la obra de Kreisel o Bishop. Es una aplicación detallada de la filosofía subyacente.

Comparte con la obra de Kreisel una exploración profunda de los principios subyacentes a las matemáticas constructivas. Mientras Kreisel es conocido por sus trabajos teóricos y filosóficos, Beeson se sumerge en los "estudios metamatemáticos" que sirven de base, abordando las mismas preguntas fundamentales sobre la naturaleza de la existencia y la prueba en matemáticas, pero desde una perspectiva más formalizada y técnica, complementando el enfoque de 'Principios'.

Aunque el libro de referencia son 'Principios', este libro de Bridges y Vîţă se adentra en la 'técnica' del análisis constructivo, mostrando cómo aplicar las ideas subyacentes a la filosofía constructiva para desarrollar resultados matemáticos de manera explícita. Aborda las mismas preocupaciones filosóficas sobre la constructividad a través de la práctica matemática y la lógica intuicionista, en línea con el espíritu de Kreisel de repensar los fundamentos.

El trabajo de Kreisel bebe directamente de las ideas de Brouwer y el intuicionismo, que representan la base filosófica más profunda para las matemáticas constructivas. Leer a Brouwer mismo, a menudo omitido en las listas en inglés, permite comprender la génesis y la motivación radical detrás de la restricción constructiva en las matemáticas, proporcionando una base histórica y filosófica "oscura" para las discusiones de Kreisel.

Aunque no sea una obra tan fundamental como otras, este texto de Thomas Streicher ofrece una perspectiva desde la academia alemana sobre la lógica y las matemáticas constructivas, abordando aspectos que complementan el trabajo de Kreisel. Streicher profundiza en los sistemas de deducción y la semántica de prueba, proporcionando una ventana a la tradición continental en este campo que, a menudo, es menos visible que la anglosajona en las recomendaciones generales.

El libro de referencia de Kreisel se presenta como 'Lectures' (conferencias), lo que sugiere una estructura de exposición de ideas diversas y probablemente de múltiples contribuciones. Este libro editado por Heyting ofrece precisamente eso: una colección de trabajos de diversos autores presentando distintas facetas y avances en la matemática constructiva. La estructura de un coloquio o colección de ponencias es similar a cómo se podrían haber concebido las 'Lectures' de Kreisel, explorando un tema a través de distintas perspectivas y contribuciones.