不完全性定理 - 哲学的な何か、あと科学とか

不完全性定理 1930年頃 一般的に言って、 「数学的に証明された」ことについては、もう議論の余地はない。 どんなに年月が経とうと、決して反論されることもなければ、 科学理論のように、よりすぐれた理論に取って代わられることもない。 主義主張にも善悪にも関係なく、また、どんな嫌なヤツが言ったとしても、 数学的に証明されたことは常に正しい。 まさに絶対的な正しさ。 「数学的証明」こそ、永遠不変の真理なのである。 だからこそ、数学を基盤にし、証明を積み重ねていけば、 いつかは「世界のすべての問題を解決するひとつの理論体系」 「世界の真理」 に到達できるのではないかと信じられていた。 さて、１９３０年頃のこと。 数学界の巨匠ヒルベルトは 「数学理論には矛盾は一切無く、 どんな問題でも真偽の判定が可能であること」 を完全に証明しようと、全数学者に一致協力するように呼びかけた。 これは「ヒルベルトプロ

[tomo31415926563]

「どんな理論体系」じゃないよ。自然数論を含むω無矛盾な帰納的公理化可能な理論だよ。法律が自然数論含むの？、証明不可能な命題（パラドックス）じゃないよ。パラドックス含んでいたら無矛盾じゃないでしょ。

[H58]

ソクラテス・プラトンの無知の知も、単独では力を発揮しない。世の中はシステムで動いているってことかしら。

[walkalone]

ゲーデル

[escape_artist]

わかりやすい。

[footwork_x]

“我々が、理性により作り出した理論体系が真理に到達することは決してない”

[sirocco]

「史上最強の哲学入門」の著者による絶対的に正しいはずである数学の矛盾である「不完全性定理」の説明。「これは嘘ではない真実だ。信じてくれ」という人とメールでやりあったが、その時感じた矛盾の正体にも似てる

[gmk11]

バルドスカイやってたらゲーデルの名前が出てきたので調べてみた。偉い人の思考はすごいな・・・我々が真理にたどり着くことはけっしてない。むしろ真理は存在しない。

[shironunn]

Now browsing：不完全性定理 - 哲学的な何か、あと科学とか

[h_kadowaki]

ゲーデルの不完全性定理とは

[persee]

わかりやすー

[heis101]

「『おれって正直者（嘘つき）なんだよねー』と、自分で自分のことを言及したところで、自分では、その言葉の正しさを絶対に証明できない。このような「自己言及パラドックス」が、数学においても、同様に発生する」

[tororopop]

築いてたバベルの塔をぶっ壊されたかｗｗｗ

[tanakaBox]

ボクは嘘つきだ