Unvollständigkeit und Unentscheidbarkeit

Die metamathematischen Resultate von Gödel, Church, Kleene, Rosser und ihre erkenntnistheoretische Bedeutung

  • Wolfgang Stegmüller

Table of contents

  1. Front Matter
    Pages i-vii
  2. Wolfgang Stegmüller
    Pages 1-2
  3. Wolfgang Stegmüller
    Pages 12-43
  4. Wolfgang Stegmüller
    Pages 58-98
  5. Wolfgang Stegmüller
    Pages 99-112
  6. Back Matter
    Pages 113-116

About this book

Keywords

Beweis Entscheidbarkeit (Math.) Funktion Gleichung Lehrsatz Unvollständigkeit

Authors and affiliations

  • Wolfgang Stegmüller
    • 1
  1. 1.Universität MünchenDeutschland

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-7091-8352-6
  • Copyright Information Springer-Verlag Vienna 1973
  • Publisher Name Springer, Vienna
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-211-81208-2
  • Online ISBN 978-3-7091-8352-6
  • About this book