0927
昨夜からずっと本を読んでいます。そういえば「論理学をつくる」を読みおわりました。二階の言語!でもコンパクト性も完全性もないらしいです。えー。
ところで一階二階と来たらじゃあ三階はどうなんですかと思うのは自然だと思うのですが、"third-order logic also quantifies over sets of sets"みたいな記述があったけどピンときません。たとえば述語の述語を量化できる、とかでしょうか。述語の述語って?
あとは「仁義なきキリスト教史」を読みました。宗教にまつわる概念を全部ヤクザの話にする話。メチャおもしろかったけど、べつにキリスト教史の知識が深まった感じではないです(当然ではある)。このあたりの話、アウトラインくらいはちゃんと知っておきたいんだけどねー。世界史も勉強しようかしら。ただああいういろんなひとが同時並行していろんなことをやっているお話、たぶん苦手なのよね。しかもみんなそれぞれ違う目的を持っているのに相互作用するから。これがプログラミングだったら専用のキュー作って他とは相互作用しないようにするんだけど……。