> "learn programming well enough and you'll know if some piece of code works as expected without running it." That is 100% true. Obviously the code needs to b

> "learn programming well enough and you'll know if some piece of code works as expected without running it." That is 100% true. Obviously the code needs to be self-contained (not calling into other unknown code) but so do mathematical proofs.