Yes it is possible to mathematically solve limit poker (as well as no-limit poker, but no-limit poker is orders of magnitude more difficult - they are effectively different games).
The definition of solvable is "Does there exist a strategy that, regardless of opponents play, is not a losing strategy" though (because the game is symmetrical). It is not possible to solve for "Does there exist a strategy that, regardless of opponents play, guarantees maximum profits". You can solve it for not losing money, but you cant solve it for making the max amount of money.
Trivially it's not possible to write software that beats any opponent (because what would it do playing against itself?) . Less trivially, any game that has a finite amount of decisions (and limit hold-em does) has at least one Nash equilibrium, so there exists a strategy that will at least have you break even.
The way to solve the game is to calculate your odds of winning based on previous actions and ensure that you take actions that make any future decision of the opponent have the same outcome (to reach a Nash equilibrium).
That strategy hasnt been calculated yet, but the best limit players are most likely playing very close to it, at least if you compare to the best no-limit players playing no-limit (the variable amounts possible to bid in no-limit multiplies the possible strategies massively).