Ensayo sobre los fundamentos de las matemáticas

Mientras Brouwer se enfoca en la construcción mental y la intuición en matemáticas, Ayer, desde una perspectiva positivista, examina la validez y el significado del lenguaje en su totalidad, incluyendo el lenguaje matemático. Ambos, a su manera, cuestionan los fundamentos del conocimiento, pero desde ángulos epistemológicos muy diferentes: constructivismo vs. empirismo lógico.

Brouwer desafía las asunciones clásicas de la lógica y la existencia en matemáticas desde una postura constructivista e intuicionista, liberando las matemáticas de la hegemonía de la lógica formal. De manera análoga, Feyerabend desafía la hegemonía de un 'método científico' único, defendiendo una visión más pluralista y 'anárquica' de cómo se construye el conocimiento. Ambos son 'rebeldes' en sus campos, cuestionando los dogmas de cómo se 'deben' hacer las cosas.

Brouwer y Husserl, aunque en campos distintos (matemáticas y fenomenología), comparten un compromiso profundo con la primacía de la experiencia subjetiva y la intuición. Brouwer argumenta que los objetos matemáticos se construyen en la mente del matemático; Husserl, de forma paralela, busca las 'esencias' y estructuras en la conciencia misma. Ambos rechazan la objetividad platónica o la formalización abstracta como punto de partida, buscando fundamentos más directos y vivenciales.

Heidegger, al igual que Brouwer, busca desvelar los 'fundamentos' de su campo (la existencia y el Ser) cuestionando las asunciones tradicionales y construcciones conceptuales heredadas. Brouwer critica la lógica clásica y el formalismo por no reflejar la verdadera construcción matemática intuitiva. Heidegger, por su parte, critica la metafísica occidental por olvidar el Ser en favor de los entes. Ambos representan un 'volver a los orígenes' desde una perspectiva radicalmente nueva y crítica de lo establecido.

Este libro de Frege es un clásico en filosofía de las matemáticas, pero su enfoque logicista contrasta directamente con el intuicionismo de Brouwer. Brouwer postula que la intuición es el origen de los números, mientras que Frege busca fundarlos en la lógica pura. Aunque fundamental, el debate entre logicismo e intuicionismo a menudo se simplifica, y la profundidad de la postura de Frege no siempre es explorada más allá de sus paradojas.

Mientras Brouwer cuestiona las bases intuitivas de las 'verdades' matemáticas, Nietzsche, en este ensayo menos conocido que sus obras mayores, también cuestiona la construcción de la 'verdad' en un sentido más amplio, filosófico y lingüístico. Ambos, a su manera, proponen que lo que consideramos 'fundamental' o 'verdadero' es, en última instancia, una construcción o una interpretación, aunque con propósitos y en ámbitos distintos.

Al igual que Brouwer buscó reconstruir los fundamentos de las matemáticas desde cero con un rigor axiomático y una visión particular de la intuición, Wittgenstein en su Tractatus construye un sistema filosófico completo y axiomático sobre los fundamentos de la lógica y el lenguaje. Ambos autores comparten la ambición de abordar los 'fundamentos' de sus respectivos campos con una estructura lógica inquebrantable, aunque sus conclusiones sean radicalmente diferentes.

Brouwer representó una 'revolución científica' en las matemáticas al desafiar el paradigma clásico y formalista, proponiendo un nuevo paradigma intuicionista. Este libro de Kuhn analiza la estructura histórica de cómo se producen estos 'cambios de paradigma'. La obra de Brouwer puede verse como un ejemplo práctico de las tesis de Kuhn, demostrando cómo una disciplina puede experimentar una crisis fundamental y dar lugar a una nueva forma de pensar sobre sus fundamentos.