What Gödel Discovered

gödel explained from a programming point of view, using a made up lisp