スタジオグーダ!(Studio Gooda!)

アクセスカウンタ

zoom RSS 19 不完全性定理

<<   作成日時 : 2017/03/10 11:44   >>

ブログ気持玉 0 / トラックバック 0 / コメント 0

19 不完全性定理【宇宙とは】宇宙との対話

:正しいとも正しくないとも判定できない命題が存在する。
・・・1930年にゲーデル(オーストリア 1906−78)が証明した。
・・・その後、チューリングが、ある命題が真偽を判定できない命題であるかどうかを、あらかじめチェックする統一的な方法がないということを証明した。
 「世にも美しい数学入門」藤原正彦/小川洋子(p.147〜151)

☆検証不能であり、かつ検証不能なことをあらかじめチェックできない命題があるとすれ
ば、「探索は永遠である」ということになる。
・・・探索を一生続けても何も残らないかもしれないが、・・・

テーマ

注目テーマ 一覧


月別リンク

ブログ気持玉

クリックして気持ちを伝えよう!
ログインしてクリックすれば、自分のブログへのリンクが付きます。
→ログインへ

トラックバック(0件)

タイトル (本文) ブログ名/日時

トラックバック用URL help


自分のブログにトラックバック記事作成(会員用) help

タイトル
本 文

コメント(0件)

内 容 ニックネーム/日時

コメントする help

ニックネーム
本 文
19 不完全性定理 スタジオグーダ!(Studio Gooda!)/BIGLOBEウェブリブログ
文字サイズ:       閉じる