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:
“The most refined skills of color printing, the intricate techniques of wide-angle photography, provide us pictures of trivia bigger and more real than life. We forget that we see trivia and notice only that the reproduction is so good. Man fulfils his dream and by photographic magic produces a precise image of the Grand Canyon. The result is not that he adores nature or beauty the more. Instead he adores his camera—and himself.”
—Daniel J. Boorstin (b. 1914)
“Old age equalizes—we are aware that what is happening to us has happened to untold numbers from the beginning of time. When we are young we act as if we were the first young people in the world.”
—Eric Hoffer (1902–1983)
“The logic of worldly success rests on a fallacy: the strange error that our perfection depends on the thoughts and opinions and applause of other men! A weird life it is, indeed, to be living always in somebody else’s imagination, as if that were the only place in which one could at last become real!”
—Thomas Merton (1915–1968)