Cтраница 3
Кажется: пять вопросов - пять ответов, пять уверенных да или нет. Однако едва ли с такой гладкой схемой связаны были надежды Резерфорда, когда составлялся тот химический вопросник для Содди. На все вопросы, разве что кроме четвертого, где речь шла попросту о чувствительности аналитических весов, могли быть получены любые ответы. [31]
Понятие диагнолизации уже неявно встречалось при доказательстве теоремы 3.1 о существовании неразрешимых проблем. Поясним более детально эту связь. Допустим ( для удобства), что необходимо получить ответы на вопросы о целых числах с ответами типа ДА или НЕТ. Такое перечисление легко организовать для любого стандартного определения алгоритма, например, для машин Тьюринга. Любой ответ на этот вопрос всегда противоречив. [32]