The revolutions that Gregory Chaitin brought within the fields of science are well known. From his discovery of algorithmic information complexity to his work on Gödel's theorem, he has contributed deeply and expansively to such diverse fields. This book attempts to bring together a collection of articles written by his colleagues, collaborators and friends to celebrate his work in a festschrift. It encompasses various aspects of the scientific work that Chaitin has accomplished over the years. Topics range from philosophy to biology, from foundations of mathematics to physics, from logic to computer science, and all other areas Chaitin has worked on. It also includes sketches of his personality with the help of biographical accounts in some unconventional articles that will provide a rare glimpse into the personal life and nature of Chaitin. Compared to the other books that exist along a similar vein, this book stands out primarily due to its highly interdisciplinary nature and its scope that will attract readers into Chaitin's world
Cognition and Intractability is the first book to provide an accessible introduction to computational complexity analysis and its application to questions of intractability in cognitive science.
Consider the toy shown in Fig. 1.222. A marble is dropped at A or B. Levers x1,x2,x3 cause the marble to fall either to the left or to the right. Whenever a marble encounters a lever, it causes the lever to reverse after the marble ...
Introduction to Automata Theory, Languages, and Computation
Looking at a sequence of zeros and ones, we often feel that it is not random, that is, it is not plausible as an outcome of fair coin tossing. Why?...
An introduction to a rapidly developing topic: the theory of quantum computing. Following the basics of classical theory of computation, the book provides an exposition of quantum computation theory.
This new edition comes with Gradiance, an online assessment tool developed for computer science. Please note, Gradiance is no longer available with this book, as we no longer support this product.
"Intended as an upper-level undergraduate or introductory graduate text in computer science theory," this book lucidly covers the key concepts and theorems of the theory of computation.
Proceedings The 2008 International Conference on Computational Science and Its Applications: ICCSA 2008
A clear, concise introduction to the quickly growing field of complexity science that explains its conceptual and mathematical foundations What is a complex system?
The book provides a self-contained introduction to mathematical logic and computability theory for students of mathematics or computer science.