Slight digression. Why not Lambda &quot;Algebra&quot;?<div>In particular, what is the criteria for a system to be calculus and how&#39;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">&lt;<a href="mailto:jhenahan@uvm.edu">jhenahan@uvm.edu</a>&gt;</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 &quot;because Church said so&quot;. 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>
&gt; Hi,<br>
&gt; 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>
&gt; Why not alpha or beta calculus?<br>
&gt; Regards,<br>
&gt; Kashyap<br>
</div></div>&gt; _______________________________________________<br>
&gt; Haskell-Cafe mailing list<br>
&gt; <a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>
&gt; <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>