Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on In Mathematics, Mistakes Aren’t What They Used to Be (2015). Parent comment
So it's only interesting when unprovable theorems are true.
(If you're looking for a false theorem that isn't disprovable, simply negate an unprovable true theorem.)
There are no comments on this comment yet.
So it's only interesting when unprovable theorems are true.
(If you're looking for a false theorem that isn't disprovable, simply negate an unprovable true theorem.)