|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910154750903321 |
|
|
Autore |
Smullyan Raymond M. |
|
|
Titolo |
Theory of Formal Systems. (AM-47), Volume 47 / / Raymond M. Smullyan |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Princeton, NJ : , : Princeton University Press, , [2016] |
|
©1961 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (157 pages) : illustrations |
|
|
|
|
|
|
Collana |
|
Annals of Mathematics Studies ; ; 301 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Recursive functions |
Metamathematics |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
"A revision of the author's recent doctoral dissertation--[Princeton]." |
|
|
|
|
|
|
Nota di bibliografia |
|
|
|
|
|
|
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. |
|
|
|
|
|
|
|