Slight digression. Why not Lambda "Algebra"? In particular, what is the criteria for a system to be calculus and how's it different from algebra?
On Mon, Aug 22, 2011 at 12:41 AM, Jack Henahan <jhena...@uvm.edu> wrote: > The short answer is "because Church said so". But yes, it is basically > because λ is the abstraction operator in the calculus. > > Why not alpha or beta calculus? What would we call alpha and beta > conversion, then? :D > > On Aug 21, 2011, at 12:37 PM, C K Kashyap wrote: > > > Hi, > > Can someone please tell me what is the root of the name lambda calculus? > Is it just because of the symbol lambda that is used? > > Why not alpha or beta calculus? > > Regards, > > Kashyap > > _______________________________________________ > > Haskell-Cafe mailing list > > Haskell-Cafe@haskell.org > > http://www.haskell.org/mailman/listinfo/haskell-cafe > > Jack Henahan > jhena...@uvm.edu > == > Computer science is no more about computers than astronomy is about > telescopes. > -- Edsger Dijkstra > == > > > > _______________________________________________ > Haskell-Cafe mailing list > Haskell-Cafe@haskell.org > http://www.haskell.org/mailman/listinfo/haskell-cafe > > -- Rajesh S R http://rajeshsr.co.cc/blogs/
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe