Book Announcement

Thread View: sci.logic

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by Gregory J. Chaitin Sat, 02 Aug 1997 00:00

#967

Author: Gregory J. Chaitin
Date: Sat, 02 Aug 1997 00:00

20 lines
2037 bytes

THE LIMITS OF MATHEMATICS---
A course on information theory & the limits of formal reasoning
G. J. Chaitin (IBM Research)
To be published by Springer-Verlag Singapore.
Currently at http://www.cs.auckland.ac.nz/CDMTCS/chaitin/lm.html
together with information on how to order it from Springer-Verlag.
 
This book presents the final version of Chaitin's course on the limits
of mathematical reasoning.  This course uses algorithmic information
theory to show that mathematics has serious limitations, and features
a new more didactic approach to algorithmic information theory using
lisp and Mathematica software.  The thesis of the book is that the
incompleteness phenomenon discovered by Goedel is much more widespread
and serious than hitherto suspected.  Also Goedel and Einstein's views
on the foundations of mathematics are discussed, and it is suggested
that mathematics is quasi-empirical and that experimental mathematics
should be used more freely.  The software for this book can be
downloaded from MathSource at Wolfram Research at http://www.wolfram.com
by querying for "0208-820".

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads