If I remember right, that section didn’t differ substantially from Lucas’s argument, which I thought had already been effectively rebutted (eg in Godel, Escher,

If I remember right, that section didn’t differ substantially from Lucas’s argument, which I thought had already been effectively rebutted (eg in Godel, Escher, Bach). But maybe I’ll take another look and see if that’s fair.