Filosofia da ciência da computação