In a world in which the price of calculation continues to decrease rapidly, but the price of theorem proving continues to hold steady or increase, elementary economics indicates that we ought to spend a larger and larger fraction of our time on calculation.

If we are going to make a mark (key 21), it might as well be a meaningful one.

All we know about the world teaches us that the effects of A and B are always different-in some decimal place-for any A and B. Thus asking "are the effects different?" is foolish.

The combination of some data and an aching desire for an answer does not ensure that a reasonable answer can be extracted from a given body of data.

To be able to say that "if we change our point of view in the following way ... things are simpler" is always a gain.

The greatest value of a picture is when it forces us to notice what we never expected to see.

It's better to solve the right problem approximately than to solve the wrong problem exactly.