¡Qué joya de #book sobre la filosofía de las matemáticas! El libro plantea una pregunta inocua: ¿qué hacemos cuando hacemos matemáticas? ¿Estamos descubriendo entidades o creando nuevas? ¿Qué es una demostración, en realidad? ¿Qué ocurre cuando descubrimos que las matemáticas están incompletas y no pueden formalizarse? La opinión del autor (con la que estoy 100% de acuerdo) es que las matemáticas son un artefacto sociocultural. Hacer matemáticas es como inventar las reglas de un juego y averiguar sus consecuencias. Por supuesto, algunas matemáticas tienen utilidad práctica, pero la verdad de los objetos matemáticos no está ahí fuera, sino que está en la mente de otros matemáticos que nos dan la retroalimentación o validación necesaria. Recomiendo encarecidamente este libro. Va en mi lista de leerlo de nuevo.