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...

Full description

Saved in:
Bibliographic Details
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>