Bring your auction to collectors worldwide!
Get listed nowBy subscribing, you are agreeing to the privacy policy. Unsubscribe anytime.
Barnebys HQ
Brahegatan 10
BOX 5038
114 37 Stockholm
All auctions / Books, Maps & Manuscripts / Die Vollständigkeit Der Axiome Des Logischen Funktionenkalküls
GÖDEL, Kurt (1906-1978). "Die Vollständigkeit der Axiome des logischen Funktionenkalküls." Offprint from: Monatsheften für Mathematik und Physik , vol. 37, part 2. Leipzig: Akademische Verlagsgesellschaft, 1930. Rare and fine offprint for presentation of Gödel's first proof of the completeness theorem , developed from Godel's doctoral dissertation of 1929. This is the first major publication by one of the most important figures in 20th-century mathematics. "Kurt Gödel's achievement in modern logic is singular and monumental – indeed it is more than a monument, it is a landmark which will remain visible far in space and time... The subject of logic has certainly completely changed its nature and possibilities with Gödel's achievement" (John von Neumann, quoted in Halmos, The American Mathematical Monthly , vol. 80, no. 4, pp. 383-394). In this paper, Gödel showed that first-order logic is fully formalizable and that all its logically valid statements can, in principle, be proven. His arithmetizing syntax was the seed for the incompleteness proofs which followed only a year later. This is one of only two copies of this paper to appear in the auction records of RBH or ABSA. Octavo (233 x 151mm). 12pp., 349-360. Original stapled wrappers, the front wrapper with printed statement of presentation from the author (insignificant faint creasing to top-left corner and continuing into text).
Estimate:$40,000
Sold for:-
View all items fromChristie'sorBooks, Maps & Manuscripts
Hammer price:
-
Estimate:
$40,000
OCT 27 | 4:00 PM
OCT 23 | 8:00 AM
Bring your auction to collectors worldwide!
Get listed now$19.86
Est: $19.86
*The School for Girls, or The Philosophy of Ladies*. Divided - Lot 152
10/04/2026
$5.6
Est: $22.51
THE SONG OF ROLAND — Jean de Bonnot, 1975 — Special edition, - Lot 154
10/04/2026
$26.91
Est: $22.51
$33.6
OCT 17 | 10:00 PM
