Property of a California Collector
Die Vollständigkeit der Axiome des logischen Funktionenkalküls
Kurt Gödel, 1930
Details
Die Vollständigkeit der Axiome des logischen Funktionenkalküls
Kurt Gödel, 1930
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).
Kurt Gödel, 1930
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).
Provenance
Christie's, 19 November 2014, lot 82
Brought to you by
Annie Roddy
Sale Coordinator, Cataloguer