Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Julia Robinson helped define the limits of mathematical knowledge (2019). Parent comment
I'm somewhat lost, but it seems to work Gödel like.
The statement is true (equation has no solution) but we can't prove it.
There are no comments on this comment yet.
I'm somewhat lost, but it seems to work Gödel like.
The statement is true (equation has no solution) but we can't prove it.