The corrected argument, it turns out, shows that:
- Lucas may be a Turing machine. So Lucas's intended argument—that is not a machine—fails.
- Furthermore, if Lucas is a Turing machine, he has no way of knowing which one he is.
Paul Benacerraf (1967).Note
: This argument Simeon stimulates a highly technical thread of debate that is not represented here because of its length and complexity.
The thread includes papers from Hanson (1971), Chahara (1972), and Reinhardt (1986).