Существование универсальных вычислителей

Каждый раз, когда мы строили программу для новой Машины Тьюринга, даже если мы при этом употребляли программы для остальных машин, не очевидно предполагалось, что как-то, где-то, кем-то строилась каретка, владеющая заданным набором состояний, способная распознавать и записывать знаки из заданного алфавита и т.П. Построение таковой каретки - сама по себе задачка не из обычных. Для каждого нового метода мы обязаны строить новый исполнитель. Это смотрится приблизительно так, как если бы для каждой новой программы нам нужно было строить новый компьютер.