このブログで勉強した素材を一覧化し、寸評します。 哲学史 田中: 哲学用語図鑑 ★★★★ https://www.amazon.co.jp/dp/4833421194 図鑑。ポンチ絵で哲学用語を解説 〇：わかりやすい 〇：絵がかわいい 〇：そこそこ網羅的 ×：東洋がない 平原: 読まずに死ねない…

とりあえず、論理学の勉強として 野矢 論理学 北田 ゲーデル不完全性定理発見への道 Wikipedia あたりをやって、入門はできたと思う。一方、勘違いも多そうだし、あやふやなまま理解があるであろうことは考えられるので、ここで一つきちんとした教科書で勉強…

10章 ゲーデル述語 前章からの続き。ロッサー文およびゲーデル文に出てくる述語を数値的に表現する。その際、自身のゲーデル数を自身に代入するという事情のため、ゲーデルナンバリング自体が数論的操作であることを示す必要があり、じっさいにそれを示す。 …