照井先生のテキスト

照井一成先生がこの夏に京都大学数理解析研究所の数学入門公開講座で使ったテキスト(PDF)です。私があそこの学生だったころと変わっていなければ、たぶん、この公開講座は高校の数学教員が普通にもっている予備知識ぐらいが前提です。その中で照井先生のは、形式的体系の導入から第二不完全性定理までを75分×4回で説明してしまおうという、挑戦的な*1講義です。

はたして、どんな感じで講義は進んでいったのでしょう。くいついてくる人と寝てしまう人に、受講者が二極分化したのではないかと想像しますが。

*1:「無謀な」の婉曲表現