Paul Cohen (1934-2007) - фото 1
Paul Cohen (1934-2007) - фото 2
Paul Cohen (1934-2007) - фото 3
Paul Cohen (1934-2007) - фото 4

Paul Cohen (1934-2007)

Лот 158
30.07.2020 00:00UTC +00:00
Classic
Продан
£ 18 750
AuctioneerCHRISTIE'S
Место проведенияВеликобритания, London
Комиссияsee on Website%
Архив
Аукцион завершен. Ставки на лот больше не принимаются.
Archive
ID 381366
Лот 158 | Paul Cohen (1934-2007)
Оценочная стоимость
£ 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).
Категория аукционного дома:Книги
Адрес торгов CHRISTIE'S
8 King Street, St. James's
SW1Y 6QT London
Великобритания
Предосмотр
09.07.2020 – 30.07.2020
Телефон +44 (0)20 7839 9060
E-mail
4FQ.AYGKAGLUQ@FO3G@
Комиссия see on Website
Условия использованияУсловия использования

Связанные термины

Часто задаваемые вопросы

  1. Зарегистрируйтесь на сайте как «Покупатель», чтобы учавствовать на аукционах. Регистрация бесплатна. Подтвердите email и после этого вы получаете доступ в личный кабинет.
  2. Выберите лот, который вы хотите купить, нажмите на кнопку «Сделать ставку». В открывшемся окне выберете сумму для ставки и подтвердите ее.
  3. Мы направим оповещение о ставке в аукционный дом и сообщим вам по эл. почте, когда аукционный дом ее подтвердит. Статус ставки вы можете видеть и в вашем личном кабинете во вкладке «Ставки».
Торги проводят аукционные дома и каждый из аукционных домов описывает собственные условия проведения торгов. Тексты вы можете увидеть на странице лота, кликнув на ссылку «Условия использования» в разделе «Информация о торгах»
Результаты аукциона публикуются в течении нескольких дней после завершения аукциона. В верхнем меню сайта найдите закладку «Аукционы». Нажав на нее, вы попадете на страницу аукционных каталогов, где без труда отыщете рубрику «Результаты». Открыв ее, выберите из списка нужный аукцион, войдите и просмотрите текущее состояние интересующего лота.
Данные о победителях аукционов конфиденциальны. Победитель аукциона получает оповещение напрямую из ответственного аукционного дома с инструкцией к дальнейшим действиям: счет на оплату и способы получения выигрыша.
Каждый из аукционных домов имеет собственную политику оплат выигранных лотов. Все аукционные дома принимают банковские переводы, большинство из них принимают оплату кредитными картами. В ближайшее время Вы найдете для каждого конкретного случая подробную информацию в рубрике «Информация о торгах» на станице аукционного каталога и лота.
Пересылка выигранного лота зависит от его размера. Мелкие предметы могут быть доставлены почтовой пересылкой. Более крупные лоты направляются курьерской службой. Служащие аукционных домов предложат Вам различные возможности на выбор.
Нет. Архив служит справочником для изучения аукционных цен, фотографий и описаний произведений искусства.