Book on logic using Mma

*To*: mathgroup at smc.vnet.net*Subject*: [mg7584] Book on logic using Mma*From*: "Gregory J. Chaitin" <chaitin at watson.ibm.com>*Date*: Thu, 19 Jun 1997 03:13:48 -0400 (EDT)*Organization*: IBM T.J. Watson Research Center*Sender*: owner-wri-mathgroup at wolfram.com

The following book is now available in LaTeX, postscript, dvi & pdf from the Los Alamos e-print server at http://xxx.lanl.gov/abs/chao-dyn/9706010 and also at eleven other mirror sites around the globe including http://xxx.lpthe.jussieu.fr/abs/chao-dyn/9706010 For a complete list of mirror sites see http://xxx.lanl.gov/servers.html The Limits of Mathematics--- A course on information theory & the limits of formal reasoning G. J. Chaitin (IBM Research) (161 pages) Abstract: This book is the final version of a course on algorithmic information theory and the epistemology of mathematics and physics. This is camera-ready copy prepared for publication as a book, but at the last minute I decided to publish it electronically instead. This book discusses Einstein and Godel's views on the nature of mathematics in the light of information theory, and sustains the thesis that mathematics is quasi-empirical. There is a foreword by Cris Calude of the University of Auckland, and a remark on the back cover by John Casti of the Santa Fe Institute. Supplementary material is available at the author's web site---The frontispiece photograph is at http://www.cs.auckland.ac.nz/CDMTCS/chaitin/index.html, and the software not included in the book is at http://www.cs.auckland.ac.nz/CDMTCS/chaitin/rov.html