Yes. You can't "prove" that anything but a trivial program works correctly. I think that was the conclusion of the famous paper by Turing in the 1930's.
On a paper submitted by a physicist colleague: "This isn't right. This isn't even wrong." -- Wolfgang Pauli