Investigaciones sobre los fundamentos de las matemáticas

Mientras Brouwer desafió los fundamentos de las matemáticas desde una perspectiva intuicionista, Kuhn desafía la idea de un progreso científico continuo y objetivo, mostrando cómo la 'verdad' en la ciencia es siempre relativa a un paradigma. Ambos autores, desde sus campos, cuestionan la naturaleza subyacente de cómo construimos y validamos el conocimiento.

Si bien Brouwer se centra en los límites de la construcción matemática, Waldenfels examina los límites de la experiencia y la razón, lo que se resiste a ser plenamente absorbido por nuestras estructuras conceptuales, incluyendo las matemáticas. Ambos abordan la idea de que hay algo 'previo' o 'más allá' de nuestra capacidad de formalización completa.

Este libro se conecta profundamente al examinar la génesis de las ideas matemáticas y científicas, y cómo el error, o la percepción de inconsistencias, ha impulsado el desarrollo del conocimiento. Al igual que Brouwer reaccionó a las paradojas fundacionales de su época, Cassirer muestra cómo las crisis conceptuales han sido motor de progreso filosófico y matemático.

Aunque Tarski representa una corriente diferente (y a menudo opuesta) en los fundamentos de las matemáticas, su obra comparte con Brouwer una preocupación fundamental por la validez, la coherencia y la construcción significativa dentro de los sistemas formales. Ambos buscaban establecer bases sólidas para el razonamiento, aunque con metodologías radicalmente distintas.

Este trabajo, aunque más afiliado al positivismo lógico, comparte con Brouwer una preocupación por los fundamentos primarios y la construcción del conocimiento desde lo más básico. Carnap busca una construcción rigurosa análoga a la construcción matemática de Brouwer, partiendo de elementos 'dados' y apelando a la intuición de la experiencia directa como punto de partida.

Wittgenstein, como Brouwer, desafía las concepciones comunes de fundamento y certeza. En lugar de buscar una base lógica o matemática indubitable (como lo haría un logicista), Wittgenstein muestra cómo la certeza no es una propiedad demostrable sino una condición de posibilidad del lenguaje y la acción, algo que resuena con la crítica intuicionista a verdades matemáticas externas e independientes de la construcción mental.

Aunque la visión de Frege es opuesta al intuicionismo de Brouwer en su afán por logicizar las matemáticas, la estructura de 'Los fundamentos de la aritmética' es notablemente similar en su intento de proporcionar una justificación rigurosa y 'desde cero' de los principios matemáticos. Ambos autores adoptan una metodología de análisis profundo de los conceptos fundamentales, cuestionando su naturaleza misma. El libro de Frege, como el de Brouwer, es un texto fundacional que busca establecer la base de una disciplina.

Este libro representa el proyecto logicista más ambicioso, que chocó directamente con las ideas intuicionistas de Brouwer. Sin embargo, su estructura es un ejemplo paradigmático de 'Investigaciones sobre los fundamentos': un análisis sistemático y detallado, paso a paso, de los principios y la construcción de las matemáticas. Ambos textos son intentos exhaustivos de re-fundación, aunque sus conclusiones y métodos sean antagónicos.