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

アクセスカウンタ

zoom RSS 20 Incompleteness Theorem

<<   作成日時 : 2017/01/04 10:03   >>

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

20 Incompleteness Theorem【What is the Universe?】Dialogue with the Universe

:The proposition which cannot judge correction exists.
・・・Gödel (Kurt Gödel, Austria 1906-78) proved in 1930.
・・・Then, Turing(Aan Mathison Turing, UK 1912-1954) proved that there is no unific method of confirming beforehand whether a certain proposition is a proposition which cannot judge truth.
Reference: 「世にも美しい数学入門」Masahiko Fujiwara/Youko Ogawa(p.147〜151)

☆If there is a proposition which cannot confirm that verification is impossible and it is unverifiable, it can say, "Search is eternal."
・・・Although nothing may remain even if it continues search throughout life・・・

【Mathematical history】
About 7000 years ago  Number was born. (Mankind began to group living.)
16th century Imaginary number is accepted.
・・・"Forgetting the mental anguish received with imaginary number, and merely introducing this." Gerolamo Cardano(Italy 1501〜1576)
17th century  Minus is accepted in Europe.
・・・Descartes draws a number line.   René Descartes(France 1596〜1650)
The first half of the 19th century  An imaginary number is denoted by an axis of coordinates.:complex plane  Carolus Fridericus Gauss(Germany 1777〜1855)
1935  Gödel's Incompleteness Theorem
・・・Then, Turing(Aan Mathison Turing, UK 1912-1954) proved that there is no unific method of confirming beforehand whether a certain proposition is a proposition which cannot judge truth.

テーマ

注目テーマ 一覧


月別リンク

ブログ気持玉

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

トラックバック(0件)

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

トラックバック用URL help


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

タイトル
本 文

コメント(0件)

内 容 ニックネーム/日時

コメントする help

ニックネーム
本 文
20 Incompleteness Theorem スタジオグーダ!(Studio Gooda!)/BIGLOBEウェブリブログ
文字サイズ:       閉じる