Startseite Naturwissenschaften PREFACE
Kapitel
Lizenziert
Nicht lizenziert Erfordert eine Authentifizierung

PREFACE

  • Raymond M. Smullyan
Weitere Titel anzeigen von Princeton University Press
Zur Verlagsseite
Theory of Formal Systems
Ein Kapitel aus dem Buch Theory of Formal Systems
© 2016 Princeton University Press, Princeton

© 2016 Princeton University Press, Princeton

Kapitel in diesem Buch

  1. Frontmatter i
  2. TABLE OF CONTENTS iii
  3. PREFACE vii
  4. ANNALS OF MATHEMATICS STUDIES xiv
  5. CHAPTER I: FORMAL MATHEMATICAL SYSTEMS 1
  6. CHAPTER II: FORMAL REPRESENTABILITY AND RECURSIVE ENUMERABILITY 19
  7. CHAPTER III: INCOMPLETENESS -AND UNDECIDABILITY 39
  8. CHAPTER IV: RECURSIVE FUNCTION THEORY 65
  9. CHAPTER V: CREATIVITY AND EFFECTIVE INSEPARABILITY 93
  10. SUPPLEMENT: APPLICATIONS TO MATHEMATICAL LOGIC 127
  11. REFERENCE AND BRIEF BIBLIOGRAPHY 141
https://doi.org/10.1515/9781400882007-001

Kapitel in diesem Buch

  1. Frontmatter i
  2. TABLE OF CONTENTS iii
  3. PREFACE vii
  4. ANNALS OF MATHEMATICS STUDIES xiv
  5. CHAPTER I: FORMAL MATHEMATICAL SYSTEMS 1
  6. CHAPTER II: FORMAL REPRESENTABILITY AND RECURSIVE ENUMERABILITY 19
  7. CHAPTER III: INCOMPLETENESS -AND UNDECIDABILITY 39
  8. CHAPTER IV: RECURSIVE FUNCTION THEORY 65
  9. CHAPTER V: CREATIVITY AND EFFECTIVE INSEPARABILITY 93
  10. SUPPLEMENT: APPLICATIONS TO MATHEMATICAL LOGIC 127
  11. REFERENCE AND BRIEF BIBLIOGRAPHY 141
Jetzt anmelden und 20% sparen
Institutioneller Zugang
Wie funktioniert Authentifizierung?
Haben Sie eine Idee, wie wir unsere Website verbessern können?
Bitte schreiben Sie uns.
© 2025 De Gruyter Brill
Heruntergeladen am 28.9.2025 von https://www.degruyterbrill.com/document/doi/10.1515/9781400882007-001/html
Button zum nach oben scrollen