Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Gödel’s first incompleteness theorem – an interactive tutorial. Parent comment
Why exactly it "leads to"? I don't get it.
Why system can't have a contradiciton for one set of inputs, and not have it for others?
There are no comments on this comment yet.
Why exactly it "leads to"? I don't get it.
Why system can't have a contradiciton for one set of inputs, and not have it for others?