 |
|
|
Item Details
| Title:
|
THE UNIVERSAL TURING MACHINE
A HALF-CENTURY SURVEY |
| By: |
Rolf Herken (Editor) |
| Format: |
Paperback |
| List price:
|
£60.00 |
| Our price: |
£52.50 |
| Discount: |
|
| You save:
|
£7.50 |
|
|
|
|
|
| ISBN 10: |
0198537743 |
| ISBN 13: |
9780198537748 |
| Availability: |
Usually dispatched within 1-3 weeks.
 Delivery
rates
|
| Stock: |
Currently 0 available |
| Publisher: |
OXFORD UNIVERSITY PRESS |
| Pub. date: |
15 August, 1991 |
| Pages: |
676 |
| Description: |
This volume commemorates the work of Alan Turing, because it was Turing who not only introduced the most persuasive and influential concept of a machine model of effective computability, but who also anticipated in his work the diversity of topics brought together here.Turing's paper "On computable numbers, with an application to the Entscheindungs problem" which appeared in print in 1937, contained Turing's thesis that every `effective' computation can be programmed on a Turing machine. Furthermore it contained the unsolvability of the halting problem and of the decision problem for first-order logic, and it presented the invention of the universal Turing machine. The publication of this idea is acknowledged as a landmark of the computer age.This volume explores the historical aspect, and the influence and applications of these ideas. |
| Synopsis: |
This volume commemorates the work of Alan Turing, because it was Turing who not only introduced the most persuasive and influential concept of a machine model of effective computability but who also anticipated in his work the diversity of topics brought together here. As Newman put it in his memoir of Turing, "The central problem with which he started and to which he constantly returned is the extent and the limitations of mechanistic explanations of nature." Turing's paper "On computable numbers, with an application to the Entscheidungs problem" appeared in print in 1937. It contained Turing's thesis that every 'effective' computation can be programmed on a Turing machine. Furthermore it contained the unsolvability of the halting problem and of the decision problem for first-order logic, and it presented the invention of the universal Turing machine. The publication of this idea is acknowledged as a landmark of the computer age. Part I of the volume explores the historical aspect with essays on the background, on Turing's work, and on subsequent developments.Part II contains an extensive series of essays on the influence and applications of these ideas in mathematics, mathematical logic, philosophy of mathematics, computer science, artificial intelligence, philosophy of language, philosophy of mind, and physics. |
| Illustrations: |
line figures throughout |
| Publication: |
UK |
| Imprint: |
Oxford University Press |
| Returns: |
Returnable |
|
|
|
 |
Ramadan and Eid al-Fitr
A celebratory, inclusive and educational exploration of Ramadan and Eid al-Fitr for both children that celebrate and children who want to understand and appreciate their peers who do.
|
|
|
|
|
|
|
|
|
|
|