[cgmg]

> do you believe that computer programs will be able to generate meaningful, novel computer programs

Yes. There's a whole field dedicated to this called program synthesis. The undecidability of the halting problem does not preclude program synthesis.

> given that even the most cursory subproblem is impossible

What makes you think the halting problem is a 'cursory subproblem'?

Moreover, what makes you think humans can solve the halting problem?