Статья о понятии алгоритм, уточнение этого понятия и использование его в математических терминах - задача современной математической логики.