Thread

If math is more than proof, we need to better celebrate the rest of it

433 points · 285 comments · num42

smy20011 · 1789802747 · focus · HN ↗
Even if we can proof/disproof any statement in Math (not possible due to halting problem), Human still need to decide which statement to be called "theorem".
The theorem thing is invented by human to help other people better understand Math structure in a easier way.

Unofficial Hacker News client; not affiliated with Y Combinator.