Детский обучающий компьютер "Машина"

Следовательно, каждый из них также полагал, что его модель эквивалентна (имеет тот же репертуар) любой другой разумной формализации подобной интуиции. Сейчас это известно как гипотеза Черча - Тьюринга. Модель вычислений Тьюринга и концепция природы задачи, которую он решал, была наиболее близка к физике. Его абстрактный компьютер, машина Тьюринга, представлял собой бумажную ленту, разделенную на квадраты, причем на каждом квадрате был написан один из конечного числа легко различимых символов. Вычисление осуществлялось следующим образом: проверялся один квадрат, затем лента перемещалась вперед или назад, стирая или записывая один из символов в соответствии с простыми недвусмысленными правилами. Тьюринг доказал, что один конкретный компьютер такого типа, универсальная машина Тьюринга, имеет объединенный репертуар всех других машин Тьюринга. Он предположил, что этот репертуар в точности состоит из «каждой функции, которую естественно посчитали бы вычислимой». Он имел в виду вычислимой математиками. Однако математики это достаточно нетипичные физические объекты ...»