> 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 progra

> 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?