Let Go, Standard Library From Community

[Don Clugston]

Jascha Wetzel wrote:
> hm, how about...
> why is problem X undecidable?
> why does solving problem Y take at least O(...) time/space?
> why are some problems NP and others P or aren't they?
> why do these weights and activation functions make a recursive neural
> network X do what it does?

Agreed. Those are all mathematical, science questions. And the CS 
department at the university I went to, thought that was what they 
should be teaching. But there isn't really very much of it, and most of 
it was developed by regular mathematicians (Goedel, etc), without much 
connection to actual computers.

> "software engineering" is clearly a large subset, but you would have to
> stretch the term pretty much to make most theoretical CS fit in there.

Yup. But theoretical CS is pretty much a specialised branch of 
mathematics, which I think is not how the CS term is generally used.

But we're stuck with the name now!