Sentences Undecidable in Formalized Arithmetic: An Exposition of the Theory of Kurt Godel
by Andrzej Mostowski
Sales Rank: 3495785
$99.95At Amazon on 10-14-2008
Hardcover: 117 pages
Publisher: Greenwood Press Reprint; New Ed edition October 21, 1982
Language: English
ISBN-10: 0313231516
ISBN-13: 978-0313231513
Product Description
The famous theory of undecidable sentences created by Kurt Godel in 1931 is presented as clearly and as rigorously as possible. Introductory explanations beginning with the necessary facts of arithmetic of integers and progressing to the theory of representability of arithmetical functions and relations in the system (S) prepare the reader for the systematic exposition of the theory of Godel which is taken up in the final chapter and the appendix.
Sentences Undecidable in Formalized Arithmetic: An Exposition of the Theory of Kurt Godel
Available from Amazon Price: $99.95 Updated on 10-14-2008
Keywords:
NOTICE: All product prices, availability, and specifications are subject to verification by their respective retailers.