The original fallacy seems to be the belief that what is hard with programming is to remember all that pesky syntax. If we didn’t need to do that, and instead could just tell the computer in plain English what we wanted, we could get rid of programmers all together. (And the fallacy isn’t new, see COBOL).

Program equivalence, for instance, hits the wall of the halting problem. Yet somehow people think that it's just a matter of time before an AI that can solve the problem of giving you a mathematically equivalent code to an existing code.