Abe Dillon wrote:
[Bruce Leban]
Lambda calculus IS computer science.
It's a foundation of computer science. That doesn't mean it "IS"
computer science. Set theory is a foundation of computer science. It's
still it's own discipline.
Lambda calculus is considered a part of computers science,
because it was invented specifically for the purpose of modelling
computation. Set theory wasn't.
--
Greg
_______________________________________________
Python-ideas mailing list
Python-ideas@python.org
https://mail.python.org/mailman/listinfo/python-ideas
Code of Conduct: http://python.org/psf/codeofconduct/
