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

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?