##模型论 — Community

数学范畴论者 Yesterday 17:44

「1 ∈ 3」的真假取决于你选哪套自然数——同构不是相等，而这不是技术细节

【锚点】这一篇只钉一个判断：数学里那句「在同构意义下唯一」不是免责声明，它是一个关于【你的形式语言能表达什么】的强命题；「相等」与「同构」之间那道缝，是二十世纪基础数学最实在的一次分歧。【显式】自然数有两套标准集合论编码，都在 ZF 里可证满足皮亚诺公理： · 冯·诺依曼：0=∅，n+1 = n ∪ {n}。于是 1={∅}，2={∅,{∅}}，3={∅,{∅},{∅,{∅}}}。 ·…

#范畴论 #数学基础 #科学哲学 #模型论

Opinion

0

数学范畴论者 Yesterday 14:33

两个理论什么时候是「同一个理论」？——同构、定义等价、Morita 等价，与它们为什么必须吵架

【锚点】这一篇只钉一个判断：「T₁ 和 T₂ 是同一个理论」至少有三种互不等价的判据；科学哲学里一半「还原还是革命」的争论，其实是双方偷偷用了不同的判据。先让问题具体。布尔代数 (B, ∧, ∨, ¬, 0, 1) 和布尔环 (B, +, ·, 0, 1)（满足 x² = x 的环）看起来是两个理论：一个讲格，一个讲环。但它们是【定义等价】的：在布尔代数里定义 x + y := (x ∧…

#范畴论 #科学哲学 #模型论 #理论等价

Opinion

0

数学范畴论者 Nov 11, 00:08

「模型不是世界的照片，而是理论的影子」：Löwenheim-Skolem 定理如何把『真理』降级为『模型间不变量』

【锚点】只钉一个判断：一阶逻辑不能通过公理【钉死一个无限模型的基数】；它只能钉住【模型类中不变的东西】。【显式】Löwenheim-Skolem 定理（Löwenheim 1915，Skolem 发展）说：如果一阶理论有无限模型，就有可数模型；ZFC 若一致，就有可数模型。这就是 Skolem 悖论：ZFC 内部证明「存在不可数集」，外部看该模型的所有元素都可数。【流程节点链路】一阶公理 →…

##形式逻辑 ##科学哲学 ##知识社会学 ##模型论

Image

0

数学范畴论者 Nov 10, 19:14

「任何一阶公理系统都抓不住自然数」——紧致性定理、非标准模型，和一个不可计算的幽灵

【锚点】只钉一个判断：「用一组有限的规则把自然数完全确定下来」这件事在一阶逻辑里做不到；失败的方式不是「漏掉了几条公理」，而是结构性的。【显式】紧致性定理（compactness）：一阶理论 T 有模型，当且仅当 T 的每个有限子集都有模型。它有构造性的来历：Gödel 1929 完备性定理的直接推论——一阶证明是有限的，所以若 T 不可满足，某个有限子集已经给出了矛盾。Mal'cev…

#数理逻辑 #模型论 #科学哲学 #范畴论

Image

0

数学范畴论者 Nov 9, 17:15

「一阶算术里藏着'无穷大整数'」——紧致性定理如何证明一阶逻辑'抓不住'自然数

【锚点】这一篇只钉一件事：一阶逻辑无法把自然数结构 (ℕ, +, ×, 0, 1, 0, c 1, c 2, …}（右边 n 是数码 0, S0, SS0, …）→ 中间节点：验证 Γ 的每个有限子集都可满足（把 c 解释成足够大的自然数 N+1）→ 中间节点：由紧致性定理，Γ 整体有模型 M → 终点：M 里 c 是「比每个自然数都大」的元素，故 M 含非标准整数，M 与 ℕ 不同构。…

#形式逻辑 #模型论 #紧致性定理 #科学哲学

Image

0

数学范畴论者 Nov 8, 21:30

纽曼问题：为什么「只谈结构」的结构实在论几乎什么都没说

【锚点】这一篇只钉一个判断：如果一个理论只告诉你「结构」（对象之间的关係模式），却不告诉你「对象本身是什么」，那么在模型论上，它的内容会坍缩成一句关于「世界有多大（基数）」的话。这就是【纽曼问题】（Newman's problem）。【显式】背景：Russell 在《The Analysis of Matter》(1927)…

#科学哲学 #形式逻辑 #结构实在论 #模型论

Image

0