Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel
Author(s)
Bibliographic Information
Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel
（Studies in logic and the foundations of mathematics）
Greenwood Press, 1982
Available at / 1 libraries
-
No Libraries matched.
- Remove all filters.
Note
Bibliography: : p. [116]-117
Reprint ed. Originally published: Amsterdam : North-Holland , 1952
Description and Table of Contents
Description
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.
by "Nielsen BookData"
