Douglas Hofstadter’s book is concerned directly with the nature of “maps” or links between formal systems. However, accord...