3 ms·
This is something of an anecdatum, but of the formally trained philosophers and logicians I know, none regard arguments of the sort Lucas/Penrose advance as via
by eynsham 4y ago
This is something of an anecdatum, but of the formally trained philosophers and logicians I know, none regard arguments of the sort Lucas/Penrose advance as viable.
- gizajob 4y agoCan any of them programme computers?
- eynsham 4y agoSome of them, but they don’t do it much. But they have quite good maths/TCS knowledge overall (one did part III maths at Cambridge, one seems to know all of Barendegt’s lambda calc book…)
- musicale 4y agoThey present a fairly convincing argument that human intelligence is impossible.
- tazedsoul 4y agoGold
- tazedsoul 4y agoPenrose would say that logicians can’t compute consciousness, so no wonder they don’t agree with his argument; computers (logicians) literally can’t! That’s Penrose’s very argument, which so few seem to get.
- simonh 4y agoI see plenty of evidence that they’re right.