This is very old. Yes, programming is a super set of theorem proving. It is true, but not generally useful. Building useful programmes is, IMO, best describe

This is very old. Yes, programming is a super set of theorem proving. It is true, but not generally useful. Building useful programmes is, IMO, best described as a craft. It is learnt from other crafters, and improves with practice Formal methods can be helpful in specific cases but generally speaking writing correct formal specifications is just as hard, or harder, than writing useful, reliable, computer programs