Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel /
Collection : Studies in Logic and the Foundations of Mathematics ; . v. 10 Détails physiques : 1 online resource (v, 117 pages) ISBN :9780444533753; 0444533753.
Sujet(s) :
Logic, Symbolic and mathematical.
|
Semantics (Philosophy)
|
Gödel's theorem.
|
Electronic books.
|
Gödel's theorem.
|
Logic, Symbolic and mathematical.
|
Semantics (Philosophy)
|
Semantics (Philosophy)
|
Gödel's theorem.
|
Electronic books.
|
Gödel's theorem.
|
Logic, Symbolic and mathematical.
|
Semantics (Philosophy)
Ressources en ligne :
Exemplaires : http://www.sciencedirect.com/science/book/9780444533753
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.
Includes bibliographical references.
Description based on print version record.
Il n'y a pas de commentaire pour ce document.