Typed letter signed ‘Kurt Gödel’ to Martin Davis, with manuscript annotations

by both Gödel and Davis,

$25,000 · Offered by Sophia Rare Books

Princeton, New Jersey: The Institute for Advanced Study, February 15, 1965. A highly important letter from Gödel to the logician Martin Davis in which Gödel clarifies his position on ‘Church’s thesis’ later called the Church-Turing thesis , which proposed an answer to the question of what constitutes ‘effective calculability’. From February to May 1934, Gödel lectured at the Institute for Advanced Study on

Found via Rare Books Intel, a search across rare-book dealers, auction houses and marketplaces worldwide.