Задание

В настоящее время известно несколько формулировок тезиса Чёрча-Тьюринга. Установите соответствие формулировки тезиса и используемых терминов.

Для любой алгоритмически вычислимой функции существует вычисляющая её значения машина Тьюринга.

Точное описание интуитивного понятия вычислимости классом общерекурсивных функций.

В терминах вычислимости по Тьюрингу.

В терминах теории рекурсии.