[過去ﾛｸﾞ] 純粋・応用数学・数学隣接分野（含むガロア理論）12 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
324(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2023/01/02(月)20:31 ID:qZFMMNjk(7/8) AAS
>>319
ほいよｗ
下記”「Gは証明できない」と同値となる証明不能命題G（ゲーデル文）”が、自己言及に相当します
外部ﾘﾝｸ:ja.wikipedia.org
ゲーデルの不完全性定理
概要
ゲーデルの不完全性定理は、ゲーデルが1931年の論文で証明した次の内容である[5]。
省22
325(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2023/01/02(月)20:41 ID:qZFMMNjk(8/8) AAS
>>324 追加
ほいよ
外部ﾘﾝｸ:www.beach.jp
不完全性定理と自己言及のパラドックス シムダンス「四次元能」2018年
不完全性定理の大元は自己言及のパラドックスである。これを数式化したのである。自己言及のパラドックスは嘘つきのパラドックスであり、分かりやすい。しかし、不完全性定理の方は、これを理解しようとする素人には無理である。だから、解説を援用する。ところがその解説が間違っている可能性もある。その結果、とんでもない結論を招くことにもなる。
その事を良く知った上で、解説された不完全性定理に接近することである。本質知る手掛かりにはなるだろう。何しろ不完全性定理はある理論的な体系は自身を証明できない。つまり、数学は数学自身が間違っていないことを説明できないと言うのだから、大変な定理である。
外部ﾘﾝｸ[html]:www.s.u-tokyo.ac.jp
省5
326: 第六天魔王 Mara Papiyas ◆nu1CsB1UiBUP 2023/01/02(月)21:56 ID:bB/h5A70(14/14) AAS
>>324
>ほいよｗ
外部ﾘﾝｸ:ja.wikipedia.org
>ゲーデル文Gは
>「「xで表される述語の対角化は証明できない」で表される述語の対角化は証明できない」
>と表される。
その文章をウィキペディアに書いたのが誰だか御存知かな？
省1
335: 2023/01/03(火)02:18 ID:E8Gx+d+/(3/7) AAS
>>324-325
ゴミ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.038s