English: A formal definition of computation and computability, and proof that there are computationally unsolvable and intractable problems[8].
Telugu: కంప్యూటేషన్ మరియు కంప్యూటబులిటీ లకు సంపూర్తి నిర్వచనాన్నిచ్చింది అలాగే గణనాత్మక అసంభవ మరియు అసాధ్యమైనప్రశ్నలను[8] నిర్వచించింది.