Didn't Bruce Schneier publish a provably secure scheme in which multiple encryption algorithms could be combined such that a weakness in any single one of them was not sufficient to reduce the security of the message?
Yes, it's in Section 15.8 of the 2nd edition of Applied Cryptography. This is basically that scheme, but we're not inflating ciphertexts as he suggests (which is a good thing).