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:
“Skill sheets, workbooks, basal reader, flash cards are not enough. To convey meaning you need someone sharing the meaning and flavor of real stories with the student.”
—Jim Trelease (20th century)
“The barriers of conventionality have been raised so high, and so strangely cemented by long existence, that the only hope of overthrowing them exists in the union of numbers linked together by common opinion and effort ... the united watchword of thousands would strike at the foundation of the false system and annihilate it.”
—Mme. Ellen Louise Demorest 1824–1898, U.S. women’s magazine editor and woman’s club movement pioneer. Demorest’s Illustrated Monthly and Mirror of Fashions, p. 203 (January 1870)
“Somebody who should have been born
is gone.
Yes, woman, such logic will lead
to loss without death. Or say what you meant,
you coward . . . this baby that I bleed.”
—Anne Sexton (1928–1974)