Skip to Content

GÖDEL, KURT.

Die Vollständigkeit der Axiome des logischen Funktionskalküls. [In: Monatshefte für Mathematik und Physik, XXXVII. Band]. - [THE COMPACTNESS THEOREM]

Herman H. J. Lynge & Søn A/S
lyn39227
[Leipzig, 1930). 8vo. Stapled extract. Some flossing to inner margin, probably from when extracted, far from affecting text. Handwritten indication of the journal, from which it is extracted, in pencil, on top of first page. Pp. (349) - 360.

The scarce first printing of this seminal paper, in which Gödel, the greatest logician since Aristotle, proves for the first time the compactness theorem, which is of the greatest importance to the development of model theory, as it provides a useful method for constructing models of any set of sentences that is finitely consistent. The compactness theorem is used by Gödel to derive a generalization of the completeness theorem. The present highly important and influential paper constitutes a revised and shortened version of Gödel's doctorial dissertation, published the same year, in which he showed that every valid formula of first-order logic is provable and, moreover that each axiom of first-order logic is independent (the first of which is referred to as Gödel's completeness theorem). In this journal version he, in addition to that proved in the dissertation, also proved his highly influential compactness theorem (which states that a set of first-order sentences has a model if and only if every finite subset of it has a model). "G settled the [problem] of completeness (positively) in the summer and wrote up the result as his dissertation, which was finished by July. A revised version was received by the editor of "Monatshefte" on 22 October and published 1930; a main addition was what is now known as "Compactness theorem". G received his doctoral degree on 6 February 1930. He presented his result in Menger's colloquium on 14 May and in Königsberg on 6 September 1930." (Wang, Reflections on Kurt Gödel). "The Compactness Theorem was extended to the case of uncountable vocabularies by Maltsev in 1936, from which the Upward Löwenheim-Skolem theorem immediately follows. The Compactness Theorem would become one of the main tools in the then fledgling subject of model theory." (SEP).From the library of the highly important Danish logician and philosopher Jørgen Jørgensen (1894-1969), who was an active collaborator with the logical positivists from the Vienna Circle. After Hans Hahn's death he became editor of the series of the Vienna Circle, the "Einheitswissenchaft" ("Unified Science"), and later he collaborated on the International Encyclopedia, to which he contributed with the essay "The Development of Logical Empiricism", 1951. Jørgensen is also widely recognized for his three volume work "Treatise of Formal Logic; Its Evolution and Main Branches, with its Relations to Mathematics and Philosophy", 1931.Apart from the paramount importance of the paper, it is also of the utmost rarity, as evidenced by the fact that it is neither present in the collection of Honeyman, Barchas, Haskell Norman, nor Hook & Norman: Origins of Cyberspace, and furthermore, the paper has not been up for sale on any of the major auction houses for at least the last 50 years.
Address:
Silkegade 11
DK-1113 Copenhagen
Denmark
Phone:
CVR/VAT:
DK 16 89 50 16

Recently Added From Herman H. J. Lynge & Søn A/S

Regras methódicas para se aprender a escreuer o…
More Photos
VENTURA DA SILVA, JOAQUIM JOSE.
Herman H. J. Lynge & Søn A/S
lyn62100
Lisboa, Officina de Simão Thaddeo Ferreira, 1803. Folio-oblong (365 x 255 mm). In contemporary half calf. Wear to extremies, upper part of spine with loss of leather. Ex-libris pasted on to pasted down front end-paper. With, primarily marginal, brownspotting throughout. Dampstain to inner margin and upper outer margin of last 10 ff. 32 ff. Rare first edition of the most celebrated Portuguese treatise on calligraphy. Joaquim José Ventura da Silva (1777–1849), regarded as one of Portugal's finest calligraphers and teachers of writing, composed this methodological guide to handwriting in which he combines a historical survey of scripts used in Portugal with practical instruction for teaching and learning penmanship.Ventura da Silva is reffered to by Innocencio (Diccionario Bibliographico) as "one of the best Portuguese Calligraphers". A second edition was published in 1819, a third in 1841, and a facsimile was published in Porto in 1899.
More info
John Locke et les philosophes francais. La…
More Photos
SCHØSLER, JØRN.
Herman H. J. Lynge & Søn A/S
lyn62682
Oxford (Voltaire Foundation), 1997. 8vo. In the original blue cloth publisher's binding with gilt title to spine. With the original dust jacket. Ownership signature to inside of front board. Internally clean. VIII, 183 pp.
Minne af von Linné, fader och son. 2 parts.
More Photos
EDIN, SV.
Herman H. J. Lynge & Søn A/S
lyn62673
Stockholm, Nordström, 1808. 8vo. In contemporary half calf. Wear to extremities, upper half of spine partly detached. Inner hinges split. With light brownspotting throughout. (8), 136, 102, (10) pp. + 2 engraved portraits and 2 engraved plates, of which one is folded. First edition. The volume is divided into two sections entitled “von Linné den äldre” and “von Linné den yngre.” The first contains the panegyric on Linnaeus delivered at the Växjö gymnasium on the occasion of the Linnaean centenary. The second opens with a memoir of Linnaeus the Younger, followed by “Historiska upplysningar till Carl von Linné den äldres lefverne” Soulsby 2647.
More info
Udvikling af Læren om Interessentskab og de samme…
More Photos
BANG, P. G.
Herman H. J. Lynge & Søn A/S
lyn62669
Kjøbenhavn, Seidelin, 1829 & 1833. 8vo. Three parts in two volumes, both in the original green paper covered boards. With author's presentation to Danish Professor in Low F. C. Bornemann in both volumes. Wear to spines and scratches to boards. Internally very nice and clean, printed on good paper. (2), 182 pp.; 134 pp. Presentation copy of the rare first edition of P. G. Bang’s seminal work, Udvikling af Læren om Interessentskab og de samme nærmest vedkommende Retsforhold – the very first Danish treatment of the subject, and a milestone in Scandinavian legal history. This pioneering study is regarded as the first jurisprudential exposition of corporate law in Denmark anticipating later systematic treatments of partnership and company legislation. His work established a legal-theoretical foundation for the understanding of partnership agreements, shareholders’ relations and the broader legal framework governing commercial associations. The copy was given by Bang to F.C. Bornemann, a Danish legal professor at the University of Copenhagen from 1840 to 1861, primarily known for applying philosophical methods to legal science. He was influenced by contemporary German philosophers, notably Hegel, in his work on legal philosophy. Peter Georg Bang (1797 – 1861) was a Danish politician and jurist. He served as the Prime Minister of Denmark 1854–1856
More info
The True Watch and Rule of Life or a direction…
More Photos
BRINSLEY, JOHN.
Herman H. J. Lynge & Søn A/S
lyn61602
London, Humphrey Robinson, 1648. 8vo. In contemporary full calf with triple ruled fillets to boards. Wear and soiling to extremities. Missing leather on upper part of spine and lower front corner of spine. Prevvious owner's name to title-page. Internally with marginal dampstaining throughout. A few leaves with tears and a hole. (18), 205, (8), 251 pp.
Planternes Metamorphose. Fire Forelæsninger af K.…
More Photos
MARTIUS, P. v.
Herman H. J. Lynge & Søn A/S
lyn62468
Kjøbenhavn, 1840. 8vo. In recent blue boards. Nice and clean. 80 pp. First Danish translation of Martius' Metamorphosis of Plants. Martius is famous for outlining the modern classification of palms and prepared the first maps of palm biogeography.