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.
More from Research
- Tsinghua professor's ApexIntelligence raises $50M to build self-evolving foundation models — DeryaTR_ · 2026-10-16
- Anders Sandberg on fluid computation: error budgets tighten quadratically over time — anderssandberg · 2026-10-16
- How the fluid computation works: force field advects particle to 0/1 boxes — anderssandberg · 2026-10-16
- FlashAttention creator Tri Dao joins Radical Numerics as scientific advisor — exnx · 2026-10-16
- SAIR Launches Open Math OS, Offering Free Compute and 100+ Tools for Community-Owned Math AI — Thom_Wolf · 2026-10-16
- JapanFold Claims One Tenstorrent Server Beats an Nvidia DGX B200 on Bio Models at a Third of the Price — DavidBennett__ · 2026-10-16