El Problema de la Fundamentación en Matemáticas

Aunque no es un tratado puramente filosófico sobre los fundamentos de las matemáticas, Hofstadter aborda la complejidad inherente de los sistemas formales, la paradoja y la incompletitud, temas que resuenan con el problema brouweriano de la autarquía del sujeto matemático y la negación del principio de tercio excluido en dominios infinitos. Su enfoque es lateral porque, en lugar de discutir directamente los fundamentos, muestra sus implicaciones en la cognición y el arte.

Este libro ofrece una perspectiva 'nonobvious' al enmarcar la búsqueda de la fundamentación matemática (como la de Brouwer) dentro de un contexto más amplio de las ansiedades y ambigüedades de la ciencia moderna. Stengers no discute a Brouwer directamente, pero su análisis de cómo la objetividad y la certeza son construidas y cuestionadas en diferentes disciplinas científicas, ofrece un eco de la preocupación brouweriana por la fiabilidad inherente de las construcciones mentales en las matemáticas.

Wittgenstein cuestiona la propia noción de 'fundamentación última' no solo en matemáticas sino en el lenguaje y el conocimiento en general. Su escepticismo sobre la posibilidad de anclajes externos para el significado y las reglas resuena con la crítica de Brouwer a la reducción de las matemáticas a una lógica formal preestablecida, privilegiando la construcción mental directa. Ambos abordan las limitaciones inherentes a los sistemas formalistas, aunque desde ángulos diferentes.

A pesar de ser un exponente del empirismo lógico y del Círculo de Viena, opuesto en muchos puntos doctrinales a Brouwer, Carnap se ocupa de cómo el significado y la verdad se fundamentan en sistemas formales y lenguajes. Si bien su solución difiere radicalmente de la de Brouwer, su preocupación compartida es la naturaleza de la 'necesidad' y la 'verdad' en las proposiciones, especialmente matemáticas, y cómo definimos y validamos los sistemas conceptuales que empleamos. La 'profundidad' radica en enfrentar las mismas preguntas fundamentales sobre la naturaleza del conocimiento matemático.

Ajdukiewicz, una figura central de la Escuela de Leópolis-Varsovia, abordó los problemas de la verdad, la validez y la relación del lenguaje con el conocimiento de una manera que complementa las discusiones sobre la fundamentación matemática. Su concepción de los 'estilos lingüísticos' y la idea de que la validez de los enunciados depende del marco conceptual en el que están formulados, es una resonancia más sutil del reconocimiento de Brouwer de la construcción mental como primaria para las matemáticas.

Cavaillès, un filósofo francés de la ciencia que murió en la Resistencia, es menos conocido en el mundo anglosajón. Su crítica a las filosofías de las matemáticas que buscan un fundamento externo (ya sea lógico o psicológico) lo alinea con la inquietud de Brouwer por la independencia intrínseca del acto matemático. Aunque sus conclusiones difieren del intuicionismo, ambos enfatizan el proceso de creación cognitiva en la comprensión de las matemáticas, alejándose de una visión platónica o formalista pura.

El libro de Frege, aunque conceptualmente opuesto a Brouwer (Frege buscaba fundamentar las matemáticas en la lógica pura, mientras Brouwer enfatizaba la intuición mental), comparte una 'estructura' similar en el sentido de que ambos se dedican a una crítica sistemática de las teorías fundacionales en matemáticas existentes y proponen un nuevo paradigma radical. Ambos construyen un argumento minucioso y altamente técnico, párrafo por párrafo, para desmantelar visiones anteriores y erigir una alternativa coherente, con un lenguaje filosófico riguroso.

Aunque de un campo diferente, la estructura de la argumentación en Kuhn es paralela al 'problema de la fundamentación' de Brouwer. Brouwer identificó una crisis en el panorama matemático de su tiempo y propuso un cambio de paradigma radical (el intuicionismo) para abordarla, rechazando las normas establecidas (como el tercio excluido). Kuhn describe cómo se generan y resuelven estas crisis en la ciencia, con una estructura conceptual que busca redefinir los términos y el marco de lo que se considera 'fundamento' o 'validez'.