The Incomputable Journeys Beyond the Turing Barrier /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Cooper, S. Barry (Επιμελητής έκδοσης), Soskova, Mariya I. (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2017.
• Σειρά: Theory and Applications of Computability, In cooperation with the association Computability in Europe,
• Θέματα: Computer science.; Computers.; Computer science > Mathematics.; Mathematical logic.; Computer Science.; Theory of Computation.; Mathematics of Computing.; Mathematical Logic and Foundations.

This book questions the relevance of computation to the physical universe. Our theories deliver computational descriptions, but the gaps and discontinuities in our grasp suggest a need for continued discourse between researchers from different disciplines, and this book is unique in its focus on the...

Πίνακας περιεχομένων:

• Part I, Challenging Turing: Extended Models of Computation
• Ivan Soskov: A Life in Computability
• Physical Logic
• From Quantum Foundations via Natural Language Meaning to a Theory of Everything
• Part II, The Search for "Natural" Examples of Incomputable Objects
• Some Recent Research Directions in the Computably Enumerable Sets
• Uncomputability and Physical Law
• Algorithmic Economics: Incomputability, Undecidability and Unsolv­ability in Economics
• Part III, Mind, Matter and Computation
• Is Quantum Physics Relevant for Life?
• Trouble with Computation: A Refutation of Digital Ontology
• Part IV, The Nature of Information: Complexity and Randomness
• Complexity Barriers as Independence
• Quantum Randomness: From Practice to Theory and Back
• Calculus of Cost Functions
• Part V
• The Mathematics of Emergence and Morphogenesis
• Turing’s Theory of Morphogenesis: Where We Started, Where We Are and Where We Want to Go
• Construction Kits for Biological Evolution.