andante

2014-09-27

0927

昨夜からずっと本を読んでいますそういえば論理学をつくるを読みおわりました二階の言語でもコンパクト性も完全性もないらしいですえー
ところで一階二階と来たらじゃあ三階はどうなんですかと思うのは自然だと思うのですが"third-order logic also quantifies over sets of sets"みたいな記述があったけどピンときませんたとえば述語の述語を量化できるとかでしょうか述語の述語って

あとは仁義なきキリスト教史を読みました宗教にまつわる概念を全部ヤクザの話にする話メチャおもしろかったけどべつにキリスト教史の知識が深まった感じではないです当然ではあるこのあたりの話アウトラインくらいはちゃんと知っておきたいんだけどねー世界史も勉強しようかしらただああいういろんなひとが同時並行していろんなことをやっているお話たぶん苦手なのよねしかもみんなそれぞれ違う目的を持っているのに相互作用するからこれがプログラミングだったら専用のキュー作って他とは相互作用しないようにするんだけど……