Lambda-Kalkül als universelles Modell

• Wahrheitswerte:

  $\sf True$ = λxy.x,$\sf False$ = λxy.y mathend000#

  (damit läßt sich if-then-else leicht aufschreiben)

• natürliche Zahlen:

  0 = λx.x;(n + 1) = 〈$\sf False$ , n〉 mathend000#

  (damit kann man leicht x > 0 mathend000# testen)

• Rekursion?