Хофштадтер (Hofstadter) — фамилия.

Примечания