基本説明
Provides a deeper understanding of what computability is and why the Church-Turing thesis poses an arbitrary limit to what can be actually computed. Describes the various attempts at hypercomputation: from trial-and-error machines to the exploration of the human mind, if treated as a computing device.
Full Description
Hypercomputation is a relatively new theory of computation that is about computing methods and devices that transcend the so-called Church-Turing thesis. This book will provide a thorough description of the field of hypercomputation covering all attempts at devising conceptual hypermachines and all new promising computational paradigms that may eventually lead to the construction of a hypermachine.
Readers of this book will get a deeper understanding of what computability is and why the Church-Turing thesis poses an arbitrary limit to what can be actually computed. Hypercomputing is in and of itself quite a novel idea and as such the book will be interesting in its own right. The most important features of the book, however, will be the thorough description of the various attempts of hypercomputation: from trial-and-error machines to the exploration of the human mind, if we treat it as a computing device.
Contents
On the Church-Turing Thesis.- Early Hypercomputers.- Infinite-Time TuringMachines.- Interactive Computing.- Hyperminds.- Computing Real Numbers.- Relativistic and Quantum Hypercomputation.- Natural Computation and Hypercomputation.
