(I was inspired in part by Douglas Hofstadter, who did something similar on a smaller scale in "Le Ton Beau de Marot".)
http://www2.kenyon.edu/Depts/Math/Milnikel/boolos-godel.pdf
I wonder if Hofstadter was inspired by Boolos?
(I was inspired in part by Douglas Hofstadter, who did something similar on a smaller scale in "Le Ton Beau de Marot".)