実家で論理学を勉強している。「論理学をつくる」は入門書として申し分のないできで、本のオビが「傑作テキスト」と書いてあるが、分かりやすいしまさに傑作だと思う。ゲーデルの理論までいくにはもう少し時間がかかりそうだ。こんなビデオを発見した。 TK-8…