Почему диагональное рассуждение считается эффективным методом для доказательства невычислимости функций?

Диагональное рассуждение считается эффективным методом для доказательства невычислимости функций, потому что позволяет строить примеры невычислимых функций с помощью универсальной функции. homepage.mi-ras.ru

С помощью этого метода можно, например, доказать, что для класса всюду определённых вычислимых функций одного аргумента не существует всюду определённой вычислимой универсальной функции. neerc.ifmo.ru

Кроме того, диагональное рассуждение используется для доказательства несчётности множества всех бесконечных десятичных дробей. intuit.ru