Ifølge Peter Denning er det grundlæggende spørgsmål, der ligger til grund for datalogi, "Hvad kan automatiseres (effektivt)?" Teorien om beregning er fokuseret på at besvare grundlæggende spørgsmål om, hvad der kan beregnes, og hvilken mængde ressourcer der kræves for at udføre disse beregninger.
"Hvad kan (effektivt) automatiseres?"