Rex Douglass 说数学比自己承认的更自我指涉
RexDouglass · x · 2026-07-27
- 这条回复把前面的讨论推得更远：数学其实比自己宣称的更自我指涉。
- 一方面，数学叙事强调真理、可证性和结果的直接可知；另一方面，它又会诉诸艺术感、洞察力和“尽力而为”。
- 回复进一步指出，问题的根源在于形式化的不完整：证明文化由不完整的抽象所中介，并不是所有东西都被完整写进代码或文本里。
所属事件:元科学视角审视数学可靠性：非例外且易受AI冲击(8 条相关)→
「研究」频道最新
- 前沿 LLM 能多找十倍问题，但评审不是拼找茬数量 — gleech · 2026-07-27
- COLM 2026 论文可走可行动解释性工作坊快通道 — sarahwiegreffe · 2026-07-27
- 推理研究最大变化：从符号轨迹走向自然语言 — denny_zhou · 2026-07-27
- Reddit 长文拆解 Kimi K3 背后的 MoE 和长上下文栈 — MohamedKadri_ · 2026-07-27
- AI 搜索课程讲座力推多向量检索落地 — antoine_chaffin · 2026-07-27
- 一篇经典 OpenAI 论文被称为 scaling 时代起点 — cloneofsimo · 2026-07-27