Cargando…
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.
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
London :
Routledge,
1990.
|
| Temas: | |
| Acceso en línea: | Texto completo |
Tabla de Contenidos:
- 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