Refuting Lucas: (1)
Turing decisively refuted Lucas
- in his article `Computing Machinery and Intelligence’
The defeat is on two counts
- 1. “Although it is established that there are limitations to the powers of any particular machine, it has only been stated without any sort of proof, that no such limitations apply to the human intellect”
- I.e. are we sure humans can prove all true theorems?
Maybe humans are unlimited? What then?