Leslie Lamport Quotes & Sayings

Top 8 Leslie Lamport Quotes

#1. Writing is nature's way of letting you know how sloppy your thinking is.

#2. Thinking is not the ability to manipulate language; it's the ability to manipulate concepts.

#3. Formatting is no substitute for writing.

#4. A distributed system is one in which the failure of a computer you didn't even know existed can render your own computer unusable.

#5. When I write a paper, I change my notation much more than I change my concepts.

#6. Thinking doesn't guarantee that we won't make mistakes. But not thinking guarantees that we will.

#7. "Sometimes" is sometimes "not never".

#8. Formal mathematics is nature's way of letting you know how sloppy
your mathematics is.