Comment by mesarvagya

I was fascinated by Lambda calculus where you could think a number as the times of application of function. That is:

Symbol 0 = λs.λz.z

Symbol 1 = λs.λz.s(z)

Symbol 2 = λs.λz.s(s(z))

and so on.

Then we can find n+1 of a given number n as: Succ n = λn.λs.λz.s(ns(z))

To even think number as function, it's astonishing. Salute to Alonzo Church.