Rigor in proof is what separates mathematics from all other sciences.
The most important thing in the programming world is to make sure that the software we create is reliable and efficient.