Bonus quote from Lamport, and I will stop, I promise. (Although I can give several similar quotes from Dijkstra also.)

Math is nature's way of letting you know how sloppy your writing is; mathematical rigor has proved a solid foundation for other engineering disciplines — why not ours?