什么
One never notices what has been done; one can only see what remains to be done.
Nothing in life is to be feared, it is only to be understood. Now is the time to understand more, so that we may fear less.
I don't have any particular recipe [for developing new proofs] ... It is the reason why doing research is challenging as well as attractive. It's like being lost in a jungle and trying to use all the knowledge that you can gather to come up with some new tricks, and with some luck you might find a way out.
Humans are allergic to change. They love to say, 'We've always done it this way.' I try to fight that. That's why I have a clock on my wall that runs counter-clockwise.
The only phrase I've ever disliked is, 'Why, we've always done it that way.' I always tell young people, 'Go ahead and do it. You can always apologize later.'
Humans are allergic to change. They love to say, 'We've always done it this way.' I try to fight that. That's why I have a clock on my wall that runs counter-clockwise.
The challenge in computer science is not just to solve problems, but to understand why they are problems in the first place.
The concept of computational complexity is not just about how fast we can compute, but also about understanding the limits of what can be computed.
The most important single aspect of software development is to be clear about what you are trying to build.
The most important single aspect of software development is to be clear about what you are trying to build.
"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."
"The most important single aspect of software development is to be clear about what you are trying to build."
The essence of computational complexity is to understand the limits of what can be computed efficiently.
The most important single aspect of software development is to be clear about what you are trying to build.
The hardest single part of building a software system is deciding precisely what to build.
The most important single aspect of software development is to be clear about what you are trying to build.
The most important single aspect of software development is to be clear about what you are trying to build.
If you're not doing anything wrong, you have nothing to hide.
The most important single aspect of software development is to be clear about what you are trying to build.
The most important single aspect of software development is to be clear about what you are trying to build.