Leslie Lamport Quotes

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

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

Thinking is not the ability to manipulate language; it’s the ability to manipulate concepts.

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

Formatting is no substitute for writing.

"Sometimes" is sometimes "not never".

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