20 Gödel's Incompleteness Theorem【What is the Universe?】Dialogue with the Universe
20 Gödel's 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>
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.