Back

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

Leslie Lamport , in Specifying Systems: The Tla+ Language and Tools for Hardware and Software Engineers
mathematics
More from the author