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

岡本賢吾先生は東京都立大学の哲学の教授で、専門は論理学・数学の哲学と情報の哲学とある（https://www.comp.tmu.ac.jp/philosophy/contents/staff/okamoto.html）。中央公論新社『哲学の歴史』の分析哲学編である第11巻で、ヒルベルトやブラウワーを中心としたいわゆる数学基礎論論争の歴史の章の執筆を担当しておられ、…