Teoria computației se concentrează pe răspunsul la întrebările fundamentale despre ceea ce poate fi calculat și ce cantitate de resurse sunt necesare pentru a efectua aceste calcule. În efortul de a răspunde la prima întrebare, teoria computabilității examinează care probleme computaționale sunt rezolvabile pe diferite modele teoretice de calcul. A doua întrebare este abordată de teoria complexității computaționale, care studiază costurile de timp și spațiu asociate cu diferite abordări pentru rezolvarea unei multitudini de probleme computaționale. Întrebare: Care este perspectiva lui Peter Dennings asupra științei calculatoarelor?
"Ce poate fi (eficient) automatizat?"