The limits of mathematics : a course on information theory & limits of formal reasoning / Gregory J. Chaitin.
By: Chaitin, Gregory J
.
Material type: 
BookSeries: Springer series in discrete mathematics and theoretical computer science.Publisher: New York : Springer, 1997Description: ix,148p. ; 25 cm. + hbk.ISBN: 981308359X.Subject(s): Computer science -- Mathematics | Information theory | ReasoningDDC classification: 511.3 | Item type | Current library | Call number | Copy number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|
| General Lending | MTU Bishopstown Library Lending | 511.3 (Browse shelf(Opens below)) | 1 | Available | 00076395 |
Enhanced descriptions from Syndetics:
This book is the final version of a course on algorithmic information theory and the epistemology of mathematics and physics. It discusses Einstein and Goedel'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 supplementary material is available at the author's web site. The special feature of this book is that it presents a new "hands on" didatic approach using LISP and Mathematica software. The reader will be able to derive an understanding of the close relationship between mathematics and physics. " The Limits of Mathematics is a very personal and idiosyncratic account of Greg Chaitin's entire career in developing algorithmic information theory. The combination of the edited transcripts of his three introductory lectures maintains all the energy and content of the oral presentations, while the material on AIT itself gives a full explanation of how to implement Greg's ideas on real computers for those who want to try their hand at furthering the theory." John Casti, Santa Fe Institute
Includes bibliographical references.
Randomness in arithmetic and the decline and fall of reductionism in pure mathematics -- Elegant LISP programs -- An invitation to algorithmic information theory -- The limits of mathematics.
Table of contents provided by Syndetics
- Randomness in arithmetic and the decline and fall of re- ductionism in pure mathematics (p. 1)
- Elegant LISP programs (p. 29)
- An invitation to algorithmic information theory (p. 57)
- The limits of mathematics (p. 89)
- examples.r (p. 96)
- godel.r (p. 119)
- utm.r (p. 122)
- godel2.r (p. 126)
- omega.r (p. 129)
- omega2.r (p. 131)
- omega3.r (p. 132)
- godel3.r (p. 136)
- Appendix. LISP interpreter in Mathematica (p. 141)