My point was that one particular argument you made does not actually support your point.
Ok, fair enough, I guess. I still think you’re not assuming the least convenient possible world; perhaps some astrophysical observation of yours that isn’t available to the AI allows you to have high confidence about some digits of Chaitin’s constant. But that’s much more subtle than what I had in mind when writing the post, so thanks for pointing that out.
Perhaps I wasn’t clear. I meant that Omega does not actually tell you what logical proposition it used.
Ok, I misunderstood, sorry. I don’t understand the point you were making there, then. My intent was to use a digit large enough that the AI cannot compute it in the time Omega is allowing it; I don’t see any difference between your version and mine, then?
perhaps some astrophysical observation of yours that isn’t available to the AI
The best approach I know now for constructing an FAI is CEV. An AI that can pull that off should be able to also access any astrophysical data I possess. I am not sure what the point would be if it didn’t. The expected utility of programming the FAI to be able to figure this stuff out is much higher than building it a giant lookup table of stuff I know, unless I had magical advance knowledge that some particular fact that I know will be incredibly useful to the FAI.
My intent was to use a digit large enough that the AI cannot compute it in the time Omega is allowing it; I don’t see any difference between your version and mine, then?
Yes, there is no difference, given that you have a sufficiently large digit. The reason I brought up my version is so that you don’t have to worry about computing the truth value of the logical proposition as a strategy, as you don’t even know which logical proposition was used.
Ok, fair enough, I guess. I still think you’re not assuming the least convenient possible world; perhaps some astrophysical observation of yours that isn’t available to the AI allows you to have high confidence about some digits of Chaitin’s constant. But that’s much more subtle than what I had in mind when writing the post, so thanks for pointing that out.
Ok, I misunderstood, sorry. I don’t understand the point you were making there, then. My intent was to use a digit large enough that the AI cannot compute it in the time Omega is allowing it; I don’t see any difference between your version and mine, then?
The best approach I know now for constructing an FAI is CEV. An AI that can pull that off should be able to also access any astrophysical data I possess. I am not sure what the point would be if it didn’t. The expected utility of programming the FAI to be able to figure this stuff out is much higher than building it a giant lookup table of stuff I know, unless I had magical advance knowledge that some particular fact that I know will be incredibly useful to the FAI.
Yes, there is no difference, given that you have a sufficiently large digit. The reason I brought up my version is so that you don’t have to worry about computing the truth value of the logical proposition as a strategy, as you don’t even know which logical proposition was used.