乗車日記

自転車ときのこ

2016-09-18から1日間の記事一覧

その可能性はすでに考えた、および恋と禁忌の述語論理 読了

出版部の順番からすると、これが井上真偽氏の二作目ですが、私が読んだのはこれが先。先日の出張の時、書泉ブックタワーで買った本です。最初は胡散臭い本かなと思って読み始めたのですが、このロジックは凄い。内容は書けませんが、ゲーデルの不完全性定理…