[過去ﾛｸﾞ]
【統計分析】機械学習・データマイニング19 (1002ﾚｽ)
【統計分析】機械学習・データマイニング19 http://mevius.5ch.net/test/read.cgi/tech/1520586585/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
458: デフォルトの名無しさん (ﾜｯﾁｮｲ eb81-oLIW) [] 2018/06/12(火) 09:25:47.15 ID:BglwDZJM0 >>456 それほぼ一緒だとおもうが。たとえば、不完全性定理とか数学的抽象度が高いし論理的だろ。 不完全性定理 数学を基盤にし、証明を積み重ねていけば、 いつかは「世界のすべての問題を解決するひとつの理論体系」「世界の真理」に到達できるのではないかと信じられていた。 さて、１９３０年頃のこと。 数学界の巨匠ヒルベルトは「数学理論には矛盾は一切無く、どんな問題でも真偽の判定が可能であること」 を完全に証明しようと、全数学者に一致協力するように呼びかけた。 これは「ヒルベルトプログラム」と呼ばれ、数学の論理的な完成を目指す一大プロジェクトとして、当時世界中から注目を集めた。 そこへ、若きゲーテルがやってきて、「数学理論は不完全であり、決して完全にはなりえないこと」 を数学的に証明してしまったから、さあ大変。 ゲーデルの不完全性定理とは以下のようなものだった。 １）第１不完全性原理 「ある矛盾の無い理論体系の中に、肯定も否定もできない証明不可能な命題が、必ず存在する」 ２）第２不完全性原理 「ある理論体系に矛盾が無いとしても、その理論体系は自分自身に矛盾が無いことを、その理論体系の中で証明できない」 http://noexit.jp/tn/doc/fukanzen.html http://mevius.5ch.net/test/read.cgi/tech/1520586585/458
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 544 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.017s