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