IIRC Church found it easy to write on paper. On 21 August 2011 21:11, 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 > >
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
