alt Hacker NewsDo you distinguish between Penrose's argument and the older one by Lucas, invoking Gödel's proof that certain facts are non-computable?
I always felt it's basically the same argument, and Lucas's was never really convincing; Hofstadter rebutted it very convincingly in GEB long before Penrose's books came out.
To me, camp C's claim is possible but I don't buy the argument that says it's necessary. So I guess I'm camp A. (D is religion and B seems to me incoherent.)
I haven't read GEB (yet), but I'd say I do feel there's a difference between the original formulation of Lucas and the extensions that Penrose provide. At this stage I can't say whether I'd agree with Hofstadter or not on the rebuttal though.
As for the camps, I agree with you that B doesn't really make sense (at least to me). I can put myself in position to argue for A, C and D, but as mentioned in my original post so far I agree with C the most.