Advertisement

Rekursive Funktionen

  • Heinz Lüneburg

Part of the Springer-Lehrbuch book series (SLB)

Table of contents

  1. Front Matter
    Pages i-2
  2. Heinz Lüneburg
    Pages 2-5
  3. Heinz Lüneburg
    Pages 5-13
  4. Heinz Lüneburg
    Pages 13-16
  5. Heinz Lüneburg
    Pages 16-19
  6. Heinz Lüneburg
    Pages 19-24
  7. Heinz Lüneburg
    Pages 24-25
  8. Heinz Lüneburg
    Pages 34-40
  9. Heinz Lüneburg
    Pages 40-44
  10. Heinz Lüneburg
    Pages 44-49
  11. Heinz Lüneburg
    Pages 50-58
  12. Heinz Lüneburg
    Pages 58-63
  13. Heinz Lüneburg
    Pages 63-67
  14. Heinz Lüneburg
    Pages 67-74
  15. Heinz Lüneburg
    Pages 74-81
  16. Back Matter
    Pages 83-86

About this book

Introduction

Dieses Buch basiert auf Vorlesungen, die der Autor in Kaiserslautern gehalten hat. Ihr wesentliches Anliegen war, die Turing-berechenbaren Wortfunktionen auf eine von jeglichem Maschinenmodell unabhängige Weise zu charakterisieren, nämlich als die partiell Wort-rekursiven Wortfunktionen. Wortfunktionen lassen sich mittels arithmetischer Funktionen darstellen und zwar so, dass die partiell rekursiven arithmetischen Funktionen den partiell Wort-rekursiven Wortfunktionen entsprechen, was für sich gesehen schon nicht auf der Hand liegt. Auf diese Weise erhält man den Begriff der Turing-Berechenbarkeit auch für arithmetische Funktionen. Der Satz also, dass die Turing-berechenbaren Wortfunktionen gerade die partiell rekursiven Wortfunktionen sind, ist überhaupt nicht selbstverständlich, so dass auf dem Wege zu diesem Satz eine ganze Reihe hoch interessanter weiterer Sätze zu beweisen sind. Dies alles ist hier aufgeschrieben.

Keywords

Berechenbarkeit Beweis Rekursive Funktionen Turingmaschine Turingmaschinen Wortfunktion rekursiv aufzählbare Menge rekursive Funktion

Authors and affiliations

  • Heinz Lüneburg
    • 1
  1. 1.Fachbereich MathematikUniversität KaiserslauternKaiserslauternGermany

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-55993-8
  • Copyright Information Springer-Verlag Berlin Heidelberg 2002
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-43094-0
  • Online ISBN 978-3-642-55993-8
  • Series Print ISSN 0937-7433
  • Buy this book on publisher's site
Industry Sectors
Electronics
Energy, Utilities & Environment