logoalt Hacker News

bananaflag • today at 12:41 PM • 0 replies • view on HN

The same way Goedel's 0th incompleteness theorem doesn't make math proofs impossible (this is not sarcasm btw).