News for hackers. Stuff that matters.

A comment on Surprise Computer Science Proof Stuns Mathematicians. Parent comment

Re:Surprise Computer Science Proof Stuns Mathematicians by lixtra on Wednesday March 22, 2023 @07:01AM (#35259308)
Definitions (and axioms) are invented. Theorems are then discovered.
[ Parent | on HN ]

There are no comments on this comment yet.