Real Number - Real Numbers and Logic

Real Numbers and Logic

The real numbers are most often formalized using the Zermelo–Fraenkel axiomatization of set theory, but some mathematicians study the real numbers with other logical foundations of mathematics. In particular, the real numbers are also studied in reverse mathematics and in constructive mathematics.

Abraham Robinson's theory of nonstandard or hyperreal numbers extends the set of the real numbers by infinitesimal numbers, which allows building infinitesimal calculus in a way closer to the usual intuition of the notion of limit. Edward Nelson's internal set theory is a non-Zermelo–Fraenkel set theory that considers non-standard real numbers as elements of the set of the reals (and not of an extension of it, as in Robinson's theory).

The continuum hypothesis posits that the cardinality of the set of the real numbers is, i.e. the smallest infinite cardinal number after, the cardinality of the integers. Paul Cohen proved in 1963 that it is an axiom independent of the other axioms of set theory; that is, one may choose either the continuum hypothesis or its negation as an axiom of set theory, without contradiction.

Read more about this topic:  Real Number

Famous quotes containing the words real, numbers and/or logic:

    If we consider what happens in conversation, in reveries, in remorse, in times of passion, in surprises, in the instructions of dreams, wherein often we see ourselves in masquerade,—the droll disguises only magnifying and enhancing a real element, and forcing it on our distinct notice,—we shall catch many hints that will broaden and lighten into knowledge of the secret of nature.
    Ralph Waldo Emerson (1803–1882)

    I’m not even thinking straight any more. Numbers buzz in my head like wasps.
    Kurt Neumann (1906–1958)

    Though living is a dreadful thing
    And a dreadful thing is it
    Life the niggard will not thank,
    She will not teach who will not sing,
    And what serves, on the final bank,
    Our logic and our wit?
    Philip Larkin (1922–1986)