[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ4 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
520(1): 2023/06/11(日)14:35 ID:UHPzFVQz(10/17) AAS
>>517
> ゲーデルの不完全性定理は、一階述語論理限定じゃなかったかな？
わからんちんのおヌシは黙れ
> 一方、人の思考は一階述語論理限定じゃないよね
一階述語論理で表せない例を示せ
> かつ、デジタル系のロジックだけじゃなく、アナログ系もそなえている
こういう馬鹿主張は、２０世紀で死滅したと思ったがなｗ
実数論も理解できず、ε－δも使えん奴が
「アナログは形式論理では扱えない神秘の術なんじゃあああああ」
とわめきちらすｗ
省6
523(2): 2023/06/11(日)16:22 ID:5t3/bu9Q(7/12) AAS
>>520
>> 一方、人の思考は一階述語論理限定じゃないよね
> 一階述語論理で表せない例を示せ
ホイよ
外部ﾘﾝｸ:ja.wikipedia.org
ゲーデルの不完全性定理
1977年、パリスとハーリントンは、ラムゼーの定理の一種であるパリス＝ハーリントンの定理が、一階算術の公理体系であるペアノ算術の下では決定不能だが、より大きな二階算術の体系では証明できることを証明した。
不完全性定理が成立しない体系
不完全性定理が成立しない例としてはユークリッド幾何学[15]、プレスバーガー算術[16]、実閉体と代数的閉体の理論におけるタルスキの定理などがある[16]。
省3
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.034s