Volgens Peter Denning is die fundamentele vraag wat die rekenaarwetenskap onderliggend is, "Wat kan (doeltreffend) geoutomatiseer word?" Die teorie van berekening is gefokus op die beantwoording van fundamentele vrae oor wat bereken kan word en watter hoeveelheid hulpbronne benodig word om daardie berekeninge uit te voer. In 'n poging om die eerste vraag te beantwoord, ondersoek die berekenbaarheidsteorie watter rekenaarprobleme op verskillende teoretiese modelle van berekening oplosbaar is. Die tweede vraag word aangespreek deur die rekenaarkompleksiteitsteorie, wat die tyd- en ruimte-koste bestudeer wat verband hou met verskillende benaderings om 'n menigte rekenaarprobleme op te los. Vraag: Wat is Peter Dennings se perspektief op rekenaarwetenskap?
"Wat kan (doeltreffend) geoutomatiseer word?"