Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel
著者
書誌事項
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
大学図書館所蔵 件 / 全1件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Bibliography: : p. [116]-117
Reprint ed. Originally published: Amsterdam : North-Holland , 1952
内容説明・目次
内容説明
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.
「Nielsen BookData」 より