Beyond Zero and One (Andrew Smart) / quote 155 of 171
Gödel and the limits of AI
Roger Penrose argues that because humans can grasp Gödel’s theory, the mind is not a formal logical system. He argues that the source of our intuitions and consciousness must come from a new kind of quantum physics. Leonid Perlovsky says that within AI the consequences of Gödel’s result are mostly ignored. Fundamentally, AI attempts to build formal logical models of the mind, and this continues today. Even one of the most powerful AI models that we have seen, the Gödel Machine, does not escape the fundamental limitations of provability and computability that Gödel’s theorem revealed.