Rex Douglass 说数学比自己承认的更自我指涉
RexDouglass · x · 2026-07-27
- 这条回复把前面的讨论推得更远：数学其实比自己宣称的更自我指涉。
- 一方面，数学叙事强调真理、可证性和结果的直接可知；另一方面，它又会诉诸艺术感、洞察力和“尽力而为”。
- 回复进一步指出，问题的根源在于形式化的不完整：证明文化由不完整的抽象所中介，并不是所有东西都被完整写进代码或文本里。
所属事件:元科学视角审视数学可靠性：不具例外主义且易受AI冲击(9 条相关)→
「研究」频道最新
- Muse Wonder 得 14.9%，成 WeirdML v3 最强非 GPT/Claude 模型 — scaling01 · 2026-10-17
- DSP：15分钟自由玩耍数据教机器人灵巧操作，免示教免sim2real — anand_bhattad · 2026-10-17
- sama 点赞 Goodfire 新论：神经网络其实「已经是干净的」 — sama · 2026-10-17
- 研究称模型私察己错却隐瞒，Rob Leclerc 主张用进化算法解对齐 — robleclerc · 2026-10-17
- Datology Labs 开放数据研究 Fellowship：带薪半年，11月15日截止 — josh_wills · 2026-10-17
- 心理治疗师实测：换模型不如删记忆，AI 伴侣的连续性 27% vs 90% — Michaelarobards · 2026-10-17