Next:
Synthesis of `add' and
Up:
Detailed Discussion of Addition
Previous:
Detailed Discussion of Addition
Contents
Start
Addition of the numbers `two' and `three'
Subsections
Synthesis of `add' and `two three' (1)
Abstraction `add' (1)
Subsitution of `add' in [1]
Synthesis of (lambda(m n) ... ) and `two three' in [3]
Abstraction: `compose'
Substitution of `compose' in [4]
Synthesis of (lambda(f g) ...) and `(two f) (three f)' in [6]
Abstraction `three'
Substituting `three' in [7]
Synthesis of (lambda(f) ...) and `f' in [9]
Synthesis of (lambda(x) ...) and `x' in [10]
Abstraction `two'
Substituting `two' in [11]
Synthesis of (lambda(f) ...) and `f' in [13]
Synthesis of the inner (lambda(x) ...) and `(f (f (f x)))' in [14]
Georg P. Loczewski 2004-03-05
Impressum und Datenschutz
