Cut Elimination Theorem

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

“A ship is a bit of terra firma cut off from the main; it is a state in itself; and the captain is its king.”
—Herman Melville (1819–1891)

“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)