Back

Formal mathematics is nature's way of letting you know how sloppyyour mathematics is.

in Specifying Systems: The Tla+ Language and Tools for Hardware and Software Engineers
mathematics