Jaký to je naprostý klenot #book filozofie matematiky! Kniha klade nevinnou otázku – co vlastně děláme, když děláme matematiku? Objevujeme entity, nebo vytváříme nové? Co vlastně je důkaz? Co se stane, když zjistíme, že matematika je neúplná a nelze ji formalizovat? Názor autora (se kterým stoprocentně souhlasím) je, že matematika je sociokulturní artefakt. Dělat matematiku je jako vymýšlet pravidla hry a zjišťovat její důsledky. Samozřejmě, některá matematika má praktický význam, ale pravda o matematických objektech není dostupná, ale spíše v myslích jiných matematiků, kteří nám dávají potřebnou zpětnou vazbu nebo ověření. Tuto knihu rozhodně doporučuji. Jde to do mého seznamu k opětovnému přečtení.