Gödel, Escher, Bach: an Eternal Golden Braid
Here are some notes on
Gödel, Escher, Bach: an Eternal Golden Braid
, by Douglas Hofstadter.
Notes on formal systems in GEB
Notes on Propositional Calculus
Notes on Typographical Number Theory
Computer programs
Program to interpret formulas of Propositional Calculus
Program to interpret formulas of Typographical Number Theory
Typogenetics simulator
Other
Problem solutions
Miscellaneous comments
David Boozer
Last modified 25 January 2009
boozer at caltech dot edu