Screen LibrarySentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Go del /
Saved in:
| Corporate Authors: | |
|---|---|
| Group Author: | |
| Published: |
Elsevier Science,
|
| Publisher Address: | Dordrecht : |
| Publication Dates: | 1952. |
| Literature type: | eBook |
| Language: | English |
| Series: |
Studies in logic and the foundations of mathematics ; v. 10 |
| Subjects: | |
| Online Access: |
http://www.sciencedirect.com/science/bookseries/0049237X/10 |
| Carrier Form: | 1 online resource (v, 117 pages). |
| Bibliography: | Includes bibliographical references. |
| ISBN: |
9780444533753 0444533753 |
| Index Number: | QA9 |
| CLC: | O141 |
| Contents: | 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. |