このところ『リーディングス 数学の哲学』という本を読んでいる。数学の哲学の重要論文を翻訳して集めたものである。 リーディングス数学の哲学ゲーデル以後 勁草書房 Amazon ゲーデルの論文がいくつか入っている。それを読むと、ゲーデルという人は大大大論…