Screen LibraryThe Incomputable : Journeys Beyond the Turing Barrier /
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...
Saved in:
| Corporate Authors: | |
|---|---|
| Group Author: | ; |
| Published: |
Springer International Publishing : Imprint: Springer,
|
| Publisher Address: | Cham : |
| Publication Dates: | 2017. |
| Literature type: | eBook |
| Language: | English |
| Series: |
Theory and Applications of Computability, In cooperation with the association Computability in Europe,
|
| Subjects: | |
| Online Access: |
http://dx.doi.org/10.1007/978-3-319-43669-2 |
| Summary: |
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 mathematical theory of incomputability and its relevance for the real world. The core of the book consists of thirteen chapters in five parts on extended models of computation; the search for natural examples of incomputable objects; mind, matter, and computation; the nature of information, compl |
| Carrier Form: | 1 online resource(X,292pages): illustrations. |
| ISBN: | 9783319436692 |
| Index Number: | QA75 |
| CLC: | O141.3 |
| Contents: | 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 Digit |