Essays on the Foundations of Mathematics and Logic

Aunque no es un tratado formal de los fundamentos de las matemáticas, este libro explora las implicaciones filosóficas de la incompletitud y la recursión, temas tangenciales a las preocupaciones de Brouwer sobre la constructividad. La conexión es 'nonobvious' porque aborda estos conceptos a través de un lente multidisciplinario que incluye el arte y la música, expandiendo el alcance de la 'fundamentación' más allá de la lógica pura.

Este libro aborda los límites de la computabilidad y la formulación algorítmica de los objetos matemáticos, lo cual resuena con la preocupación intuicionista de Brouwer por la construcción efectiva. La conexión es no obvia porque la obra de Davis se enmarca en la tradición de Hilbert y Turing, aparentemente opuesta al intuicionismo, pero ambos se enfrentan a la pregunta fundamental de qué significa 'existir' o 'ser probado' en matemáticas.

Aunque Wittgenstein proviene de una tradición filosófica diferente, el 'Tractatus' comparte con Brouwer una preocupación radical por los fundamentos del significado y la limitación del lenguaje. Ambos autores, a su manera, cuestionan la capacidad de ciertas construcciones para referirse a la realidad, sea matemática o lingüística, lo que lleva a un escepticismo sobre las verdades autoevidentes.

Husserl, al igual que Brouwer, identifica una 'crisis de fundamentos' en la ciencia de su tiempo y busca una base más segura en la intuición y la experiencia directa. Mientras Brouwer lo hace en las matemáticas con el intuicionismo, Husserl lo hace en la filosofía con la fenomenología, buscando ambos la 'construcción' de la verdad desde la experiencia interna y no desde abstracciones heredadas.

Kotarbiński, un filósofo polaco menos conocido en el mundo anglosajón, aborda las mismas preguntas fundamentales sobre la naturaleza de las matemáticas y sus objetos que Brouwer. Su enfoque, aunque influenciado por el logicismo, ofrece una perspectiva crítica y rigurosa sobre los fundamentos sin caer en las narrativas dominantes angloamericanas.

Heyting fue un colaborador y heredero intelectual directo de Brouwer, y su obra es crucial para entender la articulación formal del intuicionismo. Aunque su nombre es conocido en círculos especializados, fuera de ellos es un autor 'oscuro' en comparación con los grandes nombres de la lógica o de la filosofía de la matemática anglosajona, ofreciendo una visión profunda y autorizada del proyecto de Brouwer.

Similar a los 'Essays' de Brouwer, este libro ofrece una estructura argumentativa sólida y sistemática. Carnap, aunque crítico con algunos aspectos del intuicionismo de Brouwer, organiza su exposición de las distintas escuelas de pensamiento de manera que permite al lector comparar y contrastar las filosofías subyacentes, una estructura de análisis comparativo que facilita la comprensión de los fundamentos.

Aunque Bachelard se enfoca en la epistemología general de las ciencias, su estilo de ensayo es marcadamente analítico y argumentativo, similar al de Brouwer. Ambos autores desglosan problemas complejos en sus componentes fundamentales y presentan su crítica a los paradigmas existentes de manera estructurada, a menudo contrastando modos de pensamiento 'precientíficos' con aproximaciones más rigurosas. La estructura de 'ensayo' como exposición de un problema y desarrollo de una solución es compartida.