Theory of Formal Systems. (AM-47), Volume 47 / / Raymond M. Smullyan

• Autore: Smullyan Raymond M.
• Pubblicazione: Princeton, NJ : , : Princeton University Press, , [2016]; ©1961
• Descrizione fisica: 1 online resource (157 pages) : illustrations
• Disciplina: 511.33
• Soggetto topico: Recursive functions; Metamathematics
• Soggetto non controllato: Addition; Algebraic geometry; Alonzo Church; Arithmetic function; Arithmetic; Atomic sentence; Axiom A.; Axiom schema; Axiom; Axiomatic system; Binary relation; Cantor's diagonal argument; Cartesian product; Characterization (mathematics); Chinese remainder theorem; Closed-form expression; Closure (mathematics); Combination; Combinatory logic; Complement (set theory); Concatenation theory; Consistency; Constructive proof; Corollary; Countable set; Counterexample; Decidability (logic); Decision problem; Definable set; Diagonalization; Direct proof; Disjoint sets; Enumeration; Equation; Existential quantification; Exponential function; Finite set; Formal system; Functional calculus; Gödel numbering; Gödel's incompleteness theorems; Herbrand's theorem; Inference; Integer factorization; Iteration; John Myhill; Logical connective; Logical consequence; Mathematical induction; Mathematical logic; Mathematician; Mathematics; Metamathematics; Modus ponens; Natural number; Negation; Number theory; Order theory; Parity (mathematics); Peano axioms; Predicate (mathematical logic); Prenex normal form; Primitive recursive function; Quantifier (logic); Recursion; Recursive set; Recursively enumerable set; Remainder; Requirement; Rule of inference; Scientific notation; Sequence; Set (mathematics); Sign (mathematics); Special case; Subset; Suggestion; System U.; Theorem; Theory; Transfinite number; Turing machine; Universal set; Validity; Variable (mathematics); Zermelo set theory
• Note generali: "A revision of the author's recent doctoral dissertation--[Princeton]."
• Nota di bibliografia: Includes bibliography.
• Nota di contenuto: Frontmatter -- TABLE OF CONTENTS -- PREFACE -- ANNALS OF MATHEMATICS STUDIES -- CHAPTER I: FORMAL MATHEMATICAL SYSTEMS -- CHAPTER II: FORMAL REPRESENTABILITY AND RECURSIVE ENUMERABILITY -- CHAPTER III: INCOMPLETENESS -AND UNDECIDABILITY -- CHAPTER IV: RECURSIVE FUNCTION THEORY -- CHAPTER V: CREATIVITY AND EFFECTIVE INSEPARABILITY -- SUPPLEMENT: APPLICATIONS TO MATHEMATICAL LOGIC -- REFERENCE AND BRIEF BIBLIOGRAPHY
• Sommario/riassunto: This book serves both as a completely self-contained introduction and as an exposition of new results in the field of recursive function theory and its application to formal systems.
• Titolo autorizzato: Theory of Formal Systems. (AM-47), Volume 47
• ISBN: 1-4008-8200-1
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 9910154750903321
• Lo trovi qui: Univ. Federico II
• Serie: Annals of mathematics studies ; ; no. 47.