arvutuslikkus
Arvutuslikkus on matemaatika ja informaatika valdkond, mis uurib, milliseid probleeme saab lahendada algoritmide abil. Probleem on arvutuslikult lahendatav, kui selle lahendamiseks on olemas lõplik juhis ehk algoritm, mis võtab iga sisendi ja väljastab õige vastuse lõpuks.
Peamised mudelid on Turingi masin, rekursiivsed funktsioonid ja lambda-kalkulus. Need formaalsed süsteemid on tihti vahetatult ekvivalentsed:
Olulised mõisted hõlmavad otsustatavust ja otsustamatust. Otsustatav probleem saab lahendada lõpliku algoritmiga; otsustamatu probleem ei saa.