Að sögn Peter Denning er grundvallarspurningin sem liggur að baki tölvunarfræði sú að "hvað er hægt að sjálfvirka (virka)?" Þýðingafræði er einbeitt að því að svara grundvallarspurningum um hvað er hægt að reikna og hversu mikið af auðlindum þarf til að framkvæma þessar útreikningar. Til að svara fyrstu spurningunni skoðar tölvunarhæfingarkenningin hvaða tölvunarvandamál eru lausn á ýmsum fræðilegum tölvunarlíkum. Önnur spurningin er unnin með tölvunarþrautleikagreiningu, sem rannsakar tíma- og rýmiskostnað sem tengist mismunandi aðferðum við að leysa fjölda tölvunarvandamála. Spurning: Hver er sjónarhorn Peter Dennings á tölvunarfræði?
"Hvað er hægt að sjálfvirkja (virklega)?"