No sorry what I meant with "cannot be proven in principle" was something that cannot be verified or falsified, logically speaking. For example, certain interpretations of quantum mechanics are different interpretations of what's going on, but they share exactly the same predictions, and thus deciding among them is impossible. String theory on the other hand cannot currently be 'proven' or disproven, but only because we do not have the experimental tools at our disposal.
Ah right, under these circumstances things get tricky.
String Theory is an easy one; it remains unproven until we work out how to prove it, QM is harder. When you hit the QM stage of multiple theories with the same correct results, ovbiously only one of the theories can be correct, so you have to start taking them apart and test the different bits.
AT the moment, QM has the same problem as most other advanced physics; the results can be attached to theories, but actually proving any one theory over another requires technology we don't have. The correct response at this point is to try different things based on different theories and see how it all works out.
No evidence... ?
Find me irrefutable evidence for a divinity.
Also, unnecessary is not illogical...
Of course not, but it's an extra reinforcement; if you have no proof of the existence of A, and A is entirely unnecessary and can be removed without any impact whatsoever on the overall theory, then that's pretty strong case for A not existing.
Yes of course, but that's beside the point we were just discussing. I wanted to get a clarification by Neruz in the context of the question whether belief in god is illogical, that's all.
Faith in God is illogical. But since there is a distinct lack of proof in God, by definition all belief in God is therefore faith in God.