@abge, I'm well aware (of course) that string theory is heavily based on math, like every branch of physics. But just like quantum mechanics, it consists ultimately of certain assumptions about the physical world (in mathematical terms), and then figuring out the mathematical consequences of those.
I'd ask the same thing about QM: what would it mean to _mathematically_ contradict quantum mechanics? Well, I guess you could find some kind of logical flaw in the foundations of functional analysis or something, but that wouldn't really be contradicting QM so much as find problems with its mathematical foundations. The closest I can think is that maybe you'd find that some physical observable couldn't be realized as a Hermitian operator or something; even that, though, seems as much like a physical refutation as a mathematical one.
Incidentally I wouldn't agree that QM was "almost entirely developed before being verified experimentally." The Stern-Gerlach experiment (1921), for example, which was a foundational QM experiment, preceded the development of the theory by several years. Of course, as with any theory, experiments were carried out afterward to test its novel predictions.
@ulytau, Indeed, which is why I asked if he was referring perhaps to a desire to find contradictory predictions.