Nå samlare över hela världen med din auktion!
Lista er auktionGenom att prenumerera godkänner du integritetspolicyn. Avprenumerera när som helst.
Barnebys HQ
Brahegatan 10
BOX 5038
114 37 Stockholm
Alla auktioner / Böcker, Kartor och Texter / "Zum Entscheidungsproblem Des Logischen Funktionenkalküls"
GÖDEL, Kurt (1906-1978). "Zum Entscheidungsproblem des logischen Funktionenkalküls." Offprint from: Monatsheften für Mathematik und Physik , vol. 40, part 2. Leipzig: Akademische Verlagsgesellschaft, 1933. A fine copy of this extremely rare offprint, in which Gödel makes a rare error . In this paper, Gödel proves the decidability for the class of formulas called [∃*∀2∃*, all , (0)]. These formulas may contain arbitrary relations amongst the variables, but no functions or constants, and no equality symbol. However, Gödel ends the paper with the final sentence: 'In conclusion, I would still like to remark that Theorem I can also be proved, by the same method, for formulas that contain the = sign.' This was believed for about 30 years, until Stål Aanderaa in the mid-1960s showed that Gödel's proof would not actually work if the formulas contained equality. In 1983, Warren D. Goldfarb proved that Gödel had been mistaken, and the satisfiability of formulas in the larger class was not decidable. Only one other copy of this offprint has been recorded at auction (Christie's, 12 June 2013, lot 138). Octavo (234 x 156mm). 11pp., 433-443. Original stapled wrappers, the front wrapper with printed statement of presentation from the author (slight fading to lower margin of front wrapper). Custom cloth portfolio.
Utropspris:SEK 79,993.63
Såld för:-
Visa alla föremål frånChristie'sellerBöcker, Kartor och Texter
Såld för:
-
Utropspris:
SEK 79,993.63
Nå samlare över hela världen med din auktion!
Lista er auktionSEK 2,464.25
Uppsk.: SEK 224.07
Nepal, Anonymous, Tanka, undated, 'Ala-ud-Din' Type, Obv. legend Śrī Śrī in...
10/09/2026
SEK 10,592.35
Uppsk.: SEK 3,963.85
ME. International Automatic Life Boat Co., 1910, I/U Stock Certificate.
09/30/2026
SEK 502.68
Uppsk.: SEK 989.88
