Sayansi ya tarakilishi
Watetezi wa kuainisha sayansi ya kompyuta kama taaluma ya hisabati hubishana kuwa programu za kompyuta ni utambuzi wa kimwili wa vyombo vya hisabati na programu zinaweza kufikiriwa kwa njia ya kimaadili kupitia mbinu rasmi za hisabati.[47] Wanasayansi wa kompyuta Edsger W. Dijkstra na Tony Hoare wanaona maagizo ya programu za kompyuta kama sentensi za hisabati na kutafsiri semantiki rasmi kwa lugha za programu kama mifumo ya hisabati aksiomatiki.