Computability and complexity theory are two central areas of research in theoretical computer science. This book provides a systematic, technical development of
The book is a collection of papers written by a selection of eminent authors from around the world in honour of Gregory Chaitin's 60th birthday. This is a uniqu
This book shows new directions in group theory motivated by computer science. It reflects the transition from geometric group theory to group theory of the 21st
Briefly, we review the basic elements of computability theory and prob ability theory that are required. Finally, in order to place the subject in the appropria
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? The answer i