Quel bijou absolu que ce #book sur la philosophie des mathématiques ! Le livre pose une question innocente : que faisons-nous quand nous faisons des mathématiques ? Découvrons-nous des entités ou en créons-nous de nouvelles ? Qu'est-ce qu'une preuve, de toute façon ? Que se passe-t-il lorsque nous découvrons que les mathématiques sont incomplètes et ne peuvent pas être formalisées ? Le point de vue de l'auteur (avec lequel je suis 100 % d'accord) est que les mathématiques sont un artefact socio-culturel. Faire des mathématiques, c'est comme inventer les règles d'un jeu et comprendre ses conséquences. Bien sûr, certaines mathématiques ont une utilité pratique, mais la vérité des objets mathématiques n'est pas là-bas, mais plutôt dans l'esprit d'autres mathématiciens qui nous donnent des retours ou une validation nécessaires. Je recommande fortement ce livre. Il figure sur ma liste des livres à relire.