A framework for priority arguments /

"This book presents a unifying framework for using priority arguments to prove theorems in computability. Priority arguments provide the most powerful theorem-proving technique in the field, but most of the applications of this technique are ad hoc, masking the unifying principles used in the p...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Lerman, M. (Manuel), 1943-
Formato: Electrónico eBook
Idioma:Inglés
Publicado: [Ithaca, NY?] : Cambridge ; New York : Association for Symbolic Logic ; Cambridge University Press, ©2010.
Colección:Lecture notes in logic ; 34.
Temas:
Proof theory.
Priority (Philosophy)
Logic, Symbolic and mathematical.
Théorie de la preuve.
Antériorité (Philosophie)
Logique symbolique et mathématique.
MATHEMATICS > Infinity.
MATHEMATICS > Logic.
Logic, Symbolic and mathematical
Proof theory
Acceso en línea:Texto completo
Tabla de Contenidos:
  • Cover; Half-title; Series-title; Title; Copyright; CONTENTS; PREFACE; Chapter 1 INTRODUCTION; Chapter 2 SYSTEMS OF TREES OF STRATEGIES; Chapter 3 sigma1 CONSTRUCTIONS; Chapter 4 delta2 CONSTRUCTIONS; Chapter 5 pi2 CONSTRUCTIONS; Chapter 6 delta3 CONSTRUCTIONS; Chapter 7 sigma3 CONSTRUCTIONS; Chapter 8 PATHS AND LINKS; Chapter 9 BACKTRACKING; Chapter 10 HIGHER-LEVEL CONSTRUCTIONS; Chapter 11 INFINITE SYSTEMS OF TREES; REFERENCES

Ejemplares similares