Too many people think "the computer" can decide things - it doesn't, just regurgitates what the programmer put there. That's where the GIGO syndrome came from (Garbage In, Garbage Out)
With all due respect, and not to be off topic, I don't think many people believe that computers have autonomy of mind. And as for Programming, the fundamentals here are not so much what was intended but what was unintended.
Most critical Software (as far as I know) is formally verified using a methodology such as VDM or Z, as well as isolated n-team n-version programming and polling/voting (or at least it was for the 744 RR EEC). Intended operation is well defined and documented (and probably published somewhere).
Even with n-teams and n-versions in n-languages with n-formal verifications the question is can insidious side effects (for example through multiple system interaction) cause unintended issues through all versions - resulting in a poll and vote for the wrong side?
Of course a faulty initial Specification screws everything up.
Its a few years since my Soft Eng degree so I hope I still make sense.