Proofs and Computations.

Mostrar otras versiones (1)

This major graduate-level text provides a detailed, self-contained coverage of proof theory.

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Schwichtenberg, Helmut
Otros Autores: Wainer, S. S.
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Cambridge : Cambridge University Press, 2011.
Colección:Perspectives in logic.
Temas:
Computable functions.
Machine theory.
Proof theory.
Fonctions calculables.
Théorie des automates.
Théorie de la preuve.
COMPUTERS > Machine Theory.
Demostración, Teoría de la
Computable functions
Machine theory
Proof theory
Acceso en línea:Texto completo
Tabla de Contenidos:
  • 6.5.3. Dense and separating sets.
  • 6.6. Notes
  • Chapter 7: EXTRACTING COMPUTATIONAL CONTENT FROM PROOFS
  • 7.1. A theory of computable functionals
  • 7.1.1. Brouwer-Heyting-Kolmogorov and Gödel.
  • 7.1.2. Formulas and predicates.
  • 7.1.3. Equalities.
  • 7.1.4. Existence, conjunction and disjunction.
  • 7.1.5. Further examples.
  • 7.1.6. Totality and induction.
  • 7.1.7. Coinductive definitions.
  • 7.2. Realizability interpretation
  • 7.2.1. An informal explanation.
  • 7.2.2. Decorating ₂!and

Ejemplares similares