1%команд взяли этот вопрос на реальных турнирах, играло 82
Эндрю ГЕлмэн пишет, что для всякой научной модели есть эксперимент, который показывает неточность этой модели. Для каждой следующей модели тоже находится подобный эксперимент. Подводя итог, ГЕлмэн использует рассуждение, подобное которому первым предложил... Кто?
[Георг] КАнтор.
Суть диагонального аргумента КАнтора заключается в том, что элементам более мощного множества невозможно однозначно поставить в соответствие элементы менее мощного множества: например, если попытаться пронумеровать все бесконечные последовательности из нулей и единиц, расположив каждую на новой строке, и заменить в последовательности на диагонали каждый нуль на единицу и наоборот, то результирующая последовательность не будет принадлежать списку. Из слов ГЕлмэна следует, что если принять количество возможных неточностей бесконечным, то любая из конечного числа научных моделей не сможет избежать ошибок, ведь последовательность неточных экспериментов составляет набор, для объяснения которого нужна модель, которой нет в списке.