A Beginning for Mathematics
pact_inference
28 points
4 comments
September 14, 2026
Related Discussions
Found 5 related stories in 115.8ms across 10,991 title embeddings via pgvector HNSW
- A Beginning for Mathematics robinhouston · 188 pts · September 14, 2026 · 87% similar
- If math is more than proof, we need to better celebrate the rest of it num42 · 336 pts · September 19, 2026 · 57% similar
- The Future of Mathematics smilelamp · 107 pts · October 05, 2026 · 57% similar
- How to Formalize All of Mathematics practal · 78 pts · October 16, 2026 · 55% similar
- The Dark Night of Mathematics rmdmphilosopher · 187 pts · July 25, 2026 · 51% similar
Discussion Highlights (1 comments)
godelski
Dupe of https://news.ycombinator.com/item?id=49698699