У меня возник вопрос, и я хотел бы получить небольшое руководство по его решению.
Мне нужно доказать, что следующая проблема неразрешима:
Вход - программа
Проблема - больше ли количество возможных входов, для которых программа останавливается чем те, на которых программа не остановится?
Я попытался построить сокращение, которое (в случае четного ввода) останавливается для каждого четного числа, переходит в бесконечный цикл для каждого нечетного и запускает программу с вводом. Или, если ввод нечетный, делает наоборот - но это работает только в том случае, если я могу доказать, что количество реальных нечетных чисел равно действительным четным числам.