September 22, 1999 | Perl and the Lambda Calculus | Slide #25 |

What properties do we need?

ZERO IS_ZERO SUCC PRED

Such that

(IS_ZERO ZERO) => TRUE (IS_ZERO (SUCCx)) => FALSE (PRED (SUCCx)) =>x

These are actually equivalent to the Peano axioms

Next | Copyright © 1999 M-J. Dominus |