Hume's Principle - Influence On Set Theory

Influence On Set Theory

The principle that cardinal number was to be characterized in terms of one-to-one correspondence had previously been used to great effect by Georg Cantor, whose writings Frege knew. The suggestion has therefore been made that Hume's Principle ought better be called "Cantor's Principle". But Frege criticized Cantor on the ground that Cantor defines cardinal numbers in terms of ordinal numbers, whereas Frege wanted to give a characterization of cardinals that was independent of the ordinals. Cantor's point of view, however, is the one embedded in contemporary theories of transfinite numbers, as developed in axiomatic set theory.

Read more about this topic:  Hume's Principle

Famous quotes containing the words influence on, influence, set and/or theory:

    I am not sure but I should betake myself in extremities to the liberal divinities of Greece, rather than to my country’s God. Jehovah, though with us he has acquired new attributes, is more absolute and unapproachable, but hardly more divine, than Jove. He is not so much of a gentleman, not so gracious and catholic, he does not exert so intimate and genial an influence on nature, as many a god of the Greeks.
    Henry David Thoreau (1817–1862)

    I have always found that when men have exhausted their own resources, they fall back on “the intentions of the Creator.” But their platitudes have ceased to have any influence with those women who believe they have the same facilities for communication with the Divine mind as men have.
    Elizabeth Cady Stanton (1815–1902)

    I never yet feared those men who set a place apart in the middle of their cities where they gather to cheat one another and swear oaths which they break.
    Herodotus (c. 484–424 B.C.)

    The weakness of the man who, when his theory works out into a flagrant contradiction of the facts, concludes “So much the worse for the facts: let them be altered,” instead of “So much the worse for my theory.”
    George Bernard Shaw (1856–1950)