Gentzens Consistency Proof/relation To G%C3%B6dels Theorem

Famous quotes containing the words consistency, proof, relation and/or theorem:

    The lawyer’s truth is not Truth, but consistency or a consistent expediency.
    Henry David Thoreau (1817–1862)

    If any proof were needed of the progress of the cause for which I have worked, it is here tonight. The presence on the stage of these college women, and in the audience of all those college girls who will some day be the nation’s greatest strength, will tell their own story to the world.
    Susan B. Anthony (1820–1906)

    Skepticism is unbelief in cause and effect. A man does not see, that, as he eats, so he thinks: as he deals, so he is, and so he appears; he does not see that his son is the son of his thoughts and of his actions; that fortunes are not exceptions but fruits; that relation and connection are not somewhere and sometimes, but everywhere and always; no miscellany, no exemption, no anomaly,—but method, and an even web; and what comes out, that was put in.
    Ralph Waldo Emerson (1803–1882)

    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)