Secondo Peter Denning, la domanda fondamentale alla base dell'informatica è: "Cosa può essere (efficientemente) automatizzato?" La teoria della computazione è focalizzata sulla risposta a domande fondamentali su ciò che può essere calcolato e quale quantità di risorse sono necessarie per eseguire tali calcoli. Nel tentativo di rispondere alla prima domanda, la teoria della computabilità esamina quali problemi computazionali sono risolvibili su vari modelli teorici di calcolo. La seconda domanda è affrontata dalla teoria della complessità computazionale, che studia i costi di tempo e spazio associati a diversi approcci per risolvere una moltitudine di problemi computazionali. Domanda: Qual è la prospettiva di Peter Denning sulla scienza informatica?
"Cosa può essere (efficientemente) automatizzato?"