But if we play it safe, the problem is that we may be losing out, and I believe we are.

As Hamlet tells his friend, ``There are more things in heaven and earth, Horatio, than are dreamt of in your philosophy.'' Well then, we must try harder to dream!

A random sequence is one that cannot be algorithmically compressed : the shortest description of a random sequence is simply the sequence itself.

Mathematical high culture collides with pop culture and all hell breaks loose! Harris takes us on a wild ride--never a dull moment!

So in the end it wasn't Gödel, it wasn't Turing, and it wasn't my results that are making mathematics go into an experimental mathematics direction, in a quasi-empirical direction. The reason why mathematicians are changing their working habits is the computer. I think that this is an excellent joke!

I think logicians hate my work, they detest it! And I'm like pornography, I'm sort of an unmentionable subject in the world of logic, because my results are so disgusting!