There is a race between the increasing complexity of the systems we build and our ability to develop intellectual tools for understanding their complexity. If the race is won by our tools, then systems will eventually become easier to use… — 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
