The Unknowable (Discrete Mathematics and Theoretical Computer Science) Export

@book{citeulike:608204, abstract = {{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 The Unknowable can be downloaded from the author's Web site.}}, author = {Chaitin, Gregory J.}, citeulike-article-id = {608204}, citeulike-linkout-0 = {http://www.amazon.ca/exec/obidos/redirect?tag=citeulike09-20&path=ASIN/9814021725}, citeulike-linkout-1 = {http://www.amazon.de/exec/obidos/redirect?tag=citeulike01-21&path=ASIN/9814021725}, citeulike-linkout-2 = {http://www.amazon.fr/exec/obidos/redirect?tag=citeulike06-21&path=ASIN/9814021725}, citeulike-linkout-3 = {http://www.amazon.co.uk/exec/obidos/ASIN/9814021725/citeulike00-21}, citeulike-linkout-4 = {http://www.amazon.com/exec/obidos/redirect?tag=citeulike07-20&path=ASIN/9814021725}, citeulike-linkout-5 = {http://www.worldcat.org/isbn/9814021725}, citeulike-linkout-6 = {http://books.google.com/books?vid=ISBN9814021725}, citeulike-linkout-7 = {http://www.amazon.com/gp/search?keywords=9814021725&index=books&linkCode=qs}, citeulike-linkout-8 = {http://www.librarything.com/isbn/9814021725}, day = {05}, howpublished = {Hardcover}, isbn = {9814021725}, keywords = {computability, incompleteness}, month = {August}, posted-at = {2006-04-30 20:18:50}, priority = {3}, publisher = {Springer}, title = {The Unknowable (Discrete Mathematics and Theoretical Computer Science)}, url = {http://www.amazon.com/exec/obidos/redirect?tag=citeulike07-20&path=ASIN/9814021725}, year = {1999} }

TY - BOOK ID - citeulike:608204 L3 - citeulike-article-id:608204 N2 - {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 The Unknowable can be downloaded from the author's Web site.} SN - 9814021725 TI - The Unknowable (Discrete Mathematics and Theoretical Computer Science) PB - Springer KW - computability KW - incompleteness AU - Chaitin, Gregory PY - 1999/08/05/ UR - http://www.amazon.ca/exec/obidos/redirect?tag=citeulike09-20&path=ASIN/9814021725 ER -