はてなブログ大学文学部

読んだ本： 高橋昌一郎『20世紀論争史 現代思想の源泉』光文社新書(2021) つづきを読み進めた。 nainaiteiyan.hatenablog.com ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー メモ ”公理系Sの命題Xが証明可能か反証可能のどちらかであるとき、XをSで「決定可能」と呼ぶ。公理系Sのすべて…