Delivery included to the United States

Sentences Undecidable in Formalized Arithmetic

Sentences Undecidable in Formalized Arithmetic An Exposition of the Theory of Kurt Gödel

Hardback (21 Oct 1982)

Not available for sale

Out of stock

This service is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

Publisher's 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.

Book information

ISBN: 9780313231513
Publisher: ABC-CLIO
Imprint: Praeger
Pub date:
DEWEY: 511.3
DEWEY edition: 19
Number of pages: 117
Weight: 363g
Height: 230mm
Width: 150mm