Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel
Başlık:
Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel
Yazar:
Mostowski, Andrzej.
ISBN:
9780444533753
Yayın Bilgileri:
Dordrecht : Elsevier Science, 1952.
Fiziksel Tanımlama:
1 online resource (v, 117 pages).
Seri:
Studies in Logic and the Foundations of Mathematics ; v. 10
Studies in logic and the foundations of mathematics ; v. 10.
İçerik:
Auxiliary notions and theorems of arithmetic -- System (S) and its syntax -- Arithmetical theorems proable in (S) -- Semantics of (S) -- Recursivity and definability of functions and relations -- Proofs of incompleteness theorems.
