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!
|
id |
9781400881635 |
---|---|
ctrlnum |
(DE-B1597)468016 (OCoLC)979633756 |
collection |
bib_alma |
record_format |
marc |
spelling |
Gödel, Kurt, author. aut http://id.loc.gov/vocabulary/relators/aut Consistency of the Continuum Hypothesis. (AM-3), Volume 3 / Kurt Gödel. Princeton, NJ : Princeton University Press, [2016] ©1941 1 online resource (69 p.) text txt rdacontent computer c rdamedia online resource cr rdacarrier text file PDF rda Annals of Mathematics Studies ; 3 Frontmatter -- CONTENTS -- INTRODUCTION -- CHAPTER I. THE AXIOMS OF ABSTRACT SET THEORY -- CHAPTER II. EXISTENCE OF CLASSES AND SETS -- CHAPTER III. ORDINAL NUMBERS -- CHAPTER IV. CARDINAL NUMBERS -- CHAPTER V. THE MODEL Δ -- CHAPTER VI. PROOF OF THE AXIOMS OF GROUPS A-D FOR THE MODEL Δ -- CHAPTER VII. PROOF THAT V = L HOLDS IN THE MODEL Δ -- CHAPTER VIII. PROOF THAT V = L IMPLIES THE AXIOM OF CHOICE AND THE GENERALISED CONTINTUUM-HYPOTHESIS -- APPENDIX -- INDEX -- Notes Added to the Second Printing -- BIBLIOGRAPHY restricted access http://purl.org/coar/access_right/c_16ec online access with authorization star 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. Issued also in print. Mode of access: Internet via World Wide Web. In English. Description based on online resource; title from PDF title page (publisher's Web site, viewed 31. Jan 2022) Logic, Symbolic and mathematical. Mathematics Philosophy. MATHEMATICS / Calculus. bisacsh Absoluteness. Addition. Axiom of choice. Axiom of extensionality. Axiom of infinity. Axiom. Axiomatic system. Boolean algebra (structure). Constructible set (topology). Continuum hypothesis. Existence theorem. Existential quantification. Integer. Mathematical induction. Mathematical logic. Mathematics. Metatheorem. Order by. Ordinal number. Propositional function. Quantifier (logic). Reductio ad absurdum. Requirement. Set theory. Theorem. Transfinite induction. Transfinite. Variable (mathematics). Well-order. Title is part of eBook package: De Gruyter Princeton Annals of Mathematics eBook-Package 1940-2020 9783110494914 ZDB-23-PMB Title is part of eBook package: De Gruyter Princeton University Press eBook-Package Archive 1927-1999 9783110442496 print 9780691079271 https://doi.org/10.1515/9781400881635 https://www.degruyter.com/isbn/9781400881635 Cover https://www.degruyter.com/document/cover/isbn/9781400881635/original |
language |
English |
format |
eBook |
author |
Gödel, Kurt, Gödel, Kurt, |
spellingShingle |
Gödel, Kurt, Gödel, Kurt, Consistency of the Continuum Hypothesis. (AM-3), Volume 3 / Annals of Mathematics Studies ; Frontmatter -- CONTENTS -- INTRODUCTION -- CHAPTER I. THE AXIOMS OF ABSTRACT SET THEORY -- CHAPTER II. EXISTENCE OF CLASSES AND SETS -- CHAPTER III. ORDINAL NUMBERS -- CHAPTER IV. CARDINAL NUMBERS -- CHAPTER V. THE MODEL Δ -- CHAPTER VI. PROOF OF THE AXIOMS OF GROUPS A-D FOR THE MODEL Δ -- CHAPTER VII. PROOF THAT V = L HOLDS IN THE MODEL Δ -- CHAPTER VIII. PROOF THAT V = L IMPLIES THE AXIOM OF CHOICE AND THE GENERALISED CONTINTUUM-HYPOTHESIS -- APPENDIX -- INDEX -- Notes Added to the Second Printing -- BIBLIOGRAPHY |
author_facet |
Gödel, Kurt, Gödel, Kurt, |
author_variant |
k g kg k g kg |
author_role |
VerfasserIn VerfasserIn |
author_sort |
Gödel, Kurt, |
title |
Consistency of the Continuum Hypothesis. (AM-3), Volume 3 / |
title_full |
Consistency of the Continuum Hypothesis. (AM-3), Volume 3 / Kurt Gödel. |
title_fullStr |
Consistency of the Continuum Hypothesis. (AM-3), Volume 3 / Kurt Gödel. |
title_full_unstemmed |
Consistency of the Continuum Hypothesis. (AM-3), Volume 3 / Kurt Gödel. |
title_auth |
Consistency of the Continuum Hypothesis. (AM-3), Volume 3 / |
title_alt |
Frontmatter -- CONTENTS -- INTRODUCTION -- CHAPTER I. THE AXIOMS OF ABSTRACT SET THEORY -- CHAPTER II. EXISTENCE OF CLASSES AND SETS -- CHAPTER III. ORDINAL NUMBERS -- CHAPTER IV. CARDINAL NUMBERS -- CHAPTER V. THE MODEL Δ -- CHAPTER VI. PROOF OF THE AXIOMS OF GROUPS A-D FOR THE MODEL Δ -- CHAPTER VII. PROOF THAT V = L HOLDS IN THE MODEL Δ -- CHAPTER VIII. PROOF THAT V = L IMPLIES THE AXIOM OF CHOICE AND THE GENERALISED CONTINTUUM-HYPOTHESIS -- APPENDIX -- INDEX -- Notes Added to the Second Printing -- BIBLIOGRAPHY |
title_new |
Consistency of the Continuum Hypothesis. (AM-3), Volume 3 / |
title_sort |
consistency of the continuum hypothesis. (am-3), volume 3 / |
series |
Annals of Mathematics Studies ; |
series2 |
Annals of Mathematics Studies ; |
publisher |
Princeton University Press, |
publishDate |
2016 |
physical |
1 online resource (69 p.) Issued also in print. |
contents |
Frontmatter -- CONTENTS -- INTRODUCTION -- CHAPTER I. THE AXIOMS OF ABSTRACT SET THEORY -- CHAPTER II. EXISTENCE OF CLASSES AND SETS -- CHAPTER III. ORDINAL NUMBERS -- CHAPTER IV. CARDINAL NUMBERS -- CHAPTER V. THE MODEL Δ -- CHAPTER VI. PROOF OF THE AXIOMS OF GROUPS A-D FOR THE MODEL Δ -- CHAPTER VII. PROOF THAT V = L HOLDS IN THE MODEL Δ -- CHAPTER VIII. PROOF THAT V = L IMPLIES THE AXIOM OF CHOICE AND THE GENERALISED CONTINTUUM-HYPOTHESIS -- APPENDIX -- INDEX -- Notes Added to the Second Printing -- BIBLIOGRAPHY |
isbn |
9781400881635 9783110494914 9783110442496 9780691079271 |
callnumber-first |
Q - Science |
callnumber-subject |
QA - Mathematics |
callnumber-label |
QA9 |
callnumber-sort |
QA 19 G54 41940EB |
url |
https://doi.org/10.1515/9781400881635 https://www.degruyter.com/isbn/9781400881635 https://www.degruyter.com/document/cover/isbn/9781400881635/original |
illustrated |
Not Illustrated |
dewey-hundreds |
500 - Science |
dewey-tens |
510 - Mathematics |
dewey-ones |
510 - Mathematics |
dewey-full |
510.1 |
dewey-sort |
3510.1 |
dewey-raw |
510.1 |
dewey-search |
510.1 |
doi_str_mv |
10.1515/9781400881635 |
oclc_num |
979633756 |
work_keys_str_mv |
AT godelkurt consistencyofthecontinuumhypothesisam3volume3 |
status_str |
n |
ids_txt_mv |
(DE-B1597)468016 (OCoLC)979633756 |
carrierType_str_mv |
cr |
hierarchy_parent_title |
Title is part of eBook package: De Gruyter Princeton Annals of Mathematics eBook-Package 1940-2020 Title is part of eBook package: De Gruyter Princeton University Press eBook-Package Archive 1927-1999 |
is_hierarchy_title |
Consistency of the Continuum Hypothesis. (AM-3), Volume 3 / |
container_title |
Title is part of eBook package: De Gruyter Princeton Annals of Mathematics eBook-Package 1940-2020 |
_version_ |
1770176739854516224 |
fullrecord |
<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>05639nam a22010695i 4500</leader><controlfield tag="001">9781400881635</controlfield><controlfield tag="003">DE-B1597</controlfield><controlfield tag="005">20220131112047.0</controlfield><controlfield tag="006">m|||||o||d||||||||</controlfield><controlfield tag="007">cr || ||||||||</controlfield><controlfield tag="008">220131t20161941nju fo d z eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781400881635</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1515/9781400881635</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-B1597)468016</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)979633756</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-B1597</subfield><subfield code="b">eng</subfield><subfield code="c">DE-B1597</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">nju</subfield><subfield code="c">US-NJ</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA9</subfield><subfield code="b">.G54 1940eb</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">MAT005000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">510.1</subfield><subfield code="2">22</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Gödel, Kurt, </subfield><subfield code="e">author.</subfield><subfield code="4">aut</subfield><subfield code="4">http://id.loc.gov/vocabulary/relators/aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Consistency of the Continuum Hypothesis. (AM-3), Volume 3 /</subfield><subfield code="c">Kurt Gödel.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Princeton, NJ : </subfield><subfield code="b">Princeton University Press, </subfield><subfield code="c">[2016]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">©1941</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (69 p.)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="347" ind1=" " ind2=" "><subfield code="a">text file</subfield><subfield code="b">PDF</subfield><subfield code="2">rda</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Annals of Mathematics Studies ;</subfield><subfield code="v">3</subfield></datafield><datafield tag="505" ind1="0" ind2="0"><subfield code="t">Frontmatter -- </subfield><subfield code="t">CONTENTS -- </subfield><subfield code="t">INTRODUCTION -- </subfield><subfield code="t">CHAPTER I. THE AXIOMS OF ABSTRACT SET THEORY -- </subfield><subfield code="t">CHAPTER II. EXISTENCE OF CLASSES AND SETS -- </subfield><subfield code="t">CHAPTER III. ORDINAL NUMBERS -- </subfield><subfield code="t">CHAPTER IV. CARDINAL NUMBERS -- </subfield><subfield code="t">CHAPTER V. THE MODEL Δ -- </subfield><subfield code="t">CHAPTER VI. PROOF OF THE AXIOMS OF GROUPS A-D FOR THE MODEL Δ -- </subfield><subfield code="t">CHAPTER VII. PROOF THAT V = L HOLDS IN THE MODEL Δ -- </subfield><subfield code="t">CHAPTER VIII. PROOF THAT V = L IMPLIES THE AXIOM OF CHOICE AND THE GENERALISED CONTINTUUM-HYPOTHESIS -- </subfield><subfield code="t">APPENDIX -- </subfield><subfield code="t">INDEX -- </subfield><subfield code="t">Notes Added to the Second Printing -- </subfield><subfield code="t">BIBLIOGRAPHY</subfield></datafield><datafield tag="506" ind1="0" ind2=" "><subfield code="a">restricted access</subfield><subfield code="u">http://purl.org/coar/access_right/c_16ec</subfield><subfield code="f">online access with authorization</subfield><subfield code="2">star</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="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.</subfield></datafield><datafield tag="530" ind1=" " ind2=" "><subfield code="a">Issued also in print.</subfield></datafield><datafield tag="538" ind1=" " ind2=" "><subfield code="a">Mode of access: Internet via World Wide Web.</subfield></datafield><datafield tag="546" ind1=" " ind2=" "><subfield code="a">In English.</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Description based on online resource; title from PDF title page (publisher's Web site, viewed 31. Jan 2022)</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Logic, Symbolic and mathematical.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Mathematics</subfield><subfield code="x">Philosophy.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS / Calculus.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Absoluteness.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Addition.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Axiom of choice.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Axiom of extensionality.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Axiom of infinity.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Axiom.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Axiomatic system.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Boolean algebra (structure).</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Constructible set (topology).</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Continuum hypothesis.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Existence theorem.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Existential quantification.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Integer.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Mathematical induction.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Mathematical logic.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Mathematics.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Metatheorem.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Order by.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Ordinal number.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Propositional function.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Quantifier (logic).</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Reductio ad absurdum.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Requirement.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Set theory.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Theorem.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Transfinite induction.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Transfinite.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Variable (mathematics).</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Well-order.</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Title is part of eBook package:</subfield><subfield code="d">De Gruyter</subfield><subfield code="t">Princeton Annals of Mathematics eBook-Package 1940-2020</subfield><subfield code="z">9783110494914</subfield><subfield code="o">ZDB-23-PMB</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Title is part of eBook package:</subfield><subfield code="d">De Gruyter</subfield><subfield code="t">Princeton University Press eBook-Package Archive 1927-1999</subfield><subfield code="z">9783110442496</subfield></datafield><datafield tag="776" ind1="0" ind2=" "><subfield code="c">print</subfield><subfield code="z">9780691079271</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1515/9781400881635</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://www.degruyter.com/isbn/9781400881635</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="3">Cover</subfield><subfield code="u">https://www.degruyter.com/document/cover/isbn/9781400881635/original</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">978-3-11-044249-6 Princeton University Press eBook-Package Archive 1927-1999</subfield><subfield code="c">1927</subfield><subfield code="d">1999</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_BACKALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_CL_MTPY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_EBACKALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_EBKALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_ECL_MTPY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_EEBKALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_ESTMALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_PPALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_STMALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV-deGruyter-alles</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">PDA12STME</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">PDA13ENGE</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">PDA18STMEE</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">PDA5EBK</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-23-PMB</subfield><subfield code="c">1940</subfield><subfield code="d">2020</subfield></datafield></record></collection> |