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

Leslie Lamport

Explore This Quote Further

Quote by Leslie Lamport: “Formal mathematics is nature's way of letting yo… - Image 1

Similar quotes

“Would you believe I was in the neighborhood?”“No."“Well, how about that I needed to see you.”“Why? Did one of my neighbors call and say my cat’s been stalking their bunny?”One corner of his mouth went up. “You know, that sounds like a euphemism. A kind of salacious one”“Ooh, big words for Mr. Average Joe street cop,” she said, knowing she sounded bitchy but unable to help it. “Can you take out the angry eyes, Mrs. Potato Head, and just let me talk to you?”


“And how do you explain to your wife that you don't have all the answers, and that you might not know what you are doing, and that you are afraid you are going to fail? How do you admit that you are most afraid that, one day, she'll walk - and replace you with an educated, professor-type guy, who shares her same interests, schedule, and the way she was used to living, especially when all of your friends, your business associates, even your own damned brother, are all just waiting for you to mess up so they can have a shot at taking her away from you? How do you look the woman you love in her eyes and tell her that?”


“In order to have great happiness, you have to have great pain and unhappiness-otherwise how would you know when you're happy?”


“Do you know what the mathematical expression is for longing? ... The negative numbers. The formalization of the feeling that you are missing something.”


“Everybody's scared, but if you don't let your fears stop you, that's bravery.”


“Who are you and how did you get in here?" "I'm a locksmith. And, I'm a locksmith.”