Oh wow! This is a great write up on Godel's work. Anybody who even vaguely cares about fundamentals of computer science should definitely give it a read, and if possible a thorough read.<p>Slightly related: Although a more technical/deeper discussion, but the book "Godel's Proof"[1] by Nagel and Newman is a very approachable text in this domain, and explains many aspects of the incompleteness theorems.<p>[1] <a href="http://www.amazon.com/G%C3%B6dels-Proof-Ernest-Nagel/dp/0814758371" rel="nofollow">http://www.amazon.com/G%C3%B6dels-Proof-Ernest-Nagel/dp/0814...</a>
There's a translation of Gödel's paper linked via his wikipedia entries <a href="https://docs.google.com/viewer?url=http://www.research.ibm.com/people/h/hirzel/papers/canon00-goedel.pdf" rel="nofollow">https://docs.google.com/viewer?url=http://www.research.ibm.c...</a> [google docs viewer]<p>curious facts: he died of starvation; he was a theist <a href="http://en.wikipedia.org/wiki/Kurt_G%C3%B6del#Later_years_and_death" rel="nofollow">http://en.wikipedia.org/wiki/Kurt_G%C3%B6del#Later_years_and...</a>
This article took me to another from the same author<p>'<a href="http://skibinsky.com/godel-incompleteness-for-startups/#footnote-4'" rel="nofollow">http://skibinsky.com/godel-incompleteness-for-startups/#foot...</a><p>and I found the below statement and laughed out aloud. Although in the context, this statement makes sense, in general, I trust books that don't belong to human-related matters (technical etc), because in human-related matters it is mostly one's opinion against others.<p>"As soon as these popular books leave the domain of human-related matters you are totally on your own."
What I find interesting are the claims Penrose[1] and others make about human versus machine intelligence based on Godel's results.<p>[1] <a href="https://en.wikipedia.org/wiki/Philosophy_of_artificial_intelligence#Lucas.2C_Penrose_and_G.C3.B6del" rel="nofollow">https://en.wikipedia.org/wiki/Philosophy_of_artificial_intel...</a>
It would be interesting to speculate the consequence of Godel's Incompleteness deductions on the quest for Grand Unified Field Theorems in theoretical physics