24
THE FOUNDATIONS OF MODERN COMPUTING. TURING, ALAN MATHISON. 1912-1954. 'On Computable Numbers, w...
1/4
Das Auktionshaus hat für dieses Los keine Ergebnisse veröffentlicht
New York, New York
Beschreibung
THE FOUNDATIONS OF MODERN COMPUTING. TURING, ALAN MATHISON. 1912-1954. 'On Computable Numbers, with an Application to the Entscheidungsproblem,' appearing in: Proceedings of the London Mathematical Society, series 2, vol 42, pts 3-4, pp 230-265, London: C.F. Hodgson & Son, Ltd, November 30, 1936-December 23, 1936. 4to. Complete volume issue, original green cloth, gilt. WITH: 'On Computable Numbers... A Correction,' appearing in Proceedings of the London Mathematical Society, Series 2, volume 43, pt 7, December 30, 1937, pp 544-546. Journal issue, original wrappers. WITH: 'Systems of logic based on ordinals' in Proceedings of the London Mathematical Society, Series 2, volume 45, pt 3, March 21, 1939, pp 161-228. Journal issue, original wrappers. 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. Exceeding rare, and here with his 'corrections' published the following year in response to questions raised by Swiss mathematician Paul Bernays, as well as his 1939 PhD thesis 'Systems of Logic based on Ordinals' which tackled Gödel's incompleteness theorems, and introduced his 'oracle' or o-machine and the idea of relative computability, another groundbreaking contribution to the field of mathematics and computer science. Davis, Martin, The Universal Computer. The Road from Leibniz to Turing, NY: Norton, [2000]; Origins of Cyberspace 394. For further information on this lot please visit Bonhams.com For further information about this lot please visit the lot listing
Auktionsdetails
Versand
AGB & Wichtige Informationen
Stellen Sie dem Verkäufer eine Frage
THE FOUNDATIONS OF MODERN COMPUTING. TURING, ALAN MATHISON. 1912-1954. 'On Computable Numbers, with an Application to the Entscheidungsproblem,' appearing in: Proceedings of the London Mathematical Society, series 2, vol 42, pts 3-4, pp 230-265, London: C.F. Hodgson & Son, Ltd, November 30, 1936-December 23, 1936. 4to. Complete volume issue, original green cloth, gilt. WITH: 'On Computable Numbers... A Correction,' appearing in Proceedings of the London Mathematical Society, Series 2, volume 43, pt 7, December 30, 1937, pp 544-546. Journal issue, original wrappers. WITH: 'Systems of logic based on ordinals' in Proceedings of the London Mathematical Society, Series 2, volume 45, pt 3, March 21, 1939, pp 161-228. Journal issue, original wrappers. 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. Exceeding rare, and here with his 'corrections' published the following year in response to questions raised by Swiss mathematician Paul Bernays, as well as his 1939 PhD thesis 'Systems of Logic based on Ordinals' which tackled Gödel's incompleteness theorems, and introduced his 'oracle' or o-machine and the idea of relative computability, another groundbreaking contribution to the field of mathematics and computer science. Davis, Martin, The Universal Computer. The Road from Leibniz to Turing, NY: Norton, [2000]; Origins of Cyberspace 394. For further information on this lot please visit Bonhams.com For further information about this lot please visit the lot listing
History of Science and Technology
Endet ab
Ort der Versteigerung
580 Madison Avenue
New York
New York
10022
United States
...
Wichtige Informationen
This auction is now finished. If you are interested in consigning in future auctions, please contact the specialist department. If you have queries about lots purchased in this auction, please contact client services.
You are advised to visit www.bonhams.com for any additional information regarding auction 29514 which may have come to light for any Lot after producing the catalogue, which will be included in a "Sale Room Notice" accompanying each Lot.
AGB
Buyers' Obligations
ALL BIDDERS MUST AGREE THAT THEY HAVE READ AND UNDERSTOOD BONHAMS' CONDITIONS OF SALE AND AGREE TO BE BOUND BY THEM, AND AGREE TO PAY THE BUYER'S PREMIUM AND ANY OTHER CHARGES MENTIONED IN THE NOTICE TO BIDDERS. THIS AFFECTS THE BIDDERS LEGAL RIGHTS.
If you have any complaints or questions about the Conditions of Sale, please contact your nearest client services team.
Buyers' Premium and Charges
For all Sales categories excluding Arms & Armour, Coins and Medals, Motor Cars, Motorcycles, Wine & Whisky
28% on the first $50,000 of the hammer price;
27% of the hammer price of amounts in excess of $50,000 up to and including $1,000,000;
21% of the hammer price of amounts in excess of $1,000,000 up to and including $6,000,000;
and 14.5% of the hammer price of any amounts in excess of $6,000,000.
A 3rd-party bidding platform fee (the "3rd-party bidding platform fee") equal to 4% of THE BID PRICE shall be payable by buyers whose successful bid is submitted via 3rd-party bidding platforms, including Invaluable; Live Auctioneers; The Saleroom; Lot-tissimo.
Payment Notices
Payment for purchases may be made in or by (a) cash, (b) cashier's check or money order, (c) personal check with approved credit drawn on a U.S. bank, (d) wire transfer or other immediate bank transfer, or (e) Visa, MasterCard, American Express or Discover credit, charge or debit card for returning clients only. Please note that the amount of cash notes and cash equivalents that can be accepted from a given purchaser may be limited.
Shipping Notices
If you have requested a shipping quote, we will send this to you via email within 5 business days of the auction ending.
Please note our shipping quotes are bespoke and require special care and handling from our team and shippers. Shipping will be booked after payment is received. Please allow 7-14 business days from the time of booking for packing and dispatch, depending on your chosen shipping method. If your purchase is time sensitive, or you wish to explore other options, please see our list of alternative third party shippers in New York and Los Angeles who may be able to assist you.
Oversized Lots
Please note that all lots marked with a W in the catalog are oversized and subject to additional storage and shipping methods. All additional lots purchased with W lots are considered group lots and will be subject to the same terms as W lots.
W Lots will be transferred to offsite storage at DTD Fine Art Services at the buyer's risk and expense within five (5) business days following the auction. Please contact the Client Services team at bids.us@bonhams.com for the exact movement date.
The per-lot charges levied by DTD Fine Art Services are as follows (plus any applicable sales tax):
FURNITURE/LARGE OBJECTS
Transfer .................. $75
Daily storage........... $10
Insurance (on Hammer + Premium + tax) 0.3%
SMALL OBJECTS
Transfer ................. $37.50
Daily storage........... $5
Insurance (on Hammer + Premium + tax) 0.3%
Please note property is also subject to a Cross Dock Release Fee ($25 for Smalls and $45 for Furniture and Large Objects) & if charges are paid with a credit card, Door to Door Fine Art Services will charge a 3% Convenience Fee.
If you have any questions, please contact our Client Services team.
Katalog
