Filozofija računarske nauke