Опишите устройство абстрактной машины Тьюринга. Сформулируйте тезис Чёрча-Тьюринга и обсудите его философское и практическое значение для определения того, что такое «вычислимость». Рассмотрите понятие проблемы остановки.