Intuitionism and Formalism

Mientras Brouwer desafío el formalismo matemático que buscaba la verdad absoluta en sistemas axiomáticos, Humboldt desafió la clasificación taxonómica que deshumanizaba la naturaleza. Ambos buscaron una comprensión más holística y orgánica de sus respectivos campos, enfatizando la conectividad y la intuición sobre la simple acumulación de hechos o reglas predefinidas.

Si el intuicionismo de Brouwer radica en que las verdades matemáticas no son descubiertas sino construidas por la mente humana, el universo holográfico de Talbot propone que la realidad misma, tal como la percibimos, es una construcción fundamentalmente diferente de lo que parece. Ambos desafían nuestra concepción de los cimientos de la 'verdad' y la 'realidad', argumentando que hay una estructura subyacente más profunda e intrincada que la que se nos presenta superficialmente.

Brouwer y Gödel (cuya obra es central en GEB) abordaron la noción de los límites de los sistemas formales, aunque desde perspectivas diferentes. Mientras Brouwer veía el formalismo como inherentemente insuficiente para una base completa de las matemáticas, Gödel demostró la incompletitud de sistemas formales suficientemente potentes. Ambos trabajos tocan la esencia de lo que puede ser 'conocido' o 'demostrado' dentro de un sistema, y la idea de que la intuición o un meta-nivel son a menudo necesarios para comprenderlo plenamente.

La distinción central de Steiner entre formas de pensamiento conceptual y evolutivo-intuitivo resuena profundamente con la dicotomía de Brouwer de intuicionismo frente a formalismo. Brouwer criticaba la dependencia exclusiva de las reglas formales sin una conexión interna con la intuición de su significado. Steiner, de manera paralela, postula la necesidad de trascender el pensamiento puramente abstracto para alcanzar una comprensión más viva y orgánica de la realidad, destacando el papel crucial de la intuición en la construcción del conocimiento.

A pesar de ser conceptualmente 'oscuro' para el lector promedio, Frege es un pilar fundamental del logicismo que Brouwer criticaba indirectamente. Frege intentó fundamentar las matemáticas en la lógica pura, mientras que Brouwer argumentó que la intuición humana es la base primordial de la actividad matemática. La inclusión de Frege aquí resalta la profundidad del debate sobre los fundamentos de las matemáticas en el que Brouwer fue un participante vital, explorando un contraste directo con su perspectiva y un autor menos leído fuera de la filosofía de la matemática.

La 'obscuridad' de Hegel, especialmente en el contexto anglosajón popular, reside en su densidad y complejidad conceptual. Si bien Brouwer se enfocó en las matemáticas, su rechazo del formalismo y su énfasis en la actividad constructiva de la mente resuenan con la atención de Hegel a cómo la conciencia se desarrolla y construye la realidad a través de un proceso dinámico, en lugar de recibir pasivamente verdades externas. Ambos autores exploran la subjetividad y el proceso de construcción del conocimiento, aunque en dominios muy distintos.

El texto de Brouwer 'Intuitionism and Formalism' es una exposición fundamental pero concisa de una postura filosófica. Wittgenstein emplea un estilo de 'investigación', a menudo aforístico y auto-cuestionador, que, al igual que Brouwer, invita al lector a un proceso de pensamiento en lugar de simplemente presentar conclusiones. La forma fragmentada y exploratoria de las 'Investigaciones' refleja la naturaleza de un pensamiento que se está construyendo, similar al énfasis intuicionista de Brouwer en la construcción mental de las matemáticas.

El 'Tractatus' de Wittgenstein es un texto seminal presentado a través de una estructura axiomática y numerada, con proposiciones que se desarrollan lógicamente de una a otra. Si bien el contenido difiere, la presentación de Brouwer de 'Intuitionism and Formalism' también sigue una progresión lógica rigurosa y fundamentada. Ambos textos buscan establecer las bases de un dominio (las matemáticas para Brouwer, el lenguaje y la lógica para Wittgenstein) a través de un argumento formal y sistemático, utilizando una arquitectura textual que refleja la precisión de su pensamiento, aunque la brevedad de Brouwer es más comparable al 'Tractatus' que a las 'Investigaciones'.