Mer λ: Addition
Hur ser additionsfunktionen ut i λ-kalkylen?
Tidigare definierade jag tal som upprepad funktionssammansättning, och med det som hjälp är det inte så svårt att definiera addition. Vad behöver vi göra?
För att addera m till n räknar vi först upp till m, och sedan till n. Vi söker alltså den m+n:te sammansättningen av en funktion.
Additionen skriver vi så här:
λm n f x . n f (m f x)
Här är m och n talen vi vill addera, och f är vår sen tidigare kända uppräkningsfunktion, med argumentet x.
