Triết học khoa học máy tính