LEADER 04420nam  22008295  450 
001 9910154754203321
005 20190708092533.0
010   $a1-4008-8163-3
024 7 $a10.1515/9781400881635
035   $a(CKB)3710000000620063
035   $a(MiAaPQ)EBC4738543
035   $a(DE-B1597)468016
035   $a(OCoLC)979633756
035   $a(DE-B1597)9781400881635
035   $a(EXLCZ)993710000000620063
100   $a20190708d2016      fg              
101 0 $aeng
135   $aurcnu||||||||
181   $2rdacontent
182   $2rdamedia
183   $2rdacarrier
200 10$aConsistency of the Continuum Hypothesis. (AM-3), Volume 3 /$fKurt Gödel
210  1$aPrinceton, NJ : $cPrinceton University Press, $d[2016]
210  4$d©1941
215   $a1 online resource (81 pages)
225 0 $aAnnals of Mathematics Studies ;$v264
300   $aIncludes index.
311   $a0-691-07927-7 
327   $tFrontmatter -- $tCONTENTS -- $tINTRODUCTION -- $tCHAPTER I. THE AXIOMS OF ABSTRACT SET THEORY -- $tCHAPTER II. EXISTENCE OF CLASSES AND SETS -- $tCHAPTER III. ORDINAL NUMBERS -- $tCHAPTER IV. CARDINAL NUMBERS -- $tCHAPTER V. THE MODEL ? -- $tCHAPTER VI. PROOF OF THE AXIOMS OF GROUPS A-D FOR THE MODEL ? -- $tCHAPTER VII. PROOF THAT V = L HOLDS IN THE MODEL ? -- $tCHAPTER VIII. PROOF THAT V = L IMPLIES THE AXIOM OF CHOICE AND THE GENERALISED CONTINTUUM-HYPOTHESIS -- $tAPPENDIX -- $tINDEX -- $tNotes Added to the Second Printing -- $tBIBLIOGRAPHY
330   $aKurt Gödel, mathematician and logician, was one of the most influential thinkers of the twentieth century. Gödel fled Nazi Germany, fearing for his Jewish wife and fed up with Nazi interference in the affairs of the mathematics institute at the University of Göttingen. In 1933 he settled at the Institute for Advanced Study in Princeton, where he joined the group of world-famous mathematicians who made up its original faculty. His 1940 book, better known by its short title, The Consistency of the Continuum Hypothesis, is a classic of modern mathematics. The continuum hypothesis, introduced by mathematician George Cantor in 1877, states that there is no set of numbers between the integers and real numbers. It was later included as the first of mathematician David Hilbert's twenty-three unsolved math problems, famously delivered as a manifesto to the field of mathematics at the International Congress of Mathematicians in Paris in 1900. In The Consistency of the Continuum Hypothesis Gödel set forth his proof for this problem. In 1999, Time magazine ranked him higher than fellow scientists Edwin Hubble, Enrico Fermi, John Maynard Keynes, James Watson, Francis Crick, and Jonas Salk. He is most renowned for his proof in 1931 of the 'incompleteness theorem,' in which he demonstrated that there are problems that cannot be solved by any set of rules or procedures. His proof wrought fruitful havoc in mathematics, logic, and beyond.
410  0$aAnnals of mathematics studies ;$vNumber 3.
606   $aMathematics$xPhilosophy
606   $aLogic, Symbolic and mathematical
610   $aAbsoluteness.
610   $aAddition.
610   $aAxiom of choice.
610   $aAxiom of extensionality.
610   $aAxiom of infinity.
610   $aAxiom.
610   $aAxiomatic system.
610   $aBoolean algebra (structure).
610   $aConstructible set (topology).
610   $aContinuum hypothesis.
610   $aExistence theorem.
610   $aExistential quantification.
610   $aInteger.
610   $aMathematical induction.
610   $aMathematical logic.
610   $aMathematics.
610   $aMetatheorem.
610   $aOrder by.
610   $aOrdinal number.
610   $aPropositional function.
610   $aQuantifier (logic).
610   $aReductio ad absurdum.
610   $aRequirement.
610   $aSet theory.
610   $aTheorem.
610   $aTransfinite induction.
610   $aTransfinite.
610   $aVariable (mathematics).
610   $aWell-order.
615  0$aMathematics$xPhilosophy.
615  0$aLogic, Symbolic and mathematical.
676   $a510.1
700   $aGödel$b Kurt, $0346201
801  0$bDE-B1597
801  1$bDE-B1597
906   $aBOOK
912   $a9910154754203321
996   $aConsistency of the Continuum Hypothesis. (AM-3), Volume 3$92788041
997   $aUNINA