Learning what a proof is is valuable for programming too. Many people don't see a difference between a proof and an argument. It is valuable to learn the differ

Learning what a proof is is valuable for programming too. Many people don't see a difference between a proof and an argument. It is valuable to learn the difference between "This is why this program is correct" and "Here are some reasons why this program is probably correct".