曇りなき眼で見定めブログ

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