Cut Elimination Theorem

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

    “I cut my teeth as the black raccoon—
    For implements of battle.”
    —Countee Cullen (1903–1946)

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