n.b. Why did Douglas Hofstadter include him in Goedel Escher Bach (I had to research, thought I'd share)