[Haskell-cafe] why the name lambda calculus?
Christopher Done
chrisdone at googlemail.com
Sun Aug 21 22:39:50 CEST 2011
IIRC Church found it easy to write on paper.
On 21 August 2011 21:11, Jack Henahan <jhenahan at 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 at haskell.org
>> http://www.haskell.org/mailman/listinfo/haskell-cafe
>
> Jack Henahan
> jhenahan at uvm.edu
> ==
> Computer science is no more about computers than astronomy is about telescopes.
> -- Edsger Dijkstra
> ==
>
>
>
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
>
>
More information about the Haskell-Cafe
mailing list