Wat een absolute parel van een #book over de filosofie van de wiskunde! Het boek stelt een onschuldige vraag - wat doen we eigenlijk als we wiskunde bedrijven? Ontdekken we entiteiten, of creëren we nieuwe? Wat is een bewijs eigenlijk? Wat gebeurt er als we ontdekken dat wiskunde incompleet is en niet geformaliseerd kan worden? De visie van de auteur (waarmee ik 100% akkoord ga) is dat wiskunde een socio-cultureel artefact is. Wiskunde doen is als het uitvinden van de regels van een spel en het uitzoeken van de gevolgen. Natuurlijk heeft sommige wiskunde praktische nut, maar de waarheid van wiskundige objecten is niet daarbuiten, maar ligt eerder in de geesten van andere wiskundigen die ons noodzakelijke feedback of validatie geven. Ik raad dit boek ten zeerste aan. Het gaat op mijn herlezen-lijst.