De Peter Denning seet, datt d'fundamental Fro, déi d'Computerwëssenschaft ënnersträicht, ass, "Wat kann (effizient) automatiséiert ginn?" D'Theorie vun der Berechnung ass op d'Äntwert op fundamental Froen iwwer wat berechent ka ginn a wéi vill Ressourcen fir dës Berechnungen erfuerderlech sinn. An engem Effort fir déi éischt Fro ze beäntweren, d'Berechnungsfäegkeetstheorie iwwerpréift wéi eng Berechnungsprobleemer op verschiddene theoretesche Modeller vun der Berechnung geléist kënne ginn. Déi zweet Fro gëtt vun der Berechnungskomplexitéitstheorie adresséiert, déi d'Zäit- a Raumkäschten studéiert, déi mat verschiddene Approche verbonne sinn fir eng Villzuel vu Berechnungsprobleemer ze léisen.
"Wat kann (effizient) automatiséiert ginn?"