Hofstadter uses "isomorphism" more broadly than its strict …

Hofstadter uses "isomorphism" more broadly than its strict mathematical definition. While in formal mathematics, isomorphism means "equivalence" between structures (like how Turing Machines, arithmetic, set theory, and formal logic are provably isomorphic), **Hofstadter deliberately uses the term more loosely to describe two systems that are structurally similar**.