Hacker News new | ask | show | jobs
by delusional 334 days ago
> then mathematics is fallible

Wasn't this essentially the conclusion of Gödel. Math, based on a set of axioms, will either have to accept that there are things that are true but can't be proven, or that there are proofs that aren't true.