Intuitionistic logic and Muchnik degrees