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

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!

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

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

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!

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!