If you keep proving stuff that others have done, getting confidence, increasing the complexities of your solutions - for the fun of it - then one day you'll turn around and discover that nobody actually did that one! And that's the way to become a computer scientist.

We are lucky to live in an age in which we are still making discoveries.

It is the fact that the electrons cannot all get on top of each other that makes tables and everything else solid.

We decided that 'trivial' means 'proved'. So we joked with the mathematicians: We have a new theorem- that mathematicians can prove only trivial theorems, because every theorem that's proved is trivial.

You can’t say A is made of B or vice versa. All mass is interaction.

I would rather have questions that can't be answered than answers that can't be questioned.

You see, I get such fun out of thinking that I don't want to destroy this most pleasant machine that makes life such a big kick.