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.
Read More
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.
Read Less
Add this copy of Sentences Undecidable in Formalized Arithmetic: an to cart. $45.00, very good condition, Sold by Lavendier Books rated 5.0 out of 5 stars, ships from Foster, RI, UNITED STATES, published 1982 by Praeger.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Very Good. Greenwood Press, Publishers; Westport, 1982. Hardcover. Reprint Edition. Near Fine, maroon binding with gilt lettering on spine, binding firm, interior and extremities tidy, minimal use/handling marks, book appears unread, mild sunning to pages, without dust wrapper. A nice, clean and unmarked copy. 8vo[octavo or approx. 6 x 9 inches], 117pp., bibliography. We pack securely and ship daily with delivery confirmation on every book. The picture on the listing page is of the actual book for sale. Additional Scan(s) are available for any item, please inquire.
Add this copy of Sentences Undecidable in Formalized Arithmetic: an to cart. $86.85, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 1982 by Praeger.
