Posted: Mar 10, 2012 11:17 am
by stalidon
advaitya wrote:I fail to see the philosophy in this thread? Ought to be shoved in some other appropriate forum.


Just wait, the philosophy is coming. From Wiki: "Lambda calculus has applications in many different areas in mathematics, philosophy, and computer science."