Yudhister’s treatment here does not satisfy me: the assumption he calls syntactic-probabilistic correspondence is false. For example, in Paul’s probability distributions, the self-referential sentence L: P(L)<1 must be assigned probability 1, but is not true and not provable.
Yudhister’s treatment here does not satisfy me: the assumption he calls syntactic-probabilistic correspondence is false. For example, in Paul’s probability distributions, the self-referential sentence L: P(L)<1 must be assigned probability 1, but is not true and not provable.