Metamagical Themas

There are three articles centered on the Lisp programming language, where Hofstadter first details the language itself, and then shows how it relates to Godel’s incompleteness theorem.

The title is an example of wordplay: it is an anagram of Mathematical Games, the title of Martin Gardner’s column that Hofstadter’s column succeeded in Scientific American.

— Wikipedia on Metamagical Themas

2011.02.23 Wednesday ACHK