98

Согласно тезису Чёрча — Тьюринга, любой компьютер так называемого универсального тьюрингова типа может моделировать действия другого компьютера, поэтому вполне справедливо, что находящийся внутри симуляции компьютер — он сам смоделирован основным компьютером, на котором выполняется общая симуляция — может решать определённые задачи, эквивалентные тем, что решаются на основном компьютере.

Загрузка...