canarykanariiya https://blog.hatena.ne.jp/canarykanariiya/ かぶとむしアル中 https://canarykanariiya.hatenadiary.jp/ ほん 不完全性定理とはなにか (ブルーバックス)作者: 竹内薫出版社/メーカー: 講談社発売日: 2013/04/19メディア: 新書この商品を含むブログ (4件) を見る ゲーデルの不完全性定理 第1不完全性定理 自然数論を含む帰納的に記述できる公理系が、ω無矛盾であれば、証明も反証もできない命題が存在する。 第2不完全性定理 自然数論を含む帰納的に記述できる公理系が、無矛盾であれば、自身の無矛盾性を証明できない。*1 この本の副題は「ゲーデルとチューリングの考えたこと」となっていて、この２人、特にゲーデルの不完全性定理について、分かりやすくかつあらあらで説明されています。そのおかげで、そこまでも… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcanarykanariiya.hatenadiary.jp%2Fentry%2F20131122%2F1385138765" 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/51F0Dbt-LgL._SL160_.jpg Hatena Blog https://hatena.blog 2013-11-22 01:46:05 rich https://canarykanariiya.hatenadiary.jp/entry/20131122/1385138765 1.0 100%