数学哲学に関するまさに宝石のような #book です! この本は無害な問いを投げかけています――数学をしているとき、私たちは何をしているのか? 私たちは存在を発見しているのか、それとも新しい存在を創り出しているのか?そもそも証明とは何でしょうか?数学が不完全で形式化できないと分かったらどうなるのでしょうか? 著者の見解(私も100%同意します)は、数学は社会文化的な産物だということです。数学をすることは、ゲームのルールを発明し、その結果を考えるようなものです。もちろん、いくつかの数学には実用的な有用性がありますが、数学的対象の真実は存在せず、むしろ必要なフィードバックや検証を与えてくれる他の数学者の心の中にあります。 この本は強くおすすめします。もう一度読み返すリストに入れます。