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

• Объекты 1
  • Для любой алгоритмически вычислимой функции существует вычисляющая её значения машина Тьюринга.
  • Точное описание интуитивного понятия вычислимости классом общерекурсивных функций.
• Объекты 2
  • В терминах вычислимости по Тьюрингу.
  • В терминах теории рекурсии.