For a more complete and discerning look at Godel’s theorems, look at the following:
http://www.sm.luth.se/~torkel/eget/godel.html
[Home] [Syllabus] [Sessions] [Writing Code] [Help] [Setup] [Instructor]