fujicategory https://blog.hatena.ne.jp/fujicategory/ 数学基礎論の勉強ノート https://fujicategory.hatenadiary.org/ 第３章 不完全性定理を始めて勉強するなら、「数学ガール」第３巻がおすすめです。ミルカさんがやさしく指導してくれて、テトラちゃんが一緒に悩んでくれて、ユーリちゃんが鋭い直観的指摘をしてくれます。 数学ガール/ゲーデルの不完全性定理 (数学ガールシリーズ 3)作者: 結城浩出版社/メーカー: SBクリエイティブ発売日: 2009/10/24メディア: 単行本購入: 37人 クリック: 930回この商品を含むブログ (149件) を見る さて新井先生の「数学基礎論」は第３章、不完全性定理です。 不完全性定理は算術を含む公理系についての定理です。 本で紹介されているのは、 第１不完全性定理 公理系ＰＡが無矛盾… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Ffujicategory.hatenadiary.org%2Fentry%2F20110705%2F1309836080" title="第１不完全性定理　公理系ＰＡ - 数学基礎論の勉強ノート" 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/514bGkTG2BL._SL160_.jpg Hatena Blog https://hatena.blog 2011-07-05 12:21:20 rich https://fujicategory.hatenadiary.org/entry/20110705/1309836080 1.0 100%