"It doesn't matter how long it takes, if the end result is a good theorem."

"I know many people who like watching commercials because they're so funny. They provide relaxation and diversion. People come home after a day's work, from which they derive little satisfaction, and f…"

"You get the picture. And so did BMW. When they bought the company they could have fitted a new body to one of their 7 Series. That's what Mercedes did to create the Maybach. But instead of wandering a…"

"The world's become so horrifying now. It's too easy to become cynical about things and that's not fair and it doesn't work. And in fact, there is hope for the world. And it is in the form of Wikipedia…"

"Steve Jencks: The computer doesn't have any ideas. It only evaluates mine..."