Leslie Lamport

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