G. J. Chaitin. Exploring Randomness, Springer-Verlag London, 2000, x + 164 pages, ISBN 1-85233-417-7, £19.95.

This essential companion volume to Chaitin's highly successful books The Unknowable and The Limits of Mathematics, also published by Springer, presents the technical core of his theory of program-size complexity, also known as algorithmic information theory. (The two previous volumes are more concerned with applications to meta-mathematics.) LISP is used to present the key algorithms and to enable computer users to interact with the author's proofs and discover for themselves how they work. The LISP code for this book is available at the author's Web site together with a Java applet LISP interpreter.

``No one has looked deeper and farther into the abyss of randomness and its role in mathematics than Greg Chaitin. This book tells you everything he's seen. Don't miss it.''
--- John Casti, Santa Fe Institute, Author of Gödel: A Life of Logic

``The Limits of Mathematics contains unconventional, new and challenging reading at all levels, laymen and experts alike, the only prerequisite being the willingness to question and, if necessary, abandon long-held beliefs and prejudices.''
--- Karl Svozil, Complexity magazine

``According to Gregory Chaitin, `some mathematical statements are true for no reason, they're true by accident'. The Unknowable is his extremely readable exposition of the randomness at the heart of arithmetic.''
--- Marcus Chown, New Scientist, December 1999

New Scientist, 20 January 2001, pp. 46-47 has published the first review of the book

To run the software for this book, go to the LISP interpreter Web page and then use cut and paste to enter the LISP code and run it.

TABLE OF CONTENTS

Part I---Introduction

• Historical introduction---A century of controversy over the foundations of mathematics

• What is LISP? Why do I like it?

• How to program my universal Turing machine in LISP
  source, run

Part II---Program-Size

• A self-delimiting Turing machine considered as a set of (program, output) pairs
  source, run

• How to construct self-delimiting Turing machines: the Kraft inequality
  source, run

• The connection between program-size complexity and algorithmic probability: H(x) = - log₂ P(x) + O(1). Occam's razor: there are few minimum-size programs
  source, run

• The basic result on relative complexity: H(y|x) = H(x, y) - H(x) + O(1)
  source, run, source, run

Part III---Randomness

• Theoretical interlude---What is randomness? My definitions

• Proof that Martin-Löf randomness is equivalent to Chaitin randomness
  source, run, source, run

• Proof that Solovay randomness is equivalent to Martin-Löf randomness
  source, run

• Proof that Solovay randomness is equivalent to strong Chaitin randomness
  source, run, source, run

Part IV---Future Work

• Extending AIT to the size of programs for computing infinite sets and to computations with oracles

• Postscript---Letter to a daring young reader