This has been a tremendous article to read through, especially the computational aspect. I started reading about Godel from Godel, Escher & Bach, then Nagel & Newman, but yet Dr.Dawson's this article is simply great !! I would have felt elated with similar articles and more insight on Godel.