Comment by 3lambda

I think the distinction the commenter is going for is science which has been tested empirically, versus science which has been proven theoretically. It's like the difference between unit testing and formal verification of code, I guess. They both have their uses and are practical in different scenarios.