but you get the idea of what a probability over logical statements should mean
Not from your example, I do not. I suspect that if you remove this local Omega meme, you are saying that there are many different possible worlds in your inner simulator and in p*100% of them the conjecture ends up being proven… some day before that world ends. Unless you are a Platonist and assign mathematical “truths” independent immaterial existence.
Not from your example, I do not. I suspect that if you remove this local Omega meme, you are saying that there are many different possible worlds in your inner simulator and in p*100% of them the conjecture ends up being proven… some day before that world ends. Unless you are a Platonist and assign mathematical “truths” independent immaterial existence.
Retracted my comment for being unhelpful (I don’t recognize what I said in what you heard, so I’m clearly not managing to explain myself here).
Thanks for trying, anyway :)