The benjamin / Cummings publishing company 1980 in8. 1980. Broché.
Reference : 100128395
couverture défraîchie intérieur propre tampon sur la page titre
Un Autre Monde
M. Emmanuel Arnaiz
07.69.73.87.31
Conformes aux usages de la librairie ancienne.
Washington, 1963-64. 8vo. The two complete volumes 50 and 51 of the 'Proceedings of the National Academy of Sciences' in contemporary half cloth bindings + original printed wrappers.
First editions. In this work Cohen established the independence of the Axiom of Choice (AC) from ZF and the independence of the Continuum Hypothesis (CH) from ZFC. This result is among the most outstanding achievements in 20th century mathematics. For this work Cohen was awarded the Fields Medal in 1966 and the National Medal of Science in 1967 the 1966 Fields Medal continues to be the only Fields Medal to have been awarded for a work in mathematical logic.
Washington, 1938 & 1939. Royal8vo. 2 volumes, uniformly bound in contemporary full cloth with gilt lettering to spine. Exlibris to front paste down. In ""Proceedings of the National Academy of Science"", vol. 24 and 25. Fine and clean. Pp.556-57" Pp. 220-24). [Entire volumes: VII, 572 pp. VII, 661 pp].
First edition of arguable Gödel's most important publications only second to his incompleteness theorem. The first problem of Hilbert's famous 1900 address asks for a proof of Cantor's continuum hypothesis. Hilbert considered this problem one of the most important problems confronting the mathematical world. As a first step towards such a proof Ernst Zermelo proved in 1904 another hypothesis by Cantor, namely that every set can be well ordered. In his proof Zermelo introduced a necessary tool which later became known as the axiom of choice. Because of its non-constructive nature this axiom, and the continuum hypothesis, became the object of much controversy in the mathematical community. Gödel's results on this topic are, besides his completeness and incompleteness theorems, his most celebrated. During the autumn terms of 1938 and 1939 Gödel delivered a series of lectures at the Institute for Advanced Study, in which he proved that the axiom of choice and the generalized continuum hypothesis are consistent with the other axioms of set theory if these axioms are consistent.