Comment on No Universal Probability Space

Wed, 06 May 2009 17:40:18 GMT

A theory about the real world may be perfectly formal, it just won't have a perfectly formal applicability proof. On the other hand, if you can show that a theory is applicable with probability of 1-2^{-10000}, it's as good as formally proven to apply.

I disagree that it's correct terminology to call a theory informal, just because it's can't be formally proven to apply to the real world.

Discuss