Cart
Enter your email and we will inform you when the goods appear in stock
Information
This essential companion to Chaitins successful books The Unknowable and The Limits of Mathematics, presents the technical core of his theory of programsize complexity The two previous volumes are more concerned with applications to metamathematics LISP is used to present the key algorithms and to enable computer users to interact with the authors proofs and discover for themselves how they work The LISP code for this book is available at the aut... - ISBN10: 1852334177 ISBN13: 9781852334178 Material Type: hardcover
Product details
- Languange:
- ISBN10:1852334177
- ISBN13: 9781852334178
- Publisher: