Advertisement

Ein anderer Aufbau der rekursiven Funktionen

  • Martin Ziegler
Chapter
Part of the Mathematik Kompakt book series (MAKO, volume 0)

Zusammenfassung

Wir werden den Satz im Rest dieses Abschnitts beweisen. Funktionen, die wie in Satz 16.1 aufgebaut sind, nennen wir *-rekursiv. Wenn wir zeigen können, daß die Klasse der *-rekursiven Funktionen abgeschlossen ist unter primitiver Rekursion (Regel R2), sind wir fertig.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Birkhäuser / Springer Basel AG 2010

Authors and Affiliations

  • Martin Ziegler
    • 1
  1. 1.Mathematisches InstitutUniversität FreiburgFreiburgDeutschland

Personalised recommendations