Actually, it is a serious point. If you choose thories at random, according to some universal prior, then a lot of them are going to be inconsistent. And most of the theories that can quickly prove their own consistency are the inconsistent ones. So this does provide some information (depending on how the consistency proof was arrived at, of course).
That was pretty much what I was getting at. But since I’m not in a position to quantify how strong the evidence is, I took the cheap route of making it a joke :).
So, a theory’s proving its own consistency is strong Bayesian evidence that it’s inconsistent ;).
If that’s all you know about the theory, I’d say yes—but not “strong” evidence.
I probably should have given more than just a winkie to indicate that I was joking.
Actually, it is a serious point. If you choose thories at random, according to some universal prior, then a lot of them are going to be inconsistent. And most of the theories that can quickly prove their own consistency are the inconsistent ones. So this does provide some information (depending on how the consistency proof was arrived at, of course).
That was pretty much what I was getting at. But since I’m not in a position to quantify how strong the evidence is, I took the cheap route of making it a joke :).