Простыми словами
Например, генератор обещает перечислить все возможные бесконечные последовательности. Построив новую последовательность, отличающуюся от каждой строки хотя бы в одной позиции, можно показать, что список неполон. Поэтому результат задаёт границу для алгоритмов и ожиданий - он помогает отличить задачу, которую можно ускорить, от задачи с фундаментальным ограничением.
Пример при разработке
Генератор обещает перечислить все возможные бесконечные последовательности. Построив новую последовательность, отличающуюся от каждой строки хотя бы в одной позиции, можно показать, что список неполон.
Это редакционный пример применения, а не часть определения или доказательство концепции.Механизм действия
Сначала проверяют, есть ли исходное условие из определения. Затем смотрят, как оно влияет на исходные параметры, ограничения модели и измеряемые величины. Если эту связь не удаётся наблюдать, принцип не стоит использовать как готовое объяснение.
Пример в работе
Решение принимают без учета механизма «Диагональный аргумент Кантора», оценивая только ближайший эффект.
Перед изменением проверяют, как «Диагональный аргумент Кантора» влияет на ограничения, стимулы, зависимости и вторичные последствия.
Ограничения
«Диагональный аргумент Кантора» объясняет только часть происходящего в области «Теория вычислений». Сам принцип не говорит, насколько сильным будет эффект в вашем случае, и не заменяет измерения. При другом масштабе, среде или временном горизонте результат может отличаться.
Источник
Georg Cantor, “Über eine elementare Frage der Mannigfaltigkeitslehre”, 1891.