3 ms·
Ok, I think I have a rebuttal: your whole point rests on the assumption that a human mind is indeed a machine, which is begging the question. Is that right?
by fiatjaf 9y ago
Ok, I think I have a rebuttal: your whole point rests on the assumption that a human mind is indeed a machine, which is begging the question.
Is that right?
- lisper 9y agoNo. I'm neither assuming nor showing that the human mind is a machine. All I'm showing is that the Lucas-Penrose argument that the mind is not a machine is invalid, because it glibly assumes that the human mind is capable of Godelizing any possible mechanistic model of the mind, and that is not necessarily true. If the mind is a machine, then it will not be able to Godelize a mechanistic model that includes that mind as a component. The best any given mind can do is construct the Godel sentence for a mechanistic model of some other mind. But that does not show that the first mind is not a machine.
- fiatjaf 9y agoI get it.