Chargement en cours…
Deducibility and Decidability.
The works of Gdel, Tarski, Kleene and Church are fundamental to our understanding of the foundations of mathematics. In Deducibility and Decidability, their results and significance are presented in a new, unified manner.
| Cote: | Libro Electrónico |
|---|---|
| Auteur principal: | |
| Format: | Électronique eBook |
| Langue: | Inglés |
| Publié: |
London :
Routledge,
1990.
|
| Sujets: | |
| Accès en ligne: | Texto completo |
Table des matières:
- Book Cover; Title; Contents; Preface; The Natural Numbers and their Conventional Ordering; Addition, Multiplication and Exponentiation; The Theory of -Forms; Effectiveness; Recursively Defined Predicates; The 'Arithmetization of Syntax'; Diagonalization; GOdel's Theorems, and their Relatives; The Limits of Representability; The Arithmetical Hierarchy; Envoi; Appendix: Terminological Matters; References; Index