Rex Douglass argues math is more self-referential than it admits
RexDouglass · x · 2026-07-27
- The post says mathematics is far more self-referential than it pretends.
- In one breath, the field talks about truth, provability, and direct knowability; in another, it talks about art, insight, and “trying your best.”
- The reply to this post says the real issue is the incompleteness of formalization: proof culture is mediated by incomplete abstractions, not by code that fully spells everything out.
Related event: Metascience Examines Math Reliability: Not Exceptional and Vulnerable to AI(8 posts)→
More from Research
- AgentPrune cuts multi-agent LLM communication costs from $43.7 to $5.6 in a new paper — sebkrier · 2026-07-27
- A new causal modeling diagram adds ordering, context, adjacency, and mechanism variables — KordingLab · 2026-07-27
- World Model Optimizer launches a router that cuts agent inference cost by 40%+ — SilenN · 2026-07-27
- Frontier LLMs may find 10x more review issues, but peer review is not about maximizing issue count — gleech · 2026-07-27
- Actionable Interpretability Workshop opens fast track for COLM 2026 papers — sarahwiegreffe · 2026-07-27
- Reasoning research’s biggest shift, from symbolic traces to natural language — denny_zhou · 2026-07-27