Formalized recursive functionals and formalized realizability / / Stephen Cole Kleene

• Autore: Kleene Stephen Cole <1909-1994.>
• Pubblicazione: Providence, : American Mathematical Society, 1969
• Edizione: 1st ed.
• Descrizione fisica: 1 online resource (110 pages)
• Soggetto topico: Recursive functions
• Note generali: Description based upon print version of record.
• Nota di bibliografia: Includes bibliographical references.
• Nota di contenuto: Intro -- Contents -- Introduction -- PART I. FORMALIZED RECURSIVE FUNCTIONALS -- 1. Computation tree numbers -- 2. p-terms and p-functors -- r≅s (definition and basic properties) -- 3. Representation of p-terms by proper Indices -- 4. The recursion theorem -- the normal form theorem -- {r}[β] and Λβ u[β] -- !R & -- [A(R)] -- PART II. FORMALIZED REALIZABILITY -- 5. Intuitionistically provable formulas are realizable and @­realizable -- References.
• Titolo autorizzato: Formalized recursive functionals and formalized realizability
• ISBN: 1-4704-0038-3
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 9910957377503321
• Lo trovi qui: Univ. Federico II
• Serie: Memoirs of the American Mathematical Society