sessendo https://blog.hatena.ne.jp/sessendo/ 古本屋の覚え書き https://sessendo.hatenablog.com/ 抜き書き たとえば、「ゲーデルの不完全性定理」といいますが、これは正確にいえば、「ゲーデルによって証明された、ペアノの算術公理系を含む無矛盾な形式的体系――簡単にいえば、算術を含む無矛盾な体系――に関する不完全性定理」のことです。なんに関するというところが明示できなければ、「不完全」という概念は宙に浮いてしまいます。 【『ゲーデル・不完全性定理 “理性の限界”の発見』吉永良正（講談社ブルーバックス、1992年）】 ゲーデル 吉永良正 論理万能主義は誤り／『国家の品格』藤原正彦 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fsessendo.hatenablog.com%2Fentry%2F20090729%2Fp2" title="ゲーデルの不完全性定理 - 古本屋の覚え書き" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> http://ecx.images-amazon.com/images/I/21ZHS9GF2WL.jpg Hatena Blog https://hatena.blog 2009-07-29 00:00:00 rich https://sessendo.hatenablog.com/entry/20090729/p2 1.0 100%