Item description for The Unknowable (Discrete Mathematics and Theoretical Computer Science) by Gregory J. Chaitin...
This essential companion volume to Chaitin's highly successful "The Limits of Mathematics", also published by Springer, gives a brilliant historical survey of the work of this century on the foundations of mathematics, in which the author was a major participant. The Unknowable is a very readable and concrete introduction to Chaitin's ideas, and it includes a detailed explanation of the programming language used by Chaitin in both volumes. It will enable computer users to interact with the author's proofs and discover for themselves how they work. The software for TheUnknowable can be downloaded from the author's Web site.
Promise Angels is dedicated to bringing you great books at great prices. Whether you read for entertainment, to learn, or for literacy - you will find what you want at promiseangels.com!
Est. Packaging Dimensions: Length: 9.2" Width: 6.2" Height: 0.6" Weight: 0.8 lbs.
Release Date Aug 5, 1999
ISBN 9814021725 ISBN13 9789814021722
Availability 112 units. Availability accurate as of May 23, 2017 01:35.
Usually ships within one to two business days from La Vergne, TN.
Orders shipping to an address other than a confirmed Credit Card / Paypal Billing address may incur and additional processing delay.
More About Gregory J. Chaitin
Gregory J. Chaitin currently resides in Hawthorne, in the state of New York.
Reviews - What do customers think about The Unknowable (Discrete Mathematics and Theoretical Computer Science)?
More annoying than amusing Jan 20, 2004
First the good part about this book. Chaitins first chapter is quite good. Here he outlines the results of Godel, Turing and his own. It is very readable. Without going into the real mathematics he can really make you feel you understand these deep ideas. The later chapters go more deeply in to the ideas presented there and illustrate them with lisp computer programs. Especially the search for lisp programs that evaluate to themselves is amusing.
But let's now focus on the parts of the books that I did not like. His exposition is mixed with an account of how he first learned these result. I am charmed the first time when he explains how he read so many books as a kid. But soon I do not want to hear again what he felt as 12 year old. Also he keeps comparing his own work to that of other scientist. We really need to now that he is just as good as Godel and as Turing. For example he takes pages to explain that Kolmogorov ripped of his ideas. What I also find funny as well is both chapter 1 and chapter 6 give an identical link to "my first major paper".
Sigh. He's the best, we get it, ok?, now please move on.
Then one more thing. The computer programs that he uses are in lisp. That is fine by me, lisp is a beautiful language. But do you think he uses any of the available dialects? No, of course not, he introduces he own strange version. The programs given do not run in clisp for example.
So to sum it up. I learned his own result on incompleness (that one cannot produce the shortes program for a particular function) and that is a nice result. Reading the rest of the book is more annoying than amusing.
Not a modest man but why should he be? May 16, 2000
...reasons that I rated this a 5 star read.
Firstly I agree that Chaitin is not a modest man. I don't think that really matters, because he has made a major contribution to my understanding of this whole area which previously I had found almost impenetrable. The only other criticism I had is the excessive use of the exclamation mark!
In all other respects this is a superb book. I found the chapter introducing LISP a little dense (much like me) but I read a book called "The Little Lisper" which is a great book in itself and that helped me.
The real beauty of this book for me was working through the various LISP exercises and beginning to understand, to feel almost, the logic and concepts behind the work of people such as Godel and Turing.
In other words I felt able to walk for a while in the footsteps of geniuses - and I would count Chaitin among that number. END
Future Classic - Beautiful Ideas May 13, 2000
In the 21st century mathematicians will debate the meaning of Chaitin's theorems just as we now debate the meaning of Godel's and Cantor's theorems. We have a rare opportunity here to read the author's interpretation. This book is wonderful. It is, by far, the most polished and most readable of Chaitin's publications. Much of the value of this book comes from the terse LISP proofs, which can be appreciated for their beauty and craftiness. The reader must not only read the proofs but also run the proofs. This can be accomplished by downloading the author's LISP interpreter applet.
If you like Hofstadter's GEB you'll love this book but you'll come out of it with a much more optimistic outlook. Hofstadter believes that man is just a machine. I don't think Chaitin shares that view. I know that Godel didn't share that view. Nevertheless, parts of mathematics are beyond our understanding. We have gotten use to the idea that there are true propositions that can't be proved. Chaitin defines numbers, like omega, that can't be known. But this means that there is no end to mathematics. It is optimistic because it means that theorems that have been proved and numbers that are known are all the more interesting. If something is unknowable well then it's just unknowable, but if you can know that it's unknowable then that's really remarkable.
Save your money May 12, 2000
This Book is horrible. The only point of the Unknowable is to prove that Chaitin is as smart as Godel and Turing. The entire book can also be retrived off his homepage. If you want to have a good overview of this topic buy Limits of Mathematics by Chaitin.
A Complete Waste of Time Apr 30, 2000
I checked out this book from the library with high hope. It turned out to be a complete waste of time. The only purpose of this book is to claim that the author is as great as Godel and Turing. The reason? Unknowable.