Slight digression. Why not Lambda "Algebra"?<div>In particular, what is the criteria for a system to be calculus and how's it different from algebra?<br><br><div class="gmail_quote">On Mon, Aug 22, 2011 at 12:41 AM, Jack Henahan <span dir="ltr"><<a href="mailto:jhenahan@uvm.edu">jhenahan@uvm.edu</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">The short answer is "because Church said so". But yes, it is basically because ë is the abstraction operator in the calculus.<br>
<br>
Why not alpha or beta calculus? What would we call alpha and beta conversion, then? :D<br>
<div><div></div><div class="h5"><br>
On Aug 21, 2011, at 12:37 PM, C K Kashyap wrote:<br>
<br>
> Hi,<br>
> 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?<br>
> Why not alpha or beta calculus?<br>
> Regards,<br>
> Kashyap<br>
</div></div>> _______________________________________________<br>
> Haskell-Cafe mailing list<br>
> <a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>
> <a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
<font color="#888888"><br>
Jack Henahan<br>
<a href="mailto:jhenahan@uvm.edu">jhenahan@uvm.edu</a><br>
==<br>
Computer science is no more about computers than astronomy is about telescopes.<br>
-- Edsger Dijkstra<br>
==<br>
</font><br><br>
<br>_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
<br></blockquote></div><br><br clear="all"><div><br></div>-- <br>Rajesh S R<br><a href="http://rajeshsr.co.cc/blogs/">http://rajeshsr.co.cc/blogs/</a><br>
</div>