The most exciting phrase to hear in science, the one that heralds new discoveries, is not 'Eureka!' but 'That's funny...'
The best and most beautiful things in the world cannot be seen or even touched - they must be felt with the heart.
The act of writing is an act of courage.
The future of computing lies in the development of systems that can verify their own correctness.