Sobre la Fundamentación del Intuicionismo Matemático

Mientras que Heyting aborda la fundamentación de las matemáticas a través de la construcción mental, Wittgenstein en 'Investigaciones filosóficas' desafía la noción de fundamentos absolutos a través del análisis del lenguaje y sus prácticas, compartiendo una preocupación por desentrañar cómo construimos y comprendemos la realidad, aunque desde un ángulo lingüístico en lugar de matemático. Ambos autores, de manera no obvia, nos invitan a ver los fundamentos de nuestro conocimiento como prácticas encarnadas en lugar de verdades trascendentales.

El intuicionismo matemático de Heyting, al proponer una construcción mental de las matemáticas, representa una especie de 'revolución' o cambio de paradigma frente al formalismo clásico. Kuhn, sin hablar directamente de matemáticas, ofrece un marco para entender cómo sistemas de pensamiento fundamentalmente diferentes, como el intuicionismo, pueden surgir y desafiar las estructuras dominantes, y cómo tales cambios redefinen lo que se considera 'conocimiento' y 'verdad' en un campo.

Ambos textos indagan en la naturaleza de la verdad y la construcción del conocimiento. Si bien Heyting busca fundamentar las matemáticas en una construcción intuitiva y más 'verdadera', Nietzsche va más allá, cuestionando si la 'verdad' misma es una creación humana, una convención. La conexión radica en la crítica profunda a los fundamentos absolutos y la idea de que lo que consideramos 'real' o 'verdadero' tiene orígenes más prosaicos de lo que se admite, ya sea en la intuición constructiva o en la necesidad humana de orden y significado.

El intuicionismo de Heyting postula que las verdades matemáticas se 'construyen' en la mente, implicando una conexión profunda entre la conciencia y el objeto matemático. Merleau-Ponty lleva esta concepción más allá, al argumentar que nuestra percepción del mundo, y por extensión, nuestra comprensión de conceptos, surge de una interacción encarnada y pre-reflexiva con él. Ambos desafían la noción de un sujeto puramente cartesiano, resaltando la importancia del 'hacer' o 'experimentar' en la constitución del significado y la verdad, sea en las matemáticas o en la experiencia general.

Arend Heyting aborda los fundamentos de las matemáticas, un campo que la filosofía clasifica a menudo como ontología de objetos ideales. Hartmann, aunque menos conocido en el mundo anglosajón, profundiza en la ontología de diversas esferas del ser, incluyendo la esfera de lo ideal. Su obra es un esfuerzo riguroso por comprender dónde residen las propiedades de los objetos lógicos y matemáticos, un esfuerzo filosófico paralelo al de Heyting en la elucidación de la naturaleza de la verdad matemática desde una perspectiva más constructivista.

Heyting presenta un enfoque fundacional de las matemáticas que implica una construcción estricta y lógica. De manera similar, aunque con un tema diferente, el 'Tractatus' está estructurado como una serie de proposiciones numeradas y organizadas lógicamente, que buscan construir un sistema completo y riguroso para entender la relación entre el lenguaje y el mundo. Ambos autores, a través de una estructura altamente sistémica y deductiva, intentan crear un fundamento, uno para las matemáticas y otro para la lógica del lenguaje, revelando una preocupación por la formalización y la construcción sistemática.