Benacerraf argues inconsistently to his conclusion that I'm a Turing machine but can't prove which one.
He says that for each program it can be demonstrated that the program doesn't represent me, but that I still might be represented by some program.
But he consistently claimed that no particular program represents me and at the same time that some program represents me.
John Lucas (1988). |