Исследование философских вопросов в информатике