讓您的拍賣觸及全球收藏家！
立刻發佈上架訂閱即表示您同意 隱私政策。可隨時取消訂閱。
Barnebys HQ
Brahegatan 10
BOX 5038
114 37 Stockholm
全部拍賣 / 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).
估價:$40,000
前往拍賣頁查看所有物品來自Christie's或Books, Maps & Manuscripts
估價:
$40,000
BIBLIOFILI/TRÄDGÅRD. SVENSKA TRÄDGÅRDSKONSTEN SÅDAN DEN TILL VÅRA
10/07/2026
$110.32
估價： $300
讓您的拍賣觸及全球收藏家！
立刻發佈上架
$350.62
FARMAKOLOGI. PHARMAKOPOEA SVECICA EDITIO QUARTA EMENDATA/FJÄRDE RÄTTADE
10/07/2026
$77.32
估價： $49.95
KBIOKEMI. VINCENZ KLETZINSKY'S COMPENDIUM DER BIOCHEMIE 1858 - DEN
10/07/2026
$140.41
估價： $199.81
