Cut Elimination Theorem

Famous quotes containing the words cut, elimination and/or theorem:

“If there were only one religion in England there would be danger of despotism, if there were two, they would cut each other’s throats, but there are thirty, and they live in peace and happiness.”
—Voltaire [François Marie Arouet] (1694–1778)

“To reduce the imagination to a state of slavery—even though it would mean the elimination of what is commonly called happiness—is to betray all sense of absolute justice within oneself. Imagination alone offers me some intimation of what can be.”
—André Breton (1896–1966)

“To insure the adoration of a theorem for any length of time, faith is not enough, a police force is needed as well.”
—Albert Camus (1913–1960)