Advertisement

Primitiv rekursive Funktionen und Gödelisierung

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

Zusammenfassung

Dabei ist
$$ x\dot - y = \left\{ {_{0 sonst}^{x - y wenn y \leqslant x} } \right.. $$
Beweis. x+y läßt sich, wie die anderen Funktionen, leicht durch primitive Rekursion definieren:
$$ x + 0 = x, x + (y + 1) = S(x + y). $$

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