Немного другая версия проблемы с остановкой

Question

Я застрял с вопросом и хотел бы получить небольшое руководство для решения.

Мне нужно доказать, что следующая проблема неразрешима:
Ввод - программа
Проблема - больше ли возможных входов, для которых программа останавливается, больше, чем тех, для которых программа не останавливается?

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

Answer 1

Вот подсказка.

˙ „ɥƃnouǝ ǝƃɹɐʃ„ ǝɹɐ ʇɐɥʇ sʇnduı ʃʃɐ ɟoɹ ʇʃɐɥ ɯıɯ ʇɐɥʇ sɯɐɹƃoɹd ʇɐ ʞoo˥