they never ran the program they claimed couldn’t exist ??

Also, why directly run the programs? What about running them with a wrapper program that crashes em if they invert the output of their input?

All this undecidability stuff reads like regurgitated hokum to justify giving up on a problem just because a single oversimplified case can’t be solved for all pathological inputs in a particular way (without bothering to look for a workaround)