Synthesis of the inner (lambda(x) ...) and `(f (f (f x)))' in [14]

Next: Multiplication of the numbers Up: Addition of the numbers Previous: Synthesis of (lambda(f) ...) Contents Start

Synthesis of the inner (lambda(x) ...) and `(f (f (f x)))' in [14]

$\begin{lstlisting}[language=Scm]{} (lambda(x) (f (f (f (f (f x)))))) [15] \end{lstlisting}$

Now we have to reinstall the `lambda(f)' which we have omitted in step 7. This way we get the result of the abstraction, which was defined above as the number `five'.

$\begin{lstlisting}[language=Scm]{} (lambda(f) (lambda(x) (f (f (f (f (f x))))))) [16] \end{lstlisting}$

Georg P. Loczewski 2004-03-05

Impressum und Datenschutz