Gödel's Incompleteness Theorem
A 1931 result by mathematician Kurt Gödel: in any formal mathematical system powerful enough to describe arithmetic, there are true statements that cannot be proved within that system.
A 1931 result by mathematician Kurt Gödel: in any formal mathematical system powerful enough to describe arithmetic, there are true statements that cannot be proved within that system. Relevant to AI because it is sometimes used to argue that human reasoning exceeds what any machine can do.