読んだ本： 高橋昌一郎『20世紀論争史 現代思想の源泉』光文社新書(2021) つづきを読み進めた。 nainaiteiyan.hatenablog.com ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー メモ ”公理系Sの命題Xが証明可能か反証可能のどちらかであるとき、XをSで「決定可能」と呼ぶ。公理系Sのすべての命題が決定可能であるとき、Sを「完全」と呼び、それ以外のときSを「不完全」と呼ぶ。" P122 ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー 日記 150ページほど読み進めた。 かなり前にゲーデルの不完全性定理をさくっと…
www.nicovideo.jp