![ARCHITECTURE - ST PAUL'S CATHEDRAL Manuscript planning brief for work under the supervision of Inigo Jones, [c.1631]](/_next/image.jpg?url=https%3A%2F%2Fimg1.bonhams.com%2Fimage%3Fsrc%3DImages%252Flive%252F2025-10%252F16%252F25762965-1-1.jpg%26width%3D650&w=2400&q=75)
![ADVERTISING POSTERfor 'The Suffragette' newspaper, [c.1913-1914]](/_next/image.jpg?url=https%3A%2F%2Fimg1.bonhams.com%2Fimage%3Fsrc%3DImages%252Flive%252F2025-06%252F25%252F25680656-116-1.jpg%26width%3D650&w=2400&q=75)
![ILLUMINATED ADDRESS – CLARA CODD Illuminated printed address signed by Emmeline Pankhurst, [1909]](/_next/image.jpg?url=https%3A%2F%2Fimg1.bonhams.com%2Fimage%3Fsrc%3DImages%252Flive%252F2025-06%252F25%252F25680656-32-1.jpg%26width%3D650&w=2400&q=75)
![MUSIC & RECORDINGS – ETHEL SMYTH Collection of printed music, song sheets and records, [c.1911-1912]](/_next/image.jpg?url=https%3A%2F%2Fimg1.bonhams.com%2Fimage%3Fsrc%3DImages%252Flive%252F2025-10%252F09%252F25680656-99-1.jpg%26width%3D650&w=2400&q=75)
This auction has ended. View lot details
You may also be interested in
Lot 1053
TURING, ALAN MATHISON. 1912-1954. "On computable numbers, with an application to the Entscheidungsproblem." [WITH:] "On computable numbers, with an application to the Entscheidungsproblem. A correction." IN: Proceedings of the London Mathematical Society, series 2, vols 42-3. London, C.F. Hodgson and Son, [1936-] 1937.
25 October 2022, 14:00 EDT
New YorkSold for US$25,500 inc. premium
Looking for a similar item?
Our Books & Manuscripts specialists can help you find a similar item at an auction or via a private sale.
Find your local specialistAsk about this lot
Client Services (Los Angeles)
Client Services (New York)
Client Services (San Francisco)
TURING, ALAN MATHISON. 1912-1954.
"On computable numbers, with an application to the Entscheidungsproblem." [WITH:] "On computable numbers, with an application to the Entscheidungsproblem. A correction." IN: Proceedings of the London Mathematical Society, series 2, vols 42-3. London, C.F. Hodgson and Son, [1936-] 1937.
2 volumes. 4to. Contemporary brown textured cloth, gilt titles on spine. Corners and spine ends bumped, some staining to covers, minor dampstaining to lower margins.
FIRST EDITION OF THE MOST IMPORTANT 20TH CENTURY PAPER IN COMPUTER SCIENCE, THE GROUND-BREAKING ACHIEVEMENT THAT LED TO TURING'S DEVELOPMENT OF A UNIVERSAL COMPUTING MACHINE. Turing's paper not only answered the famous Entscheidungsproblem posed by David Hilbert in 1928, but also showed that a universal machine was in fact a possibility, paving the way for the development of the modern computer.
In 1928, the German mathematician David Hilbert (1862-1943), in his address to the International Congress of Mathematicians in Bologna posed his Entscheidungsproblem, on whether mathematics are decidable, basically "a problem concerning a formal system based on applying the rules of first-order logic ... to a system of axioms for the natural numbers" (Davis p 101). Kurt Gödel (1906-1978) famously answered this question two years later in his "Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I," which introduced his revolutionary Incompleteness Theorem, showing "that even powerful logical systems could not hope to encompass the full scope of mathematical truth" (Davis p 118). While Gödel introduced the theorem showing that there was no algorithm that could answer the Entscheidungsproblem, Turing actually proved it. In order to answer the Entscheidungsproblem, Turing first created an imaginary computer device, and then came up with the concept of "computable numbers," i.e., numbers that are defined by some definite rule and therefore calculable on a universal machine. Turing demonstrated that these numbers could calculate every number that could arise in mathematical computations. He then showed that the computable numbers could give rise to uncomputable numbers which could not be calculated using a definite rule, proving that there could be no mechanical process that could be used to solve all mathematical questions. Davis, Martin. The Universal Computer. The Road from Leibniz to Turing NY: Norton, [2000]; Hook & Norman Origins of Cyberspace 394.
2 volumes. 4to. Contemporary brown textured cloth, gilt titles on spine. Corners and spine ends bumped, some staining to covers, minor dampstaining to lower margins.
FIRST EDITION OF THE MOST IMPORTANT 20TH CENTURY PAPER IN COMPUTER SCIENCE, THE GROUND-BREAKING ACHIEVEMENT THAT LED TO TURING'S DEVELOPMENT OF A UNIVERSAL COMPUTING MACHINE. Turing's paper not only answered the famous Entscheidungsproblem posed by David Hilbert in 1928, but also showed that a universal machine was in fact a possibility, paving the way for the development of the modern computer.
In 1928, the German mathematician David Hilbert (1862-1943), in his address to the International Congress of Mathematicians in Bologna posed his Entscheidungsproblem, on whether mathematics are decidable, basically "a problem concerning a formal system based on applying the rules of first-order logic ... to a system of axioms for the natural numbers" (Davis p 101). Kurt Gödel (1906-1978) famously answered this question two years later in his "Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I," which introduced his revolutionary Incompleteness Theorem, showing "that even powerful logical systems could not hope to encompass the full scope of mathematical truth" (Davis p 118). While Gödel introduced the theorem showing that there was no algorithm that could answer the Entscheidungsproblem, Turing actually proved it. In order to answer the Entscheidungsproblem, Turing first created an imaginary computer device, and then came up with the concept of "computable numbers," i.e., numbers that are defined by some definite rule and therefore calculable on a universal machine. Turing demonstrated that these numbers could calculate every number that could arise in mathematical computations. He then showed that the computable numbers could give rise to uncomputable numbers which could not be calculated using a definite rule, proving that there could be no mechanical process that could be used to solve all mathematical questions. Davis, Martin. The Universal Computer. The Road from Leibniz to Turing NY: Norton, [2000]; Hook & Norman Origins of Cyberspace 394.