That may be a useful argument, but I’d be wary of using your intuitions about the kinds of programs that are running on your computer to make conclusions about the kinds of programs you’d find with a random search.
You’re right that I’m missing some arguments. I struggled to come up with anything even remotely rigorous. I’m making a claim about a complex aspect of the behavior of a random program, after all. Rice’s theorem seems somewhat relevant, though I wouldn’t have an argument even if we were talking about primitive recursive functions either. But at the same time the claim seems trivial.
That may be a useful argument, but I’d be wary of using your intuitions about the kinds of programs that are running on your computer to make conclusions about the kinds of programs you’d find with a random search.
You’re right that I’m missing some arguments. I struggled to come up with anything even remotely rigorous. I’m making a claim about a complex aspect of the behavior of a random program, after all. Rice’s theorem seems somewhat relevant, though I wouldn’t have an argument even if we were talking about primitive recursive functions either. But at the same time the claim seems trivial.