This volume commemorates the work of Alan Turing, who not only introduced the most persuasive and influential concept of a machine model of effective computability but also anticipated in his work contemporary debates about the extent and limitations of mechanistic explanations of nature. Turing's paper "On Computable Numbers, With an Application to the Entscheidungsproblem" appeared in 1937. It contained Turing's thesis that every "effective" computation can be programmed on a Turing machine. Furthermore it contained the unsolvability of both the halting problem and the decision problem for first-order logic, and it presented the invention of the universal Turing machine. The publication of this paper is acknowledged as a landmark of the computer age. Part I of this volume explores the historical aspect with essays on the background, on Turing's work, and subsequent developments. Part II contains an extensive series of essays on the influence and applications of these ideas in mathematics, philosophy, computer science, artificial intelligence, and physics. The book will interest a wide range of readers in these fields, in addition to historians of science and ideas.

Review

'a generally well-written account of Turing's work which manages to convey the broad scope of his influence on later developments in mathematical logic, computer science, and artificial intelligence. I would recommend the book to anyone who has an interest in computability theory or mathematical logic and its applications in computer science... One of the great merits of the book is that it is relatively self-contained and the material is largely expository and consequently the book will also attract the lay reader who is interested in the development of mathematical ideas... this collection is to be welcomed as a fitting tribute to the work of one of the most influential figures in mathematical logic and computer science.' Journal of Logic and Computation '... a fitting tribute to one of the most influential figures in mathematical logic and computer science.' Journal of Logic and Computation

"About this title" may belong to another edition of this title.

Store Description

The Saint Bookstore has a range of over 1 million titles available.

Visit Seller's Storefront

Seller's business information

SB ONLINE LTD
50 Devonshire Road, Southport, PR9 7BZ, United Kingdom

Sale & Shipping Terms

Terms of Sale

Please order through the Abebooks checkout. We only take orders through Abebooks - We don't take direct orders by email or phone.

Refunds or Returns: A full refund of the purchase price will be given if returned within 30 days in undamaged condition.

As a seller on abebooks we adhere to the terms explained at http://www.abebooks.co.uk/docs/HelpCentral/buyerIndex.shtml - if you require further assistance please email us at orders@thesaintbookstore.co.uk

Shipping Terms

Most orders usually ship within 1-3 business days, but some can take up to 7 days.

Shipping rates from United Kingdom to U.S.A.

Shipping rates from United Kingdom to U.S.A.
Order quantity	7 to 28 business days	7 to 28 business days
First item	US$ 29.30	US$ 31.99

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.