В 1936 году англичанин Алан Тьюринг и американец Алонзо Черч, оба — математики, официально предложили алгоритм, описывающий способ числовой обработки информации, и представили модель развития компьютерной технологии. Тезис, известный под названием тезиса Черча-Тьюринга, по существу, утверждает, что если функция поддается вычислению, то ее можно вычислить с помощью компьютера. Теория обращается к основным свойствам вычислительных устройств, таких как электронные компьютеры, и утверждает, что любое...

Мы в нашей статье "Об одном алгоритме, не согласующемся с тезисами Тьюринга, Черча и Маркова", опубликованной в журнале "Проблемы современной науки и образования", 2014. №3(21) опровергли известные в теории алгоритмов тезисы Тьюринга, Черча и Маркова. С уважением, Б. С. Кочкакрев