This publication is presented to you through Paradigm Publishing Services
Princeton University Press
Chapter
Licensed
Unlicensed
Requires Authentication
ANNALS OF MATHEMATICS STUDIES
You are currently not able to access this content.
You are currently not able to access this content.
Chapters in this book
- Frontmatter i
- TABLE OF CONTENTS iii
- PREFACE vii
- ANNALS OF MATHEMATICS STUDIES xiv
- CHAPTER I: FORMAL MATHEMATICAL SYSTEMS 1
- CHAPTER II: FORMAL REPRESENTABILITY AND RECURSIVE ENUMERABILITY 19
- CHAPTER III: INCOMPLETENESS -AND UNDECIDABILITY 39
- CHAPTER IV: RECURSIVE FUNCTION THEORY 65
- CHAPTER V: CREATIVITY AND EFFECTIVE INSEPARABILITY 93
- SUPPLEMENT: APPLICATIONS TO MATHEMATICAL LOGIC 127
- REFERENCE AND BRIEF BIBLIOGRAPHY 141
Chapters in this book
- Frontmatter i
- TABLE OF CONTENTS iii
- PREFACE vii
- ANNALS OF MATHEMATICS STUDIES xiv
- CHAPTER I: FORMAL MATHEMATICAL SYSTEMS 1
- CHAPTER II: FORMAL REPRESENTABILITY AND RECURSIVE ENUMERABILITY 19
- CHAPTER III: INCOMPLETENESS -AND UNDECIDABILITY 39
- CHAPTER IV: RECURSIVE FUNCTION THEORY 65
- CHAPTER V: CREATIVITY AND EFFECTIVE INSEPARABILITY 93
- SUPPLEMENT: APPLICATIONS TO MATHEMATICAL LOGIC 127
- REFERENCE AND BRIEF BIBLIOGRAPHY 141