As Luke recently pointed out,

As Bellman (1961) said, "the very construction of a precise mathematical statement of a verbal problem is itself a problem of major difficulty."

But many verbal restatements of verbal problems often, even typically, precede and facilitate the construction of this golden mathematical trophy. These portions of philosophy, which are the bulk of it, might easily fail to impress the computer scientists. But without them, progress in formal philosophy would be slower.