Edit: On further reflection, I suppose he didn't, if we consider the effort to span Gödel Escher Bach and I Am a Strange Loop.
Edit: On further reflection, I suppose he didn't, if we consider the effort to span Gödel Escher Bach and I Am a Strange Loop.