tmurata https://blog.hatena.ne.jp/tmurata/ tmurataの日記 https://tmurata.hatenadiary.org/ 読書 論理学作者: 野矢茂樹出版社/メーカー: 東京大学出版会発売日: 1994/02/18メディア: 単行本購入: 24人 クリック: 175回この商品を含むブログ (80件) を見る4/20から読み始めました。読み始めはとっつきやすかったので、すぐ読み終わるかと思ったら、意外と時間がかかりました。各章では以下のような感じ。第1章 命題論理 意味論はさらっといけるけど、構文論の証明辺りは写経状態…。 第2章 述語論理 やっぱり写経状態 第3章 パラドクス・形式主義・メタ理論 ？が増えていく 第4章 直観主義理論 妥当式の辺りで?が爆発中。 第5章不完全性定理 おもしろい正直、途中から理解できないこ… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Ftmurata.hatenadiary.org%2Fentry%2F20090501%2F1241174283" title="論理学 / 野矢茂樹 - tmurataの日記" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://images-fe.ssl-images-amazon.com/images/I/31KQKS7Y5DL._SL160_.jpg Hatena Blog https://hatena.blog 2009-05-01 19:38:03 rich https://tmurata.hatenadiary.org/entry/20090501/1241174283 1.0 100%