エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
記事へのコメント1件
- 注目コメント
- 新着コメント
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
『不完全性定理とはなにか』(竹内 薫):ブルーバックス 製品詳細 講談社BOOK倶楽部
正しくても常に証明できるとは限らない。「証明」を深く考察した「不完全性定理」は真な命題は必ず証明... 正しくても常に証明できるとは限らない。「証明」を深く考察した「不完全性定理」は真な命題は必ず証明できるはずだと考えていた数学界に、大きな衝撃を与えました。しかし「証明が不可能であることを証明する」ことは数学者にとっても難題です。この難題を、二人の天才はどのように解決したのでしょうか。(ブルーバックス・2013年4月刊) 「証明が不可能である」を、どのように証明したのか? 「智の限界」「科学の終焉」などと言われることがある「不完全性定理」。 しかし、それは智の終焉などではなく、「正しくても常に証明できるとは限らない」ということを、卓抜したアイディアでゲーデルが証明した定理です。 同じことを、イギリスの数学者チューリングは、彼が築いたコンピュータの数学的基礎「チューリング機械」を用いて示しました。 ゲーデルとチューリングの証明の詳細は抽象的でたいへん高度ですが、定理の内容は、それほど神秘的なこ
2013/05/02 リンク