Well, Turing called his famous paper "On computable numbers, with an application to the Entscheidungsproblem" without really state that the "application" is that he solved it.