Recursion Theory Lecture Notes in Logic 1
Auteur : Shoenfield Joseph R.
Computability; Functions and Relations; The Basic Machine; Macros; Closure Properties; Definitions of Recursive Functions; Codes; Indices; Church's Thesis; Word Problems; Undecidable Theories; Relative Recursion; The Arithmetical Hierarchy; Recursively Enumerable Relations; Degrees; Evaluation of Degrees; Large RE Sets; Functions of Reals; The Analytical Hierarchy; The Projective Hierarchy
Date de parution : 08-2017
15.6x23.4 cm
Date de parution : 02-2001
Ouvrage de 88 p.
15.6x23.4 cm
Thème de Recursion Theory :
Mots-clés :
Normal Form Theorem; recursive; Recursion Theory; function; Capital Latin Letters; total; Existential Quantifier; functions; Rigorous Mathematical Definition; basic; Binary Relation Symbol; machine; Lower Case Greek Letters; normal; Church’s Thesis; form; Arithmetical Hierarchy; theorem; Recursion Theorem; churchs; Recursive Function; Joseph R; Shoenfield; Holds; Total Function; Basic Machine; Set A; Program Holder; Recursive Set; Computable Function; Follow; Inductive Definition; Bounded Quantifiers; Explicit Definitions; Universal Quantifier; Real Quantifier; Register Ri