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

O>Докажем сабж .
O>1) каждому вещественному числу поставим в соответствие программу на C++, вычисляющую его n-ю цифру в десятичной записи
O>2) программ на C++ — счётное число
O>3) таким образом множество вещественных чисел счётно

O>Найдите баг в доказательстве.

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