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:
“Shakespeare carries us to such a lofty strain of intelligent activity, as to suggest a wealth which beggars his own; and we then feel that the splendid works which he has created, and which in other hours we extol as a sort of self-existent poetry, take no stronger hold of real nature than the shadow of a passing traveller on the rock. The inspiration which uttered itself in Hamlet and Lear could utter things as good from day to day, for ever.”
—Ralph Waldo Emerson (1803–1882)
“Out of the darkness where Philomela sat,
Her fairy numbers issued. What then ailed me?
My ears are called capacious but they failed me,
Her classics registered a little flat!
I rose, and venomously spat.”
—John Crowe Ransom (1888–1974)
“Our argument ... will result, not upon logic by itself—though without logic we should never have got to this point—but upon the fortunate contingent fact that people who would take this logically possible view, after they had really imagined themselves in the other man’s position, are extremely rare.”
—Richard M. Hare (b. 1919)