Задание

Из приведенных определений тезиса Черча выберите верное

Всякая интуитивно вычислимая функция является вычислимой по Тьюрингу

класс алгоритмически (или машинно) вычислимых частичных числовых функций совпадает с классом всех частично рекурсивных функций

Любой вербальный алгоритм в алфавите М может быть реализован некоторым нормальным алгоритмом над алфавитом М

Частичная арифмитическая функция f называется частично рекурсивной, если она может быть получена из простейших функций O, S, Umn конечным числом операций подстановки, примитивной рекурсии и минимизации.