エントリーの編集
![loading...](https://b.st-hatena.com/bdefb8944296a0957e54cebcfefc25c4dcff9f5f/images/v4/public/common/loading@2x.gif)
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
記事へのコメント10件
- 注目コメント
- 新着コメント
![goodstoriez goodstoriez](https://cdn.profile-image.st-hatena.com/users/goodstoriez/profile.png)
goodstoriez
“人間の悟性が陥りやすい間違った傾向である。たとえば自分が思いつく有意義そうな体系がどれも不完全であるので「有意義な体系はすべて不完全である」と思い込みさらにその原因を定理か何かに帰着させようとす”
![sessendo sessendo](https://cdn.profile-image.st-hatena.com/users/sessendo/profile.png)
sessendo
第1不完全性定理‥自然数論を含む帰納的に記述できる公理系が、ω無矛盾であれば、証明も反証もできない命題が存在する。/第2不完全性定理‥自然数論を含む帰納的に記述できる公理系が、無矛盾であれば、自身の無矛
![castle castle](https://cdn.profile-image.st-hatena.com/users/castle/profile.png)
castle
「自然数論を含む帰納的に記述できる公理系がω無矛盾であれば証明も反証もできない命題が存在する」「自然数論を含む帰納的に記述できる公理系が無矛盾であれば自身の無矛盾性を証明できない」「Gは証明できない」
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
![アプリのスクリーンショット](https://b.st-hatena.com/bdefb8944296a0957e54cebcfefc25c4dcff9f5f/images/v4/public/entry/app-screenshot.png)
いまの話題をアプリでチェック!
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
ゲーデルの不完全性定理 - Wikipedia
ゲーデルの不完全性定理︵ゲーデルのふかんぜんせいていり、英: Gödel's incompleteness theorems、独: ...
ゲーデルの不完全性定理︵ゲーデルのふかんぜんせいていり、英: Gödel's incompleteness theorems、独: Gödelscher Unvollständigkeitssatz︶または不完全性定理とは、数学基礎論[1]とコンピュータ科学︵計算機科学︶の重要な基本定理[2]。︵数学基礎論は数理論理学や超数学とほぼ同義な分野で、コンピュータ科学と密接に関連している[3]。︶ 不完全性定理は厳密には﹁数学﹂そのものについての定理ではなく、﹁形式化された数学﹂についての定理である[4][注1]。クルト・ゲーデルが1931年の論文で証明した定理であり[5]、有限の立場︵英語版︶︵形式主義︶では自然数論の無矛盾性の証明が成立しないことを示す[3][5]。なお、少し拡張された有限の立場では、自然数論の無矛盾性の証明が成立する︵ゲンツェンの無矛盾性証明︵英語版︶︶[3][注2]。
2019/04/23 リンク