Sentences Undecidable in Formalized Arithmetic: An Exposition of the Theory of Kurt Godel - Hardcover
Synopsis
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.
"synopsis" may belong to another edition of this title.
Search results for Sentences Undecidable in Formalized Arithmetic: An...
Stock Image
Sentences Undecidable in Formalized Arithmetic: An Exposition of the Theory of Kurt Godel
Published by
Greenwood Press, Westport, 1982
ISBN 10: 0313231516
ISBN 13: 9780313231513
Used
Hardcover
First Edition
Seller: Daedalus Books, Portland, OR, U.S.A.
Seller rating 5 out of 5 stars
Cloth. Condition: Very Good. First Edition. A nice, solid copy. ; 8vo; 117 pages. Seller Inventory # 336126
Stock Image
Sentences Undecidable in Formalized Arithmetic: An Exposition of the Theory of Kurt Godel
Seller: ThriftBooks-Dallas, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Very Good. No Jacket. Former library book; Missing dust jacket; May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less. Seller Inventory # G0313231516I4N11