大した友人(2)

興味があったので、よくよく話してみた。
命題論理を体現したコンピュータという機械があるときに、述語論理を体現する機械がありうるのだろうか。命題論理はそういう意味で世界の中に実在しているのだけれども、述語論理はどうだろうか。とか言い出した。
決定可能集合や枚挙可能集合の話をして、きみは、そんなこと考えているなら、情報科学科に行った方がいいんじゃないかと話しておいた。

旅行に行ってみたいと言ってみたら、しきりにインドがいいという。異様なものに囲まれて眠りたい、と。うーん。