There are two kinds of theorems
Brajeshwar
14 points
1 comment
August 12, 2026
Related Discussions
Found 5 related stories in 42.3ms across 4,128 title embeddings via pgvector HNSW
- How Gödel's Proof Works (2020) tzury · 89 pts · August 13, 2026 · 41% similar
- Theo Conjecture solves 35-year-old math problem, finds a term no one predicted otalp · 33 pts · July 29, 2026 · 39% similar
- The Dark Night of Mathematics rmdmphilosopher · 187 pts · July 25, 2026 · 38% similar
- Human mathematicians are being outcounterexampled artninja1988 · 288 pts · July 20, 2026 · 38% similar
- Terence Tao's ChatGPT conversation about the Jacobian Conjecture counterexample gmays · 745 pts · July 22, 2026 · 38% similar
Discussion Highlights (1 comments)
pavel_lishin
> We develop the theory of the Peano numbers, define addition, and prove that addition is commutative, Was that because we didn't know how to do addition? No. We already knew that addition was commutative. The point of the theorem is to show that Peano arithmetic knows that addition is commutative. Gotta remember this when the kiddo starts doing proofs.