Consistency of the Continuum Hypothesis. (AM-3), Volume 3 / / Kurt Gödel.
Kurt 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 Inst...
Saved in:
Superior document: | Title is part of eBook package: De Gruyter Princeton Annals of Mathematics eBook-Package 1940-2020 |
---|---|
VerfasserIn: | |
Place / Publishing House: | Princeton, NJ : : Princeton University Press, , [2016] ©1941 |
Year of Publication: | 2016 |
Language: | English |
Series: | Annals of Mathematics Studies ;
3 |
Online Access: | |
Physical Description: | 1 online resource (69 p.) |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
LEADER | 05639nam a22010695i 4500 | ||
---|---|---|---|
001 | 9781400881635 | ||
003 | DE-B1597 | ||
005 | 20220131112047.0 | ||
006 | m|||||o||d|||||||| | ||
007 | cr || |||||||| | ||
008 | 220131t20161941nju fo d z eng d | ||
020 | |a 9781400881635 | ||
024 | 7 | |a 10.1515/9781400881635 |2 doi | |
035 | |a (DE-B1597)468016 | ||
035 | |a (OCoLC)979633756 | ||
040 | |a DE-B1597 |b eng |c DE-B1597 |e rda | ||
041 | 0 | |a eng | |
044 | |a nju |c US-NJ | ||
050 | 4 | |a QA9 |b .G54 1940eb | |
072 | 7 | |a MAT005000 |2 bisacsh | |
082 | 0 | 4 | |a 510.1 |2 22 |
100 | 1 | |a Gödel, Kurt, |e author. |4 aut |4 http://id.loc.gov/vocabulary/relators/aut | |
245 | 1 | 0 | |a Consistency of the Continuum Hypothesis. (AM-3), Volume 3 / |c Kurt Gödel. |
264 | 1 | |a Princeton, NJ : |b Princeton University Press, |c [2016] | |
264 | 4 | |c ©1941 | |
300 | |a 1 online resource (69 p.) | ||
336 | |a text |b txt |2 rdacontent | ||
337 | |a computer |b c |2 rdamedia | ||
338 | |a online resource |b cr |2 rdacarrier | ||
347 | |a text file |b PDF |2 rda | ||
490 | 0 | |a Annals of Mathematics Studies ; |v 3 | |
505 | 0 | 0 | |t Frontmatter -- |t CONTENTS -- |t INTRODUCTION -- |t CHAPTER I. THE AXIOMS OF ABSTRACT SET THEORY -- |t CHAPTER II. EXISTENCE OF CLASSES AND SETS -- |t CHAPTER III. ORDINAL NUMBERS -- |t CHAPTER IV. CARDINAL NUMBERS -- |t CHAPTER V. THE MODEL Δ -- |t CHAPTER VI. PROOF OF THE AXIOMS OF GROUPS A-D FOR THE MODEL Δ -- |t CHAPTER VII. PROOF THAT V = L HOLDS IN THE MODEL Δ -- |t CHAPTER VIII. PROOF THAT V = L IMPLIES THE AXIOM OF CHOICE AND THE GENERALISED CONTINTUUM-HYPOTHESIS -- |t APPENDIX -- |t INDEX -- |t Notes Added to the Second Printing -- |t BIBLIOGRAPHY |
506 | 0 | |a restricted access |u http://purl.org/coar/access_right/c_16ec |f online access with authorization |2 star | |
520 | |a Kurt 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. | ||
530 | |a Issued also in print. | ||
538 | |a Mode of access: Internet via World Wide Web. | ||
546 | |a In English. | ||
588 | 0 | |a Description based on online resource; title from PDF title page (publisher's Web site, viewed 31. Jan 2022) | |
650 | 0 | |a Logic, Symbolic and mathematical. | |
650 | 0 | |a Mathematics |x Philosophy. | |
650 | 7 | |a MATHEMATICS / Calculus. |2 bisacsh | |
653 | |a Absoluteness. | ||
653 | |a Addition. | ||
653 | |a Axiom of choice. | ||
653 | |a Axiom of extensionality. | ||
653 | |a Axiom of infinity. | ||
653 | |a Axiom. | ||
653 | |a Axiomatic system. | ||
653 | |a Boolean algebra (structure). | ||
653 | |a Constructible set (topology). | ||
653 | |a Continuum hypothesis. | ||
653 | |a Existence theorem. | ||
653 | |a Existential quantification. | ||
653 | |a Integer. | ||
653 | |a Mathematical induction. | ||
653 | |a Mathematical logic. | ||
653 | |a Mathematics. | ||
653 | |a Metatheorem. | ||
653 | |a Order by. | ||
653 | |a Ordinal number. | ||
653 | |a Propositional function. | ||
653 | |a Quantifier (logic). | ||
653 | |a Reductio ad absurdum. | ||
653 | |a Requirement. | ||
653 | |a Set theory. | ||
653 | |a Theorem. | ||
653 | |a Transfinite induction. | ||
653 | |a Transfinite. | ||
653 | |a Variable (mathematics). | ||
653 | |a Well-order. | ||
773 | 0 | 8 | |i Title is part of eBook package: |d De Gruyter |t Princeton Annals of Mathematics eBook-Package 1940-2020 |z 9783110494914 |o ZDB-23-PMB |
773 | 0 | 8 | |i Title is part of eBook package: |d De Gruyter |t Princeton University Press eBook-Package Archive 1927-1999 |z 9783110442496 |
776 | 0 | |c print |z 9780691079271 | |
856 | 4 | 0 | |u https://doi.org/10.1515/9781400881635 |
856 | 4 | 0 | |u https://www.degruyter.com/isbn/9781400881635 |
856 | 4 | 2 | |3 Cover |u https://www.degruyter.com/document/cover/isbn/9781400881635/original |
912 | |a 978-3-11-044249-6 Princeton University Press eBook-Package Archive 1927-1999 |c 1927 |d 1999 | ||
912 | |a EBA_BACKALL | ||
912 | |a EBA_CL_MTPY | ||
912 | |a EBA_EBACKALL | ||
912 | |a EBA_EBKALL | ||
912 | |a EBA_ECL_MTPY | ||
912 | |a EBA_EEBKALL | ||
912 | |a EBA_ESTMALL | ||
912 | |a EBA_PPALL | ||
912 | |a EBA_STMALL | ||
912 | |a GBV-deGruyter-alles | ||
912 | |a PDA12STME | ||
912 | |a PDA13ENGE | ||
912 | |a PDA18STMEE | ||
912 | |a PDA5EBK | ||
912 | |a ZDB-23-PMB |c 1940 |d 2020 |