Oh, really?
There's a song by Tom Lehrer called "New Math". It goes through the process of subtracting 173 from 342, in base ten and then base 8.
Folks who went through school from the 1960s and onward don't get what's so funny. He's just doing arithmetic as we learned it. The funny thing is that the folks who learned arithmetic earlier did it differently, such that during the transition (when the song was written), parents had difficulty helping their kids do their homework - the parents could get the same answer (because math is math), but confused their kids when they tried to show them how to get that answer, because the schoolteacher showed them something else.
You can, if you wish, go about the process of adding 19 and 1 via set theory, starting at the definition of the null set and working your way up. But you'd not want to do that at the gaming table. Rather cumbersome. THAC0 is notably less cumbersome than set theory, but a bit more cumbersome than BAB.
I just see the same math, with an outrageous range with BAB. There are some thing you just cannot hit due to the unlimited range of BAB. It is the same system, but adds unneeded range to it. As you say the players get int he way of it all, and they do. Sadly players dont think about the unconstrained system of BAB having unlimited AC range, and they will gripe when they try to attack something that they cannot damage, and then die because they were given too much range to play with.
At least with THAC0 system you had a defined range. It wasn't as hopeless to try to attack something.
To me both systems are just math. simple and easy. take what you have and find out what you need to know.
That is it in a nutshell, no matter which method you derive to get your information from. If you dont like the equation, then just do as I did, and change it to one that works better for you. Don't get hung up on the math, or fear of subtraction or whatever.