Computer science should be a separate department or left in the sciences. CS is not a field of absolute truth. For one thing, it is proven impossible to show that a particular solution is the only solution, the best solution, or the most bug-free solution. Much of what determines that is acceptance and the end-user. After all, while programming languages more closely represent math than other scientific applications, it's not 'pure' math. In a user-interface system there are hundreds, thousands even; of variables all interacting with each other in different and changing ways. Impossible for someone sitting at a desk to see every possible configuration and thus 'prove' the program. Impossible even for other computer programs to prove.