Un concetto è definito calcolabile, o algoritmico, quando possibile determinarlo tramite un algoritmo, ovvero si può descrivere una sequenza di istruzioni capaci di classificare gli oggetti in accordo con il concetto entro un tempo finito.