Yvain’s objection fails if “definitely” means “with probability 0.99999″. In that case the conditional probability P( encounter civilization | universe contracts) is well-defined.
Oh, I thought I retracted the grandparent. Nevermind—it does need more caveats in the expression for it to return to being meaningful.
Oh, I thought I retracted the grandparent. Nevermind—it does need more caveats in the expression for it to return to being meaningful.