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.
They present a fairly convincing argument that human intelligence is impossible.
Gold
Penrose 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.
I see plenty of evidence that they’re right.
Can any of them programme computers?
Some 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…)