Машина Тьюринга уже может реализовать другую машину Тьюринга и изменить ее правила , скажем, чтобы принимать в качестве входных данных изменяемую программу. В частности, машина Тьюринга может вычислять любую вычислимую функцию. Теоретически он мог бы реализовать интерпретатор lisp, в котором были бы макросы, самомодифицирующийся код и т. Д.
Итак, ответ НЕТ . Помните, никто, и я имею в виду, что ни у кого, нигде и никогда абсолютно не было 10000 * желанных машин Тьюринга, хотя, без сомнения, были написаны миллионы симуляторов. (Я не признаюсь в этом, но, будучи студентом, я мог сделать что-то подобное ...) Это просто то, на чем основаны различные важные доказательства.