Mathematician Philosopher Logician (5 results)

Hardcover. Condition: Very Good. No Jacket. 1st Edition. CLEAN Dark Green Leatherette in VG condition; Spine #4; Gold Torchbearer on front and gold lettering on spine; Bernhard Endpapers. AUTHOR: Selected and with a special introduction by Bertrand Russell. In 1950, Russell was awarded the Nobel Prize in Literature "in recognition of his varied and significant writings in which he champions humanitarian ideals and freedom of thought".

xv, 496 pages; 1 folded plate / xi (i), 235 pages. - Publisher's gilt-titled green cloth-bindings; 8vo.(ca. 19,5 x 13,5 x 3 / 1 cm.). *** [Verlängerter und erweiterter HERBST-VERKAUF bis Donnerstag, den 27.11.2025) / Ongoing and expanded AUTUMN-SALE until Thursday, November 27, 2025: um über 30% REDUZIERTER PREIS / PRICE-REDUCTION of over 30%; vorheriger Preis / previously EUR 165,-] --- I. SECOND REVISED EDITION, edited on the occasion of the release of the 'Supplementary Volume' to the 1859-first edition; CLOTHBOUND ORIGINAL. - Panels minimally rubbed, exterior cloth at joints towards both ends slightly split, without affecting the tightness of the binding; else in best condition. / II. FIRST EDITION, CLOTHBOUND ORIGINAL; with a preface that indicates the same importance of the Supplementary Volume compared to the First Edition: ''The present [Supplementary-]Volume contains all that Professor Boole wrote for the purpose of enlarging his Treatise on Differential Equations. Had he lived to publish the second edition he would doubtless have incorporated his more recent investigations with the original work, and it is therefore necessary to explain why another plan has been adopted. In some cases Professor Boole had indicated that certain portions of the original work were to be omitted and their places supplied from the manuscripts; . . . The design of reconstructing the Treatise was therefore abandoned; and it was resolved that the original volume should be reprinted, and that the manuscripts should be collected and published seperately. . . I have printed all the unpublished matter relating to Differential Equations which I found among Professor Boole's papers. . .''(from the Preface of I. Todhunter). - Spine loose at frontjoint and starting to loosen at rearjoint from top; else a very good copy, AS RARE AS THE VERY FIRST EDITION. . .

Hardcover. Condition: Fine. Dust Jacket Condition: Near Fine. 1st Edition. SHEPARDSON BOOKSTALL, 20 YEARS OF EXCELLENCE. TRUE FIRST EDITION: SEE SCAN of Copyright Page for Verification. AUTHOR: Selected and with a special introduction by Bertrand Russell. In 1950, Russell was awarded the Nobel Prize in Literature "in recognition of his varied and significant writings in which he champions humanitarian ideals and freedom of thought".

4to. 1 p. Rare and desirable letter to Dr. Martin Davis:On Institute for Advanced Study letterhead. Gödel asks for clarification regarding the subject matter of the Davis-edited book, the Undecidable.Provenance: American mathematician Dr. Martin Davis received his doctorate at Princeton University where his adviser was Alonzo Church. Davis is best known for his work on Hilbert's tenth problem as well as for pioneering work on the so-called "satisfiability problem." Davis edited the 1965 publication The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions, which included 5 pieces by Gödel as well as material by Alan Turing, Alonzo Church, Emil Post, Stephen K. Kleene and J.B. Rosser. Kurt Gödel, who was a friend and colleague of Albert Einstein, has been considered one of the most important logicians since Aristotle who, according to Dr. Davis, "utterly transformed the field of mathematical logic and our understanding of the foundations of mathematics, starting with his famous 'incomplete theorem.'"Davis recounts the context of the above material:"As a young man committed to making mathematical logic my life's work, Gödel was a towering and inspirational figure. I was also thrilled to be part of the circle at the Institute for Advanced Studies at Princeton, and to see Einstein and Gödel walking together.Many years later, I was editing an anthology of fundamental research papers, The Undecidable (1965), all concerned with the new perspectives that Gödel's revolutionary 1931 paper on formally undecidable propositions had illuminated. Several of the articles included were by Gödel himself.The book was entirely in English although three of Gödel's contributions had been originally published in German, and I translated two of these. I was pleased when during our correspondence he approved my translations. He also wrote me adding a significant amount of new material to another article (one that had originated in a series of lectures given in English at the Institute of Advanced Study in Princeton in 1934), bringing it up to date, emphasizing the importance of Alan Turing's work in extending the incompleteness theorem. Gödel sent some of this material to me in a handwritten letter, explaining that, because he was ill, he'd been unable to have it typewritten. After Gödel's death in 1978, I was studying a manuscript found with his effects for a project to publish his collected works. I was amazed to discover in it work by Gödel that was very close in method and form to a theorem in my doctoral dissertation of 1950 that had enabled a strengthened form of the incompleteness theorem."In his book The Universal Computer, Dr. Davis summarized what Gödel had done with his paper on undecidability, the centerpiece of the Davis edited book The Undecidable: "Leibniz had certainly proposed the development of a precise artificial language in which much human thought would be reduced to calculation. Frege, in his Bgriffsschrift, had shown how the usual logical reasoning by mathematicians could indeed be captured. Whitehead and Russell had succeeded in developing actual mathematics in an artificial language of logic. Hilbert had proposed the metamathematical study of languages. But before Gödel no one had shown how these metamathematical concepts could be embedded in the languages themselves" (p 121).

4to. The ALS 8vo. 9 pp. Expected fold creases. Rare and desirable archive of signed letters and an autograph manuscript all addressed to Dr. Martin Davis:1. Autograph Manuscript, 1 p, 4to, [Princeton, New Jersey, 1963], in pencil, entitled at top "Additions to footnotes," and providing 3 additional items. He adds to footnote 19: "Herbrand apparently conjectured that this definition would prove equivilent with the one he gave in Jour. r. angew. Math. vol. 166 (1931/32), p 1-8, where he required 'compatibility,' without specifying however any rules of computation."2. Autograph Letter Signed ("Kurt Gödel"), 1 p, oblong 8vo, Princeton, New Jersey, December 29, 1963. Gödel mentions sending additional material concerning his 1934 lectures. He also consents to the publication of his resume which had been used for his talk at the Princeton Bicentennial.3. Letter Signed ("Kurt Gödel"), 1 p, 4to, Princeton, New Jersey, August 21, 1963, on Institute for Advanced Study letterhead. Gödel asks for clarification regarding the subject matter of the Davis-edited book, the Undecidable.4. Letter Signed ("Kurt Gödel"), 1 p, 4to, Princeton, New Jersey, December 20, 1963, on Institute for Advanced Study letterhead. Regarding corrections to Gödel's 1934 lecture notes.5. Letter Signed ("Kurt Gödel"), 2 pp, 4to, Princeton, New Jersey, August 18, 1964, on Institute for Advanced Study letterhead. Lot also includes a photocopy with an additional type foot note addendum. Regarding numerous corrections and the return of Gödel's 1934 lecture notes.6. Letter Signed ("Kurt Gödel"), 2 pp plus additional typed leaf, 4to, Princeton, New Jersey, October 12, 1964, on Institute for Advanced Study letterhead. Regarding numerous corrections including a reconsideration on one footnote: "Professor van Heijenoort [Jean Louis Maxime van Heijenoort, historian of mathematical logic and one of the editor's of Gödel's collected works] called my attention to a third definition of 'general recursive,' given by Herbrand . This, in conjunction with other passages, seems to prove that Herbrand was wavering between different definitions, which he hoped would prove equivalent. For this reason I would like footnote 19 to avoid reference to what he meant and confine myself to what he said. Also, considering Herbrand's wording, I think it is better to omit 'intuit. demonstrable' in the last sentence." 7. Letter Signed ("Kurt Gödel"), 1 p, with Autograph Postscript, 4to, Princeton, New Jersey, March 8, 1965, on Institute for Advanced Study letterhead. Regarding corrections.Provenance: American mathematician Dr. Martin Davis received his doctorate at Princeton University where his adviser was Alonzo Church. Davis is best known for his work on Hilbert's tenth problem as well as for pioneering work on the so-called "satisfiability problem." Davis edited the 1965 publication The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions, which included 5 pieces by Gödel as well as material by Alan Turing, Alonzo Church, Emil Post, Stephen K. Kleene and J.B. Rosser. Kurt Gödel, who was a friend and colleague of Albert Einstein, has been considered one of the most important logicians since Aristotle who, according to Dr. Davis, "utterly transformed the field of mathematical logic and our understanding of the foundations of mathematics, starting with his famous 'incomplete theorem.'"Davis recounts the context of the above material:"As a young man committed to making mathematical logic my life's work, Gödel was a towering and inspirational figure. I was also thrilled to be part of the circle at the Institute for Advanced Studies at Princeton, and to see Einstein and Gödel walking together.Many years later, I was editing an anthology of fundamental research papers, The Undecidable (1965), all concerned with the new perspectives that Gödel's revolutionary 1931 paper on formally undecidable propositions had illuminated. Several of the articles included were by Gödel himself.The book was entirely in English although three of Gödel's contributions had been originally published in German, and I translated two of these. I was pleased when during our correspondence he approved my translations. He also wrote me adding a significant amount of new material to another article (one that had originated in a series of lectures given in English at the Institute of Advanced Study in Princeton in 1934), bringing it up to date, emphasizing the importance of Alan Turing's work in extending the incompleteness theorem. Gödel sent some of this material to me in a handwritten letter, explaining that, because he was ill, he'd been unable to have it typewritten. After Gödel's death in 1978, I was studying a manuscript found with his effects for a project to publish his collected works. I was amazed to discover in it work by Gödel that was very close in method and form to a theorem in my doctoral dissertation of 1950 that had enabled a strengthened form of the incompleteness theorem."In his book The Universal Computer, Dr. Davis summarized what Gödel had done with his paper on undecidability, the centerpiece of the Davis edited book The Undecidable: "Leibniz had certainly proposed the development of a precise artificial language in which much human thought would be reduced to calculation. Frege, in his Bgriffsschrift, had shown how the usual logical reasoning by mathematicians could indeed be captured. Whitehead and Russell had succeeded in developing actual mathematics in an artificial language of logic. Hilbert had proposed the metamathematical study of languages. But before Gödel no one had shown how these metamathematical concepts could be embedded in the languages themselves" (p 121).