Gödel's Proof Export

@book{citeulike:3709044, abstract = {G\"{o}del's incompleteness theorem--which showed that any robust mathematicalsystem contains statements that are true yet unprovable within the system--isan anomaly in 20th-century mathematics. Its conclusions are as strange as theyare profound, but, unlike other recent theorems of comparable importance,grasping the main steps of the proof requires little more than high schoolalgebra and a bit of patience. Ernest Nagel and James Newman's original textwas one of the first (and best) to bring G\"{o}del's ideas to a mass audience.With brevity and clarity, the volume described the historical context thatmade G\"{o}del's theorem so paradigm-shattering. Where the first edition felldown, however, was in the guts of the proof itself; the brevity that served sowell in defining the problem made their rendering of G\"{o}del's solution so denseas to be nearly indigestible.This reissuance of Nagel and Newman's classic has been vastly improved by thedeft editing of Douglas Hofstadter, a prot\'{e}g\'{e} of Nagel's and himself apopularizer of G\"{o}del's work. In the second edition, Hofstadter reworkssignificant sections of the book, clarifying and correcting here, addingnecessary detail there. In the few instances in which his writing divergesfrom the spirit of the original, it is to emphasize the interplay betweenformal mathematical deduction and meta-mathematical reasoning--a subjectexplored in greater depth in Hofstadter's other delightful writings. \_--ClarkWilliams-Derry\_}, author = {Nagel, Ernest and Newman, James and Hofstadter, Douglas R.}, citeulike-article-id = {3709044}, citeulike-linkout-0 = {http://www.amazon.ca/exec/obidos/redirect?tag=citeulike09-20&path=ASIN/0814758371}, citeulike-linkout-1 = {http://www.amazon.de/exec/obidos/redirect?tag=citeulike01-21&path=ASIN/0814758371}, citeulike-linkout-2 = {http://www.amazon.fr/exec/obidos/redirect?tag=citeulike06-21&path=ASIN/0814758371}, citeulike-linkout-3 = {http://www.amazon.jp/exec/obidos/ASIN/0814758371}, citeulike-linkout-4 = {http://www.amazon.co.uk/exec/obidos/ASIN/0814758371/citeulike00-21}, citeulike-linkout-5 = {http://www.amazon.com/exec/obidos/redirect?tag=citeulike07-20&path=ASIN/0814758371}, citeulike-linkout-6 = {http://www.worldcat.org/isbn/0814758371}, citeulike-linkout-7 = {http://books.google.com/books?vid=ISBN0814758371}, citeulike-linkout-8 = {http://www.amazon.com/gp/search?keywords=0814758371&index=books&linkCode=qs}, citeulike-linkout-9 = {http://www.librarything.com/isbn/0814758371}, day = {01}, edition = {Fiftieth Anniversary Edition}, howpublished = {Paperback}, isbn = {0814758371}, keywords = {godel, incompleteness, proof}, month = {October}, posted-at = {2009-04-18 11:04:21}, priority = {2}, publisher = {NYU Press}, title = {G\"{o}del's Proof}, url = {http://www.amazon.com/exec/obidos/redirect?tag=citeulike07-20&path=ASIN/0814758371}, year = {2008} }

TY - BOOK ID - citeulike:3709044 L3 - citeulike-article-id:3709044 N2 - Gödel's incompleteness theorem--which showed that any robust mathematicalsystem contains statements that are true yet unprovable within the system--isan anomaly in 20th-century mathematics. Its conclusions are as strange as theyare profound, but, unlike other recent theorems of comparable importance,grasping the main steps of the proof requires little more than high schoolalgebra and a bit of patience. Ernest Nagel and James Newman's original textwas one of the first (and best) to bring Gödel's ideas to a mass audience.With brevity and clarity, the volume described the historical context thatmade Gödel's theorem so paradigm-shattering. Where the first edition felldown, however, was in the guts of the proof itself; the brevity that served sowell in defining the problem made their rendering of Gödel's solution so denseas to be nearly indigestible.This reissuance of Nagel and Newman's classic has been vastly improved by thedeft editing of Douglas Hofstadter, a protégé of Nagel's and himself apopularizer of Gödel's work. In the second edition, Hofstadter reworkssignificant sections of the book, clarifying and correcting here, addingnecessary detail there. In the few instances in which his writing divergesfrom the spirit of the original, it is to emphasize the interplay betweenformal mathematical deduction and meta-mathematical reasoning--a subjectexplored in greater depth in Hofstadter's other delightful writings. _--ClarkWilliams-Derry_ SN - 0814758371 TI - Gödel's Proof PB - NYU Press KW - godel KW - incompleteness KW - proof AU - Nagel, Ernest AU - Newman, James AU - Hofstadter, Douglas PY - 2008/10/01/ UR - http://www.amazon.ca/exec/obidos/redirect?tag=citeulike09-20&path=ASIN/0814758371 ER -