The Consistency of the Continuum Hypothesis
G?DEL, Kurt
Sold by SOPHIA RARE BOOKS, Koebenhavn V, Denmark
Association Member:
AbeBooks Seller since 18 January 2013
Used
Ships from Denmark to U.S.A.
Quantity: 1 available
Add to basketSold by SOPHIA RARE BOOKS, Koebenhavn V, Denmark
Association Member:
AbeBooks Seller since 18 January 2013
Quantity: 1 available
Add to basketThe Constructible Universe ? Origin of Inner-Model Theory and the Consistency of the Continuum Hypothesis. First edition, first printing, and a fine copy with provenance, of G?del?s demonstration that the Continuum Hypothesis and the Axiom of Choice are consistent with the standard axioms of set theory. This brief monograph, issued as number 3 in the Annals of Mathematics Studies, provided the first rigorous proof that two of the most debated principles in modern mathematics cannot be disproved from Zermelo?Fraenkel set theory (ZF). It marks the transition from Hilbert?s programme of absolute consistency to the modern method of relative consistency and inaugurated the use of definability and model-theoretic construction in set-theoretic foundations. Provenance: Morton G. White (1917?2016), philosopher and historian of ideas, with his ownership inscription on the front blank. White taught at Harvard before joining the Institute for Advanced Study, where he was a colleague of G?del. A critic of narrow logical empiricism, he sought a unified account of science and philosophy that rejected the division between analytic and synthetic knowledge. His presence at Princeton during G?del?s most productive years places this copy within the immediate circle that witnessed the birth of modern mathematical logic. G?del?s result arose directly from the situation created by his incompleteness theorems of 1931. Those theorems had shown that any consistent formal system capable of expressing elementary arithmetic contains true propositions that are unprovable within the system and that such a system cannot prove its own consistency. The outcome forced a revision of Hilbert?s programme, which had aimed to establish the reliability of mathematics by finitary proof methods. Having demonstrated that absolute proof of consistency was impossible, G?del turned to relative proof: if a given axiom system is consistent, certain extensions of it will be consistent as well. His Consistency of the Continuum Hypothesis is the most powerful realisation of that idea. The Continuum Hypothesis (CH) had dominated discussions of the infinite since Cantor first posed it in the 1870s. Cantor showed that the natural numbers and the real numbers form sets of different cardinalities but was unable to decide whether any intermediate cardinality exists. Hilbert placed the problem first in his celebrated list of 1900, describing it as a test of the adequacy of the mathematical axioms. G?del?s theorem supplied half of the answer: he proved that CH, together with the Axiom of Choice, cannot be refuted from ZF. The complementary half was provided twenty-three years later by Paul Cohen, who proved that CH cannot be derived from ZF either. Together their results established the independence of CH from the standard axioms of mathematics. G?del?s proof depends on the construction of a new mathematical universe, the constructible universe (L). He defines L as a hierarchy built by transfinite recursion through the ordinals: at each stage ? the level L? consists of all sets definable from earlier stages, and L is the union of all such levels. He shows that L is an inner model of ZF set theory?meaning that all the axioms of ZF hold within it?and that in this model every set is definable. From that definability it follows that every set can be well-ordered, so that the Axiom of Choice holds in L. He further proves that in L every infinite cardinal ? satisfies 2^? = ??, which yields the Generalised Continuum Hypothesis (GCH) and therefore CH itself. The decisive conclusion is that, if ZF is consistent, so is ZF + AC + GCH; consequently neither AC nor CH can be disproved from ZF. The method represented a new way of reasoning about mathematics. Instead of searching for proofs inside an axiomatic system, G?del constructed a model of that system within which particular statements could be seen to hold. The idea that mathematical theories could be examined by building universes satisfying.
Seller Inventory # 6476
All items may be returned for a full refund for any reason within 14 days of receipt.
If you are a consumer you can cancel the contract in accordance with the following. Consumer means any natural person who is acting for purposes which are outside his trade, business, craft or profession.
INFORMATION REGARDING THE RIGHT OF CANCELLATION
Statutory Right to cancel
You have the right to cancel this contract within 14 days for any reason.
The cancellation period will expire after 14 days from the day on which you acquire, or a third party other than the carrier and indicated by you acquires, physical possession of the the last good or the last lot or piece.
To exercise the right to cancel, you must inform us, SOPHIA RARE BOOKS, Flaesketorvet 68, 1711, Koebenhavn V, Denmark, of your decision to cancel this contract by a clear statement (e.g. a letter sent by post, fax or e-mail). You may use the attached model cancellation form, but it is not obligatory. You can also electronically fill in and submit a clear statement on our website, under "My Purchases" in "My Account". If you use this option, we will communicate to you an acknowledgement of receipt of such a cancellation on a durable medium (e.g. by e-mail) without delay.
To meet the cancellation deadline, it is sufficient for you to send your communication concerning your exercise of the right to cancel before the cancellation period has expired.
Effects of cancellation
If you cancel this contract, we will reimburse to you all payments received from you, including the costs of delivery (except for the supplementary costs arising if you chose a type of delivery other than the least expensive type of standard delivery offered by us).
We may make a deduction from the reimbursement for loss in value of any goods supplied, if the loss is the result of unnecessary handling by you.
We will make the reimbursement without undue delay, and not later than 14 days after the day on which we are informed about your decision to cancel with contract.
We will make the reimbursement using the same means of payment as you used for the initial transaction, unless you have expressly agreed otherwise; in any event, you will not incur any fees as a result of such reimbursement.
We may withhold reimbursement until we have received the goods back or you have supplied evidence of having sent back the goods, whichever is the earliest.
You shall send back the goods or hand them over to us or SOPHIA RARE BOOKS, Koebenhavn V, Denmark, without undue delay and in any event not later than 14 days from the day on which you communicate your cancellation from this contract to us. The deadline is met if you send back the goods before the period of 14 days has expired. You will have to bear the direct cost of returning the goods. You are only liable for any diminished value of the goods resulting from the handling other than what is necessary to establish the nature, characteristics and functioning of the goods.
Exceptions to the right of cancellation
The right of cancellation does not apply to:
Model withdrawal form
(complete and return this form only if you wish to withdraw from the contract)
To: (SOPHIA RARE BOOKS, Flaesketorvet 68, 1711, Koebenhavn V, Denmark)
I/We (*) hereby give notice that I/We (*) withdraw from my/our (*) contract of sale of the following goods (*)/for the provision of the following goods (*)/for the provision of the following service (*),
Ordered on (*)/received on (*)
Name of consumer(s)
Address of consumer(s)
Signature of consumer(s) (only if this form is notified on paper)
Date
* Delete as appropriate.
Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.
| Order quantity | 1 to 5 business days | 1 to 5 business days |
|---|---|---|
| First item | £ 0.00 | £ 0.00 |
Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.