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