[lcargill99]

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