本日の入手文献

• 新井敏康　「竹内の基本予想とは何か、何であるべきか　50年に」、『証明論と計算論 (Proof Theory and Computation Theory)』、数理解析研究所講究録、no. 1442、京都大学数理解析研究所、2005年7月
• 杉原厚吉　　『数式を読み解くコツ　「数式は哲学だ」と割り切ってみよう』、日本評論社、2008年