Здравствуйте, rpaskomid, Вы писали:

R>>>Баг во втором пункте. Почему программ — счетное число? Это еще нужно доказать.
К>>Это-то как раз справедливо. Множество программ — это подмножество конечных строк на конечном алфавите. А множество конечных строк — счётно.
R>Условие задачи не оговаривает уникальность множества программ.

Ну и что? Каждая программа (множество которых счётно) за время своей бесконечной работы способна вывести счётное же количество чисел.
алеф0 * алеф0 = алеф0.

Даже если мы каждый экземпляр программы запустим счётное количество раз (с разными параметрами), снова получим алеф0^3 = алеф0.
А количество параметров счётно, потому что
— Конечные строки — их количество счётно.
— Бесконечные строки — руками мы породить не можем, значит, их порождают другие программы, инициализированные вручную. А про них мы уже знаем, что у них на выходе счётное количество строк. Итого опять счётность.