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

Mostowski, Andrej

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

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.