Cut Elimination Theorem

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

“Much of what Mr. Wallace calls his global thinking is, no matter how you slice it, still “globaloney.” Mr. Wallace’s warp of sense and his woof of nonsense is very tricky cloth out of which to cut the pattern of a post-war world.”
—Clare Boothe Luce (1903–1987)

“The kind of Unitarian
Who having by elimination got
From many gods to Three, and Three to One,
Thinks why not taper off to none at all.”
—Robert Frost (1874–1963)

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