Ограниченность диагонального метода Кантора Диагональный метод Кантора традиционно используется как доказател…
Ограниченность диагонального метода Кантора Диагональный метод Кантора традиционно используется как доказательство несчётности множества всех бесконечных последовательностей из 0 и 1 (или, эквивалентно, несчётности интервала ). Однако, при попытке строго проанализировать сам метод, возникает естественный вопрос: действительно ли он доказывает существование «невычислимого» или «неперечислимого» элемента, или лишь указывает на ограниченность ... https://clck.ru/3JMiuD
Автор: Habr все новости об IT