[IsTom]

Actually Godel's proof is important to CS, it's an analogue of Turing's Proof concerning undecidable problems.

[lcargill99]

My understanding is that Godel's proof was the inspiration for much of Turing's work.