[過去ﾛｸﾞ]
現代数学の系譜 工学物理雑談 古典ガロア理論も読む79 (1002ﾚｽ)
現代数学の系譜 工学物理雑談 古典ガロア理論も読む79 http://rio2016.5ch.net/test/read.cgi/math/1573769803/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制
です｡10分ほどで解除するので､
他のﾌﾞﾗｳｻﾞ
へ避難してください｡
938: １３２人目の素数さん [] 2020/01/03(金) 21:36:23.30 ID:glmNLmg1 次スレは 「現代数学の系譜 よもやま雑談 IUT理論を読む80」 にしろよな どうせ理解できねぇんなら最先端（？）のIUTのほうがいいだろ（嘲） http://rio2016.5ch.net/test/read.cgi/math/1573769803/938
940: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2020/01/03(金) 21:48:23.76 ID:ivt0JCXh >>938 つづき 様々な解決案 言語階層 「この文は間違っている」という文章を回避する方法として、言語に階層をいれる、というものがある。 応用 ゲーデルの不完全性定理 第一不完全性定理の証明においてゲーデルは、大まかに言えば嘘つきのパラドックスを若干修正したバージョン、すなわち「この文は偽である」を「この文は証明不可能である」としたものを使った。これを「ゲーデル文G」と呼ぶ。 つまり、公理系 "T" において "G" は真だが、"T" の体系内でそれを証明できない。"G" の真偽と証明可能性の分析は、嘘つきのパラドックスの真偽の分析を形式化したものといえる。 (引用終り) 以上 http://rio2016.5ch.net/test/read.cgi/math/1573769803/940
941: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2020/01/03(金) 21:50:22.94 ID:ivt0JCXh >>938 いや、 スレの定義>>1とハンドルネームに”雑談”と入れてあるから（＾＾； IUT（の雑談）も、このスレの守備範囲だよ http://rio2016.5ch.net/test/read.cgi/math/1573769803/941
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.039s