Sentences Undecidable in Formalized Arithmetic: An Exposition of the Theory of Kurt Godel

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.Mostowski, Andrzej is the author of 'Sentences Undecidable in Formalized Arithmetic: An Exposition of the Theory of Kurt Godel', published 1982 under ISBN 9780313231513 and ISBN 0313231516.