Kurt Gödel The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis" [and] "Consistency-Proof for the Generalized Continuum-Hypothesis" [and] "The Independence of the Continuum Hypothesis, I-II"
The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis" [and] "Consistency-Proof for the Generalized Continuum-Hypothesis" [and] "The Independence of the Continuum Hypothesis, I-II" (in Proceedings of the National Academy of Sciences, Volume 24 (1938), pp.556-557 and Volume 25 (1939), 220-224. Mack Printing Company
TWO MILESTONE PAPERS ON THE FOUNDATIONS OF MATHEMATICS. Two volume first edition of Kurt Gödel's proof of the consistency of the axiom of choice and the generalized continuum hypothesis with the axiom of set theory. In 1878, German mathematician Georg Cantor put forth a hypothesis that said any infinite subset of the set of all real numbers can be put into one-to-one correspondence either with the set of integers or with the set of all real numbers ("There is no set whose cardinality is strictly between that of the integers and that of the real numbers"). The continuum problem, as Cantor's problem came to be know, was the first in Hilbert's famous list of mathematical problems, presented in an address in 1900. All attempts to prove or disprove Cantor's conjecture failed until 1938, when Kurt Gödel, in these papers, showed it was impossible to disprove the continuum hypothesis. "Gödel studied the relationship of the continuum hypothesis and the axiom of choice to basic set theory as formulated by the mathematicians Ernst Zermelo and Abraham Fraenkel. In 1940 Gödel showed that both the continuum hypothesis and the axiom of choice are consistent with the axioms of set theory. More precisely, he demonstrated that if the Zermelo-Fraenkel system without the axiom of choice is consistent, then the Zermelo-Fraenkel system with the axiom of choice is consistent, and that the continuum hypothesis is consistent with the Zermelo-Fraenkel system" (Ryan, Thinkers of the Twentieth Century, p. 212f). "Godel's result, joined to [Paul J.] Cohen's (1963-1964), set the stage for a whole new era in the theory of sets in which a host of problems of the consistency or independence of various conjectures in set theory relative to this or that set of axioms are being investigated by constructing models" (Shanker, Godel's Theorem in Focus, 66-67). CONDITION & DETAILS: 4to (10 x 7 inches). Both volumes handsomely rebound in aged brown cloth (identical to original binding). Gilt-lettered and dated at the spine. Solidly and tightly bound, with both volumes set into a gilt-titled brown slipcase. New endpapers. Very good to near fine condition in every way. N° de réf. du libraire 90