Paul Cohen (1934-2007) - photo 1
Paul Cohen (1934-2007) - photo 2
Paul Cohen (1934-2007) - photo 3
Paul Cohen (1934-2007) - photo 4

Paul Cohen (1934-2007)

Lot 158
30.07.2020 00:00UTC +00:00
Classic
Sold
£ 18 750
AuctioneerCHRISTIE'S
Event locationUnited Kingdom, London
Buyer Premiumsee on Website%
Archive
The auction is completed. No bids can be placed anymore.
Archive
ID 381366
Lot 158 | Paul Cohen (1934-2007)
Estimate value
£ 1 500 – 3 000
COHEN, Paul (1934-2007). ‘The Independence of the Continuum Hypothesis.’ Offprint from: Proceedings of the National Academy of Sciences, Vol.50, No 6, pp. 1143-1148. December, 1963. [With:] ‘The Independence of the Continuum Hypothesis II.’ Offprint from: Proceedings of the National Academy of Sciences, Vol.51, No 1, pp.105-110. January, 1964.

Extremely rare offprints announcing that the Continuum Hypothesis cannot be proved, and revolutionising set theory in mathematics. Georg Cantor (1845-1918) first introduced the Continuum Hypothesis in 1878, advocating that there is no set whose cardinality is strictly between that of the integers and the real numbers. Cantor believed the Continuum Hypothesis to be true but the proof eluded him. Its importance was such that David Hilbert listed it as the first of his 23 problems in mathematics, presented in 1900 to the Paris conference of the International Congress of Mathematicians. Hilbert also believed it to be true but failed to prove it. With the discovery of the Russell paradox, existing set theory was realised to be too naïve. An axiom system subsequently suggested by Ernst Zermelo and Abraham Fraenkel became commonly accepted.

Kurt Gödel (1906-1978) announced in 1939 through these same Proceedings (Vol.25, pp.220-224) that the Continuum Hypothesis cannot be refuted within that commonly accepted axiom system. He did that by constructing a model of the Zermelo - Fraenkel axioms in which the Continuum Hypothesis holds. He failed, however, to make any progress with actually proving the Continuum Hypothesis.

In the winter of 1963-1964, Paul Cohen announced that the Continuum Hypothesis cannot be proved using that commonly accepted axiom system. He constructed a model of that axiom system in which the Continuum Hypothesis fails. Before Cohen’s work, progress was stymied by the lack of tools for constructing models of the Zermelo - Fraenkel axioms. He introduced a totally new technique called forcing for obtaining such models. This utterly revolutionised the subject of set theory. For this work, he was in 1966 awarded a Fields Medal (the equivalent for mathematics of a Nöbel Prize). Combined with Gödel’s earlier result he had shown that the Continuum Hypothesis is independent of the Zermelo - Fraenkel axioms, hence the title.

Just as Gödel followed up his 1939 announcement with a monograph based on a series of lectures, published in 1940 by the Princeton University Press, so Cohen followed up his announcement with a monograph entitled Set Theory and the Continuum Hypothesis, which acted as a very readable introduction to both Set Theory and his remarkable results. It was first published in 1966, and the slightly augmented version, published in 2008 after Cohen’s death, is still available today.

2 offprints, large octavo (251 x 175mm). (Second part with some light marginal creasing, both parts with some very minor marginal finger-soiling.) Original buff wrappers, stapled (part 2 with covers very lightly creased, some faint soiling to both parts, staples rusted).
Auction house category:Books
Address of auction CHRISTIE'S
8 King Street, St. James's
SW1Y 6QT London
United Kingdom
Preview
09.07.2020 – 30.07.2020
Phone +44 (0)20 7839 9060
Email
4FQ.AYGKAGLUQ@FO3G@
Buyer Premium see on Website
Conditions of purchaseConditions of purchase

Related terms

Frequently asked questions

First of all, you should register to be able to purchase at auction. After confirming your email address, enter your personal information in your user profile, such as your first name, last name, and mail address. Choose a lot from the upcoming auction and the maximum amount you want to place on it. After confirmation of your choice, we will send your application by e-mail to the appropriate auction house. If the auction house accepts a request, it will participate in the auction. You can view the current status of a bid at any time in your personal account in the "Bids" section.
Auctions are performed by auction houses and each of the auction houses describes their terms of auction. You can see the texts in the section "Auction information".
The results of the auction are published within a few days after the end of the auction. In the top menu of the site, find the tab "Auctions". Click on it and you will be on the auction catalog page, where you can easily find the category "Results". After opening it, select the desired auction from the list, enter and view the current status of the interested lot.
The information about the auction winners is confidential. The auction winner will receive a direct notification from the auction house responsible with instructions for further action: an invoice for payment and the manner in which the goods will be received.
Each of the auction houses has its own payment policy for the won lots. All auction houses accept bank transfers, most of them accept credit card payments. In the near future you will find detailed information for each case in the section "Auction information" on the page of the auction catalog and the lot.
Shipment of the won lot depends on its size. Small items can be delivered by post. Larger lots are sent by courier. Employees of the auction houses will offer you a wide range to choose from.
No. The archive serves as a reference for the study of auction prices, photographs and descriptions of works of art.