Re:The Lucas-Penrose Argument about Gödel's Theorem (2012)
by mannykannot on Tuesday May 30, 2017 @09:56AM
(#14445364)
Thanks - that seems to be the idea I was groping for.
In this particular case, though, it seems close to circularity - if the primary purpose of the argument is to refute the computational theory of mind, then ruling out a whole class of machines a priori looks to me like begging a chunk of the question - though I appreciate that it leads to a better-defined question.
In this particular case, though, it seems close to circularity - if the primary purpose of the argument is to refute the computational theory of mind, then ruling out a whole class of machines a priori looks to me like begging a chunk of the question - though I appreciate that it leads to a better-defined question.