> The nine lines contain physics, chemistry, material science, biology, medicine, geology, astronomy, engineering and computer science.
I have doubts that these 9 lines describe computer science. As I interpret it, computer science is founded on pure mathematics and is not a physical or empirical science. Computer science deals with perfect abstract mathematical objects like numbers, sets, quantification, recursion, infinities, etc.
Considering that these lines specify our laws of physics only if you grant that math is a thing, you could argue that all of mathematics gets in for free ;). Sort of like how ZFC can't encode basic logic, but you still need it for axioms to make sense
I have doubts that these 9 lines describe computer science. As I interpret it, computer science is founded on pure mathematics and is not a physical or empirical science. Computer science deals with perfect abstract mathematical objects like numbers, sets, quantification, recursion, infinities, etc.