Властивість функції або задачі, яка означає існування алгоритму для її точного розв’язання за скінченну кількість кроків; теорія, що вивчає такі функції та межі алгоритмічного розв’язання задач.
Можливість бути обчисленим, визначеним за допомогою формальної процедури (алгоритму).