Godel's Proof: Revised Edition.In 1931, Kurt Godel rocked the mathematics world by publishing a paper titled "On Formally Undecidable Undecidable has more than one meaning: In mathematical logic:
n. pl. prin·cip·i·a A principle, especially a basic one. [Latin pr  ncipium; see principle.] Mathematica and Related Systems." While today Godel's work is regarded as a milestone in the history of logic and mathematics, it was baffling baf·fle tr.v. baf·fled, baf·fling, baf·fles 1. To frustrate or check (a person) as by confusing or perplexing; stymie. 2. To impede the force or movement of. n. 1. to most mathematicians of the day. Nagel and Newman first published the book Godel's Proof in 1958, bringing the intricacies and importance of this great work to a larger audience. That book profoundly influenced Hofstadter as a youngster, and in this revision, he updates the text to clarify ambiguities and to make it generally more accessible to mathematicians and nonspecialists alike. NYU NYU New York University NYU New York Undercover (TV show) Pr, 2001, 129 p., paperback, $16.95. |
|
||||||||||||
Printer friendly
Cite/link
Email
Feedback
Reader Opinion