Category:Lambdatalk: Difference between revisions

Upon these foundations, after '''Alonzo Church''', we could define the set of natural numbers [ZERO, ONE, TWO, ...] and their associate operators, [SUCC, ADD, MUL, POWER, PRED, ...] allowing to build '''iterationsiteration''' and ''recursions'recursion''' processes. For instance, computing factorials: