"On Computable Numbers, with an Application to the Entscheidungsproblem”, Alan Turing’s paper of 1937, contained his thesis that every effective computation can be programmed on such an automation as that called Turing machine. Furthermore it proved 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. It is that publication that will presumably be acknowledged as marking sub specie aeternitatis the beginning of the "computer age”. This volume recognizes the still continuing influence of the Turing machine concept by collecting contributions from international specialists in logic, computability, mathematics, biology, physics, linguistics, and cognitive science, thus signalling the exceptionally wide scope of that concept.

lgrsnf/A:\compressed\10.1007%2F978-3-7091-6597-3.pdf

nexusstc/The Universal Turing Machine A Half-Century Survey/c006d0991a7484c31e53ca4d418a7be7.pdf

zlib/Computers/Computer Science/Andrew Hodges (auth.), Rolf Herken (eds.)/The Universal Turing Machine A Half-Century Survey_2118618.pdf

Multimedia Internet Broadcasting: Quality, Technology and Interface (Computer Communications and Networks)

Rolf Herken; Alan Turing

edited by Rolf Herken

Springer Verlag Wien

Springer-Verlag GmbH

Computerkultur, 0946-9613 -- 2, Computerkultur -- 2., Second edition., Vienna, Austria, 1995

Computerkultur,, 2nd ed., Wien, New York, Austria, 1995

Softcover reprint of the original 1st ed. 2001, 2001

Computerkultur, 0002, 2. ed, Wien ; New York, ©1995

Computerkultur, v. 2, 2nd ed, Wien, ©1995

2nd ed. edition, May 1, 1995

2. Aufl, Vienna, 1995

Austria, Austria

lg964715

{"container_title":"Computerkultur","edition":"2","isbns":["3211826378","3709165970","9783211826379","9783709165973"],"issns":["0946-9613"],"publisher":"Springer Vienna","series":"Computerkultur 2"}

Includes bibliographical references.

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. Rolf Herken (ed.). Includes Bibliographical References.

Content:
Front Matter....Pages i-xvi
Front Matter....Pages 1-1
Alan Turing and the Turing Machine....Pages 3-14
Turing’s Analysis of Computability, and Major Applications of It....Pages 15-49
The Confluence of Ideas in 1936....Pages 51-102
Turing in the Land of 0(z)....Pages 103-134
Mathematical Logic and the Origin of Modern Computers....Pages 135-158
Front Matter....Pages 159-159
From Universal Turing Machines to Self-Reproduction....Pages 161-172
Computerizing Mathematics: Logic and Computation....Pages 173-205
Logical Depth and Physical Complexity....Pages 207-235
The Busy Beaver Game and the Meaning of Life....Pages 237-254
An Algebraic Equation for the Halting Probability....Pages 255-259
The Price of Programmability....Pages 261-281
Gandy’s Principles for Mechanisms as a Model of Parallel Computation....Pages 283-288
Influences of Mathematical Logic on Computer Science....Pages 289-299
Language and Computations....Pages 301-321
Finite Physics....Pages 323-347
Randomness, Interactive Proofs, and Zero-Knowledge — A Survey....Pages 349-375
Algorithms in the World of Bounded Resources....Pages 377-385
Beyond the Turing Machine....Pages 387-402
Structure....Pages 403-419
Mental Images and the Architecture of Concepts....Pages 421-432
Front Matter....Pages 159-159
The Fifth Generation’s Unbridged Gap....Pages 433-454
On the Physics and Mathematics of Thought....Pages 455-483
Effective Processes and Natural Law....Pages 485-498
Turing Naturalized: Von Neumann’s Unfinished Project....Pages 499-517
Complexity Theory and Interaction....Pages 519-536
Mechanisms for Computing Over Arbitrary Structures....Pages 537-555
Comparing the Church and Turing Approaches: Two Prophetical Messages....Pages 557-582
Form and Content in Thinking Turing Machines....Pages 583-607
Back Matter....Pages 609-615

Alan Turing's paper of 1937, contained his thesis that every effective computation can be programmed on such an automation as that called Turing machine. This work recognizes the influence of the Turing machine concept by collecting contributions from international specialists in logic, computability, mathematics, biology, physics and linguistics.

2013-08-01