Peter Denningin mukaan tietotekniikan perustavanlaatuinen kysymys on "Mitä voidaan (tehokkuudella) automatisoida?" Tietotekniikan teoria keskittyy vastaamaan perustavanlaatuisiin kysymyksiin siitä, mitä voidaan laskea ja kuinka paljon resursseja tarvitaan näiden laskelmien suorittamiseen. Pyrkiessään vastaamaan ensimmäiseen kysymykseen, laskennallisuusteoria tutkii, mitkä laskennalliset ongelmat ovat ratkaistavissa erilaisilla teoreettisilla laskennallisilla malleilla. Toinen kysymys käsitellään laskennallisen monimutkaisuuden teorialla, joka tutkii aika- ja avaruuskustannuksia, jotka liittyvät erilaisiin lähestymistapoihin lukuisten laskennallisten ongelmien ratkaisemiseksi. Kysymys: Mikä on Peter Denningin näkemys tietotekniikasta?
"Mitä voidaan (tehokkaan) automatisoida?"