Introduction to Mathematical Philosophy.

8vo (150 x 222 mm). 112 ff. Publisher’s maroon cloth, spine gilt. Turing’s signed copy of Russell’s concise exposition of the logical foundations of mathematics, acquired in March 1933 during his final undergraduate year at King’s College, Cambridge. - Considered the father of theoretical computer science and artificial intelligence, the British mathematician, cryptanalyst, and computer scientist Alan Turing (1912-54) studied as an undergraduate at King's from February 1931 to November 1934, graduating with first-class honours in mathematics. His dissertation, "On the Gaussian error function", delivered in November 1934, proved a version of the central limit theorem. - Russell’s work distilled the ambition of "Principia Mathematica" into an accessible account of number, order, classes and infinity, shaping the logical curriculum read by a generation of Cambridge students. For Turing, the book’s treatment of logical types and the scope and limits of formal methods offered a first sustained encounter with problems he would soon recast in mechanical terms, leading toward the 1936 paper on computable numbers and universal machines. The volume thus stands at a nexus between Russell’s logicism and Turing’s foundational redefinition of effective procedure, linking two decisive moments in twentieth century thought. - Well preserved with extremities slightly rubbed, spine ends worn, mild fading to upper board. - Alan Mathison Turing (1912-1954), signed "A. M. Turing" and dated "March 1933" on the front free endpaper, in ink; Robin Gandy (1919-1995), Turing's friend and one of his executors; bequeathed to Wolfson College. A Fellow of Wolfson from 1970 until his death in 1995, Gandy generously left his entire estate to the College, including this book once owned by Alan Turing, with the wish that his legacy be used to benefit the College and its students. Deaccessioned to fund student support (Turing-Gandy bursary initiative).…