ta_so_ka_re https://blog.hatena.ne.jp/ta_so_ka_re/ ゆるゆる べんきょう https://obenkyo.hatenadiary.com/ とりあえず、論理学の勉強として 野矢 論理学 北田 ゲーデル不完全性定理発見への道 Wikipedia あたりをやって、入門はできたと思う。一方、勘違いも多そうだし、あやふやなまま理解があるであろうことは考えられるので、ここで一つきちんとした教科書で勉強したいものだと思う。そこで、以下を今月の間に読もうと思う。 戸次 数理論理学 (https://www.amazon.co.jp/dp/4130629158) Rautenberg A Concise Introduction to Mathematical Logic ( https://www.amazon.co.jp/dp/1441912… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fobenkyo.hatenadiary.com%2Fentry%2F2017%2F05%2F12%2F115247" title="論理学ちゃんと勉強 - ゆるゆる べんきょう" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2017-05-12 11:52:47 rich https://obenkyo.hatenadiary.com/entry/2017/05/12/115247 1.0 100%