またばかなことを思いついた。 [趣味の数学]

夏中に学位論文をそれなりのところまで仕上げなければならないとはいえ、夏休み中はもちろんゼミ等はないのでその分、もっぱらたのしみのためだけになすアクティヴィティに割ける時間もすこぉしだけあるかな、ということで、かがみさんの予言を成就させるべく、「100万人のフォーシング」と言うか"Forcing for Philosophers"と言うか"Forcing 101"とでも言うようなものを一般向けに、つまり、広義に謂う「ロジック」の知識を前提とせずに語ってみたいな、と思う。

現時点ではそれをいつから始めるかはまったく未定なれど、全体の構想としてはトップダウン方式で、つまり、なぜ「フォーシング」なるものが考え出されたのか、ということを出発点に（だから、まずは「連続体仮説」とは何ぞや？というところから始める、と思う）、大括りな説明をさいしょに与え、しかるのち細部に進んでいく、つまり、またしても言いかえれば、「フォーシングとはおおざっぱに言ってこうこうこういうもので、それがそうであるのはこれこれのことを処理するためで、それが有効であるのはかくかくしかじかだからであり……」というふうに進めていきたい。

もっとも、とりあえずは、多忙ゆえにぱったりと中断させてしまっている「プリンキピア・マテマティカを読む」をある程度のところまで進行させるほうを優先させるやもしれず（じつは、それなりに原稿は書きためてあるのですが、その原稿を英語で書くなどというばかなことをしてしまっているため、日本語になおしたり、必要な補足をしたり、いろいろ手間なのです）、どうなるかははっきり言ってGod only knowsですが、やる気は満々と言ってもよろしいかと思いますので、おたのしみに（たのしみにしてくれる人がいるとして）。