I think you’re missing the broader point, which is that there is a lot to computer science outside of the purely mathematical formalism.
For example, distributed systems and networking are more like a physical science because they seek to make generalized learnings and theorems about real world systems.
The author’s last point around complexity theory also resonates because it demonstrates the value of designing experiments with real-world conditions like computing hardware speed and input sizes.
Distributed systems are famously hard to get right and mathematical formalism is pretty much the only way to do so at scale. Amazon found that out with S3[1]. TLA+ exists for very good reason!
That’s not to discount the reality that mapping the model to reality is hard work that needs to be done.
Sounds ok to me in casual conversation. I use it like fruit. Orange is a fruit. Orange is also a kind of fruit. Orange is fruit doesn’t sound right though.
Empathetically speaking I’m sure it’s quite jarring for you when you read it.
For example, distributed systems and networking are more like a physical science because they seek to make generalized learnings and theorems about real world systems.
The author’s last point around complexity theory also resonates because it demonstrates the value of designing experiments with real-world conditions like computing hardware speed and input sizes.