“Formal mathematics is nature's way of letting you know how sloppy your mathematics is.” — Leslie Lamport Copy Share Image
Thinking is not the ability to manipulate language; it’s the ability to manipulate concepts. — Leslie Lamport Copy Share Image
“Formal mathematics is nature's way of letting you know how sloppy your mathematics is.” — Leslie Lamport Copy Share Image
A distributed system is one in which the failure of a computer you didn't even know existed can render your own computer unusable. — Leslie Lamport Copy Share Image
When I write a paper, I change my notation much more than I change my concepts. — Leslie Lamport Copy Share Image
Thinking doesn't guarantee that we won't make mistakes. But not thinking guarantees that we will. — Leslie Lamport Copy Share Image
There is a race between the increasing complexity of the systems we build and our ability to develop intellectual tools for understanding their complexity.… — Leslie Lamport Copy Share Image
