Literature is my Utopia. Here I am not disfranchised. No barrier of the senses shuts me out from the sweet, gracious discourse of my book friends.
No arts; no letters; no society; and which is worst of all, continual fear and danger of violent death; and the life of man, solitary, poor, nasty, brutish, and short.
In the world of databases, performance is king. But performance without reliability is meaningless.
The use of a program to prove the 4-color theorem will not change mathematics - it merely demonstrates that the theorem, a challenge for a century, is probably not important to mathematics.
In science, we must be open to the possibility that our most cherished theories could be wrong.