Advertisement

Ein anderer Aufbau der rekursiven Funktionen

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

Zusammenfassung

Satz 16.0.1

Alle rekursiven Funktionen lassen sich aus den Grundfunktionen
$$\displaystyle\mathrm{S}(x),\;\mathrm{I}^{n}_{i},\;\mathrm{C}^{0}_{0},\;+,\;\cdot,\;\mathop{\mathrm{K}}_{<}$$
durch Anwenden der Regeln R1 (Einsetzung) und R3 (μ-Rekursion) gewinnen.

Copyright information

© Springer International Publishing Switzerland 2017

Authors and Affiliations

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

Personalised recommendations