Leslie Lamport

Professions :

Computer Scientist

Born :

February 7, 1941

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

computer failure technology

Thinking doesn't guarantee that we won't make mistakes. But not t... by Leslie Lamport

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

guarantees-that mistake thinking

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 and more reliable. If not, they will continue to become harder to use and less reliable for all but a relatively small set of common tasks. Given how hard thinking is, if those intellectual tools are to succeed, they will have to substitute calculation for thought.

learning race thinking

When I write a paper, I change my notation much more than I chang... by Leslie Lamport

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

statistics paper writing

Thinking is not the ability to manipulate language; it’s the abil... by Leslie Lamport

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

ability language thinking

Formatting is no substitute for writing. by Leslie Lamport

Formatting is no substitute for writing.

substitutes statistics writing

"Sometimes" is sometimes "not never". by Leslie Lamport

"Sometimes" is sometimes "not never".

sometimes

Bill Joy

computer-scientist

Butler Lampson

computer-scientist

Brian Reid

computer-scientist

Brian Kernighan

computer-scientist

Andrew S. Tanenbaum

computer-scientist

Andy Hertzfeld

computer-scientist

All Authors