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

R>Баг во втором пункте. Почему программ — счетное число? Это еще нужно доказать.

Это-то как раз справедливо. Множество программ — это подмножество конечных строк на конечном алфавите. А множество конечных строк — счётно.