On 2018-08-13 20:08, 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.

[snip]
The word "is" can mean, among other things, class membership or identify. Bruce was talking about class membership, not identity.
_______________________________________________
Python-ideas mailing list
Python-ideas@python.org
https://mail.python.org/mailman/listinfo/python-ideas
Code of Conduct: http://python.org/psf/codeofconduct/

Reply via email to