Inter-universal geometry と ABC予想 (応援スレ) 74 (908ﾚｽ)

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

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

---

680: １３２人目の素数さん [] 2025/09/02(火) 15:12:36.97 ID:CgKIxbLR >>678 ＞普段の数学は、一階述語論理しばりは うれしくないってことですね それ、典型的な素人の発言 一階述語論理は完全性定理が成立するのでうれしい 二階述語論理は標準モデルに関して完全性定理が成立しない ヘンキンモデルなら完全性定理が成り立つだろう、と「したり顔」でいう人がいるが それは一階述語論理上の理論として構築できる二階述語論理であり 当然ながら範疇性は成立しない 二階述語論理は綺麗だが、人間には扱えず不便 これが現実 綺麗ごとをやたらと喜ぶのは 自分では何も考えず何もしない素人だけ http://rio2016.5ch.net/test/read.cgi/math/1755784703/680

---

ﾒﾓ帳

(0/65535文字)

---

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

---

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

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.009s