ملاحظة: وفقاً لبيتر دينينج، فإن السؤال الأساسي وراء علوم الكمبيوتر هو، "ما الذي يمكن أن يكون (بفعالية) آلي؟" تركز نظرية الحساب على الإجابة على الأسئلة الأساسية حول ما يمكن حسابه وما هي كمية الموارد المطلوبة لأداء تلك الحسابات. في محاولة للإجابة عن السؤال الأول، نظرية القدرة الحسابية تفحص المشاكل الحسابية القابلة للحل على نماذج نظرية مختلفة للحساب. السؤال الثاني يتم معالجته من خلال نظرية التعقيد الحسابي، والتي تدرس تكاليف الوقت والفضاء المرتبطة بالنهج المختلفة لحل عدد كبير من المشاكل الحسابية. السؤال: ما هي منظور بيتر دينينج في علوم الكمبيوتر؟
"إنه ممكن أتمتة (بفعالية)؟"