¡Qué joya absoluta de un #book sobre la filosofía de las matemáticas! El libro plantea una pregunta inocente: ¿qué estamos haciendo cuando hacemos matemáticas? ¿Estamos descubriendo entidades o creando nuevas? ¿Qué es una prueba, de todos modos? ¿Qué sucede cuando descubrimos que las matemáticas son incompletas y no se pueden formalizar? La opinión del autor (con la que estoy 100% de acuerdo) es que las matemáticas son un artefacto socio-cultural. 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 las mentes de otros matemáticos que nos dan la retroalimentación o validación necesaria. Recomiendo encarecidamente este libro. Va a mi lista de libros para volver a leer.