This publication is presented to you through Paradigm Publishing Services
Princeton University Press
Chapter
Licensed
Unlicensed
Requires Authentication
CHAPTER II: FORMAL REPRESENTABILITY AND RECURSIVE ENUMERABILITY
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
