07/31/2022

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