3 ms·
Actually Godel's proof is important to CS, it's an analogue of Turing's Proof concerning undecidable problems.
by IsTom 14y ago
Actually Godel's proof is important to CS, it's an analogue of Turing's Proof concerning undecidable problems.
- lcargill99 14y agoMy understanding is that Godel's proof was the inspiration for much of Turing's work.