Hofstadter: Gödel, Escher, Bach
Formal systems, meaning, computation, and the self-referential loop
Eight selected chapters of Douglas Hofstadter's Gödel, Escher, Bach rebuilt as a visual course: foundations in formal systems, meaning, and decidability lead into levels of description, the limits of computation, formal self-reference, attempts to repair undecidability, and strange loops.