Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on 1931: Kurt Gödel shows limits of math, logic, computing, AI. Parent comment
Which of those limitations apply only to AI and not to human intelligence and mathematical reasoning?
Is it somehow surprising that AI can't prove mathematical contradictions to be true?
There are no comments on this comment yet.
Which of those limitations apply only to AI and not to human intelligence and mathematical reasoning?
Is it somehow surprising that AI can't prove mathematical contradictions to be true?