Hesaplanabilirlik
Hesaplanabilirlik bir sorunun verimli bir biçimde çözülebilmesidir. Matematiksel mantık dalı hesaplanabilirlik kuramı ile bilgisayar bilimi dalı algoritmalar kuramının temelini oluşturmaktadır. Bir sorunun hesaplanabilirliği, çözüm için bir algoritmanın var olup olmadığıyla yakından ilintilidir.