7.1 Неформальная вычислимость и машины Тьюринга