[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 77 (1002ﾚｽ)

Inter-universal geometry と ABC予想 (応援スレ) 77 http://rio2016.5ch.net/test/read.cgi/math/1761878205/

上下前次1-新
通常表示 512ﾊﾞｲﾄ分割 ﾚｽ栞

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

501: １３２人目の素数さん [] 2025/11/08(土) 11:46:34.11 ID:ZuSEB9pS >>496 まーたセタがしったかしてアホなこと言っとる >>矛盾した理論はいかなる命題も証明できてしまうからまったくのナンセンス >そうだね >もし ”人が 純粋な述語論理のみで思考するならば・・”だが 述語論理に限らん。命題論理でも同じだ。 >具体的には、下記の 自己言及のパラドックス：嘘つきのパラドックス >これが、古代から エピメニデスのパラドックス（紀元前600年ごろ）として知られていたらしい >そして、集合論における ラッセルのパラドックス に 繋がっている >だが、古代から近世において >人は このような 自己言及のパラドックスを排除できる あるいは 排除すべきことを 知っていたのだろう >実際、古代ギリシャのユークリッド原論は 論理破綻など してない！ｗｗ　；ｐ） ナンセンス。 理論が矛盾していることを証明するには、その理論内で任意の文PについてP∧¬Pを証明すればよい。内包公理を持つ素朴集合論が矛盾していることもそうして証明される。 逆に理論が無矛盾ならそのことをその理論内では証明できない。 http://rio2016.5ch.net/test/read.cgi/math/1761878205/501

---

ﾒﾓ帳

(0/65535文字)

---

上下前次1-新書関写板覧索設栞歴

---

あと 501 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.016s