Herken

The Universal Turing Machine

A Half-Century Survey
Ed. by Rolf Herken

• Broschiertes Buch

Produktbeschreibung

Dieser Band enthält achtundzwanzig Originalarbeiten führender Computerwissenschaftler, Mathematiker, Physiker, Biologen und Philosophen, die diese 1987 anläßlich des fünfzigsten Jahrestages der Veröffentlichung von Alan Turings Arbeit "On Computable Numbers, with an Application to the Entscheidungsproblem" verfaßt haben.
Viele der Beiträge sind thematisch nicht auf mathematische Logik oder Computerwissenschaft beschränkt. Sie spiegeln damit die wachsende Bedeutung der theoretischen Computerwissenschaft auch in anderen Forschungsgebieten wider - in der Mathematik ebenso wie in der Physik, der Biologie, der Kognitionswissenschaft und der Künstlichen Intelligenz.

Produktdetails

• Computerkultur Bd.2
• Verlag: Springer, Wien
• 2nd ed.
• Seitenzahl: 614
• Erscheinungstermin: 4. Juli 2001
• Englisch
• Abmessung: 240mm
• Gewicht: 1164g
• ISBN-13: 9783211826379
• ISBN-10: 3211826378
• Artikelnr.: 05913328

Inhaltsangabe

I.- Alan Turing and the Turing Machine.- Turing s Analysis of Computability, and Major Applications of It.- The Confluence of Ideas in 1936.- Turing in the Land of O(z).- Mathematical Logic and the Origin of Modern Computing.- II.- From Universal Turing Machines to Self-Reproduction.- Computerizing Mathematics: Logic and Computation.- Logical Depth and Physical Complexity.- The Busy Beaver Game and the Meaning of Life.- An Algebraic Equation for the Halting Probability.- The Price of Programmability.- Gandy s Principles for Mechanisms as a Model of Parallel Computation.- Influences of Mathematical Logic on Computer Science.- Language and Computations.- Finite Physics.- Randomness, Interactive Proofs, and Zero-Knowledge A Survey.- Algorithms in the World of Bounded Resources.- Beyond the Turing Machine.- Structure.- Mental Images and the Architecture of Concepts.- The Fifth Generation s Unbridged Gap.- On the Physics and Mathematics of Thought.- Effective Processes and Natural Law.- Turing Naturalized: Von Neumann s Unfinished Project.- Complexity Theory and Interaction.- Mechanisms for Computing Over Arbitrary Structures.- Comparing the Church and Turing Approaches: Two Prophetical Messages.- Form and Content in Thinking Turing Machines.