Comment by anonymous_sorry

> "Are the formal sciences (logic/mathematics/computer science) not science?"

Not by this definition. The distinction between mathematical theorems and scientific theories is a useful one.