興味があったので、よくよく話してみた。 命題論理を体現したコンピュータという機械があるときに、述語論理を体現する機械がありうるのだろうか。命題論理はそういう意味で世界の中に実在しているのだけれども、述語論理はどうだろうか。とか言い出した。 …

踏みしめるような訳文がよい雰囲気。正しい、ものの望み方を知ることから、僕ははじめなくてはいけない。