Kwa mujibu wa Peter Denning, swali la msingi msingi wa sayansi ya kompyuta ni, "Ni nini kinachoweza kuwa (kwa ufanisi) kiotomatiki?" Nadharia ya hesabu inazingatia kujibu maswali ya kimsingi kuhusu kile kinachoweza kuhesabiwa na ni kiasi gani cha rasilimali kinachohitajika kufanya mahesabu hayo. Katika jitihada za kujibu swali la kwanza, nadharia ya kuhesabu inachunguza matatizo ya hesabu ambayo yanaweza kutatuliwa kwenye mifano mbalimbali ya kinadharia ya hesabu. Swali la pili linashughulikiwa na nadharia ya utata wa hesabu, ambayo inachunguza gharama za muda na nafasi zinazohusiana na mbinu tofauti za kutatua matatizo mengi ya hesabu. Swali: Maoni ya Peter Denning juu ya sayansi ya kompyuta ni nini?
"Ni nini kinachoweza kuwa (kwa ufanisi) kiotomatiki?"