Portada de Sobre la Fundamentación de las Ciencias Formales

Sobre la Fundamentación de las Ciencias Formales

por L.E.J. Brouwer · 1907

Sinopsis

Un trabajo fundamental que sienta las bases del intuicionismo matemático, una escuela de pensamiento que propone que la existencia de los objetos matemáticos debe ser demostrada por una construcción, no por una prueba de no contradicción.

Sé el primero en valorar este libro.

Más de L.E.J. Brouwer

Ver autor →

Otras obras del mismo autor en el catálogo

Libros similares

Libros relacionados según distintos criterios de búsqueda

Mientras Brouwer cuestiona los fundamentos inherentes de las matemáticas, este libro lo hace con la realidad social. Ambos textos exploran cómo los marcos de conocimiento (sean matemáticos o sociales) son creados y mantenidos, en lugar de ser verdades dadas, abriendo una discusión sobre la "construcción" en diferentes dominios.

Gödel, Escher, Bach: Un eterno y grácil bucle

Douglas R. Hofstadter

1979·no ficcion

Brouwer, con su intuicionismo, aborda la idea fundamental de que la construcción mental define la validez matemática, un eco de la autorreferencia y la coherencia interna. Hofstadter expande esta idea al mostrar cómo los sistemas formales, la conciencia y la creatividad emergen de estructuras recursivas, similar a cómo Brouwer ve la matemática como un acto mental de construcción.

Investigaciones lógicas

Edmund Husserl

1900·filosofia

Brouwer y Husserl, aunque en campos distintos, comparten una preocupación radical por los fundamentos. Mientras Brouwer busca los cimientos de las matemáticas en la intuición pura del sujeto, Husserl busca los fundamentos del conocimiento y la lógica en las estructuras de la conciencia misma, ambos desafiando las concepciones objetivistas previas para ancorar la verdad en la experiencia subjetiva y constructiva.

Tractatus Logico-Philosophicus

Ludwig Wittgenstein

1921·filosofia

Tanto Brouwer como Wittgenstein exploran los límites inherentemente humanos de la lógica y el lenguaje. Brouwer circunscribe la matemática a la intuición mental, mientras Wittgenstein delimita lo que puede ser dicho y pensado lógicamente sobre el mundo. Ambos, a su manera, establecen fronteras a lo que puede ser considerado "válido" o "sensato" dentro de sus respectivos dominios, cuestionando las suposiciones sobre una realidad externa y preestablecida.

Formalismo y Realidad

Henri Poincaré

1902·no ficcion

Aunque Poincaré es conocido, sus discusiones epistemológicas sobre los fundamentos de las matemáticas son menos centrales en la conciencia anglosajona que sus contribuciones en otras áreas. Este texto presenta una perspectiva francesa coetánea a Brouwer, que también explora críticamente los fundamentos conceptuales de las matemática y su relación con la intuición y la experiencia, ofreciendo un contraste valioso al intuicionismo.

Aunque su autor es renombrado, esta obra en particular, y su relevancia para una discusión sobre los fundamentos de las ciencias exactas, es menos difundida en contextos generales. Husserl aborda la "crisis" de la fundamentación científica, un eco directo de la preocupación de Brouwer por la base de las matemáticas. Ambos autores, desde perspectivas filosóficas distintas pero complementarias, argumentan que las disciplinas formales han subestimado sus raíces en la experiencia y la intuición humanas.

Aunque sus conclusiones son opuestas, la estructura argumentativa de Frege es comparable a la de Brouwer: ambascruzadas por una rigurosa crítica a las fundamentaciones preexistentes del número y la matemática de su tiempo y la propuesta de una alternativa radicalmente nueva. Ambos se esfuerzan por construir una base conceptual sólida desde los cimientos, eliminando suposiciones inconscientes y buscando la "verdad" de los conceptos primarios.

Este libro comparte una estructura fundamental con la obra de Brouwer al ser un "prolegómeno", es decir, un texto que investiga las condiciones previas o fundamentales de una disciplina. Ambos autores se dedican a examinar exhaustivamente cómo el conocimiento (matemático para Brouwer, metafísico y científico para Kant) es incluso posible, analizando los elementos a priori y la intuición como base de la validez. Ambos presentan un marco riguroso y sistemático para reconstruir la base del conocimiento.

Ver sugerencias

Ayúdame a que yoleo sea sostenible