Hofstadter: Gödel, Escher, Bach

Three middle chapters of Douglas Hofstadter's Gödel, Escher, Bach rebuilt as a visual course: how one system is read at several levels, which procedures are guaranteed to finish, and how a formal system is made to talk about itself.

1. 01Levels of Description, and Computer SystemsSource: Douglas R. Hofstadter, Gödel, Escher, Bach: An Eternal Golden Braid, Chapter X, "Levels of Description, and Computer Systems" • Course status: middle-chapter study for the Gödel, Escher, Bach coursePublished 19 Aug 202616 sections
2. 02BlooP and FlooP and GlooPSource: Douglas R. Hofstadter, Gödel, Escher, Bach: An Eternal Golden Braid, Chapter XIII, "BlooP and FlooP and GlooP" • Course status: middle-chapter study for the Gödel, Escher, Bach coursePublished 19 Aug 202618 sections
3. 03On Formally Undecidable PropositionsSource: Douglas R. Hofstadter, Gödel, Escher, Bach: An Eternal Golden Braid, Chapter XIV, "On Formally Undecidable Propositions of TNT and Related Systems" • Course status: middle-chapter study for the Gödel, Escher, Bach coursePublished 19 Aug 202613 sections
4. 04Jumping out of the SystemSource: Douglas R. Hofstadter, Gödel, Escher, Bach: An Eternal Golden Braid, Chapter XV, "Jumping out of the System" • Course status: closing chapter of the Gödel, Escher, Bach coursePublished 19 Aug 202614 sections