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.

CAPTCHA
This question is for testing whether you are a human visitor and to prevent automated spam submissions.