> I see no inherent value in writing [...] There isn't, in the similar sense that there is no inherent value in spending two hours assembling a bicycle then tr

> I see no inherent value in writing [...] There isn't, in the similar sense that there is no inherent value in spending two hours assembling a bicycle then traveling with it one mile instead of simply taking 20 minutes to walk one mile. Lambda calculus was not created as a better way of multiplying two numbers, just like you do not construct a bicycle to travel one mile. They have grander, or more ambitious, purposes. Multiplying two numbers or travelling one mile in over two hours simply serve as demonstrations of some of the capabilities of what was constructed. Lambda calculus was created to help study computability; to explore mathematics with mathematics.