Mathematica 9 is now available
Services & Resources / Wolfram Forums
-----
 /
MathGroup Archive
1997
*January
*February
*March
*April
*May
*June
*July
*August
*September
*October
*November
*Archive Index
*Ask about this page
*Print this page
*Give us feedback
*Sign up for the Wolfram Insider

MathGroup Archive 1997

[Date Index] [Thread Index] [Author Index]

Search the Archive

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



  • Prev by Date: Re: Any uses for SequenceHold ?
  • Next by Date: Re: How to use a graphics primitive? No example in book
  • Previous by thread: Book on logic using Mma
  • Next by thread: Re: About PolynomialDivision & the Notebook Frontend