Co za absolutny skarb w postaci #book na temat filozofii matematyki! Książka zadaje niewinne pytanie - co robimy, gdy zajmujemy się matematyką? Czy odkrywamy byty, czy tworzymy nowe? Czym w ogóle jest dowód? Co się dzieje, gdy odkrywamy, że matematyka jest niekompletna i nie może być sformalizowana? Pogląd autora (z którym w 100% się zgadzam) jest taki, że matematyka jest artefaktem społeczno-kulturowym. Robienie matematyki jest jak wymyślanie zasad gry i odkrywanie jej konsekwencji. Oczywiście, niektóre aspekty matematyki mają praktyczne zastosowanie, ale prawda o obiektach matematycznych nie jest na zewnątrz, lecz raczej w umysłach innych matematyków, którzy dają nam niezbędne informacje zwrotne lub walidację. Zdecydowanie polecam tę książkę. Trafia na moją listę do ponownego przeczytania.