Por un lado, el platonismo sostiene que las matemáticas existen por sí mismas, como si los números, las formas y las leyes matemáticas estuvieran en una especie de mundo abstracto esperando a ser descubiertas. En cambio, el constructivismo y el intuicionismo defienden que las matemáticas son una creación de la mente humana: no existen fuera de nosotros hasta que las construimos mediante el pensamiento.

También aparece la visión de Karl Popper, que intenta unir ambas ideas: los seres humanos inventamos conceptos matemáticos, pero una vez creados, estos desarrollan consecuencias propias, objetivas, que ya no dependen de nuestra voluntad. Es decir, abrimos una puerta… y detrás hay todo un palacio que no sabíamos que existía.

El texto muestra además cómo ideas aparentemente abstractas, como la sucesión de Fibonacci o las geometrías no euclidianas, terminan sirviendo para explicar fenómenos reales del universo. Ahí está la magia rara de las matemáticas: parecen nacidas en la mente, pero encajan con la realidad como una llave antigua en una cerradura cósmica.

Finalmente, se analiza el papel de la lógica formal y los límites de lo que puede demostrarse, especialmente a través de figuras como Hilbert y Gödel. La conclusión es que las matemáticas no son solo cálculo: son una forma profunda de investigar la realidad, pero también una prueba de que incluso la razón tiene fronteras.