Research Catalog

Title

The universal Turing machine : a half-century survey / Rolf Herken (ed.).

Publication

Wien ; New York : Springer-Verlag, ©1995.

Items in the Library & Off-site

Details

Additional Authors

Herken, Rolf.

Description

xvi, 611 pages : illustrations; 24 cm.

Series Statement

Computerkultur, 0946-9613 ; v. 2

Uniform Title

Computerkultur ; v. 2.

Subjects

• Aufsatzsammlung
• Aufgabensammlung
• Turing machines
• Universelle Turing-Maschine
• Turing-Maschine

Genre/Form

• Aufgabensammlung.
• Aufsatzsammlung.

Bibliography (note)

• Includes bibliographical references.

Contents

Alan Turing and the Turing Machine / Andrew Hodges -- Turing's Analysis of Computability, and Major Applications of It / Stephen C. Kleene -- The Confluence of Ideas in 1936 / Robin Gandy -- Turing in the Land of O(z) / Solomon Feferman -- Mathematical Logic and the Origin of Modern Computing / Martin Davis -- From Universal Turing Machines to Self-Reproduction / Michael A. Arbib -- Computerizing Mathematics: Logic and Computation / Michael J. Beeson -- Logical Depth and Physical Complexity / Charles H. Bennett -- The Busy Beaver Game and the Meaning of Life / Allen H. Brady -- An Algebraic Equation for the Halting Probability / Gregory J. Chaitin -- The Price of Programmability / Michael Conrad -- Gandy's Principles for Mechanisms as a Model of Parallel Computation / Elias Dahlhaus and Johann A. Makowsky -- Influences of Mathematical Logic on Computer Science / Martin Davis -- Language and Computations / Jens Erik Fenstad -- Finite Physics / David Finkelstein -- Randomness, Interactive Proofs, and Zero-Knowledge -- A Survey / Oded Goldreich -- Algorithms in the World of Bounded Resources / Yuri Gurevich -- Beyond the Turing Machine / Brosl Hasslacher -- Structure / Moshe Koppel -- Mental Images and the Architecture of Concepts / Johann A. Makowsky -- The Fifth Generation's Unbridged Gap / Donald Michie -- On the Physics and Mathematics of Thought / Roger Penrose -- Effective Processes and Natural Law / Robert Rosen -- Turing Naturalized: Von Neumann's Unfinished Project / Helmut Schnelle -- Complexity Theory and Interaction / Uwe Schoning -- Mechanisms for Computing Over Arbitrary Structures / John C. Shepherdson -- Comparing the Church and Turing Approaches: Two Prophetical Messages / Boris A. Trakhtenbrot -- Form and Content in Thinking Turing Machines / Oswald Wiener.

ISBN

• 3211826378
• 9783211826379
• 3211826289
• 9783211826287

LCCN

95001814

OCLC

• ocm32013506
• 32013506
• SCSB-9178824

Owning Institutions

Princeton University Library