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