エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
記事へのコメント0件
- 注目コメント
- 新着コメント
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
不完全性定理 - 理系学生日記
不確定性原理を読んだら,次は不完全性定理を読まねばならんだろうと,ぼくは昔読んだ本を引っ張り出し... 不確定性原理を読んだら,次は不完全性定理を読まねばならんだろうと,ぼくは昔読んだ本を引っ張り出して,通勤時間とかで読んだりした. ISBN:4-480-08988-8:detail ぼくの誤読の恐れが大いにあったりするんですけど, 自然数論を含む述語論理の体系 Z は,もし無矛盾ならば,形式的に不完全である という第 1 不完全性定理がこの本の大きな焦点なのかなという印象を持っています.ただし, 自然数論を含む帰納的に記述できる公理系が、無矛盾であれば、自身の無矛盾性を証明できない。 ゲーデルの不完全性定理 - Wikipedia という第 2 不完全性定理が載っていないというわけではないです. a 数学では証明とかたくさんでるんですけど,それはもちろん正しくないといけない.結論は正しくないといけないし,正しいか正しくないか判別できないといけない. はずだったんですけど,残念ながら自然数論