Turing gave an argument that was supposed to show that mental procedures cannot carry further than mechanical procedures. That argument is inconclusive, Gödel said, because it depends on the supposition that a finite mind is capable of only a finite number of distinguishable states.

— Richard Tieszen, Simply Gödel

PREVIOUS07/30/2022

NEXT08/01/2022