But I think that my algorithm for the non-oracle setting is still valuable.
I think it’s a useful trick not so much because it doesn’t require oracles, but because it doesn’t require a Goedel statement (chicken rule), even though it depends on choosing a time limit, while the algorithm with Goedel statement doesn’t.
I think it’s a useful trick not so much because it doesn’t require oracles, but because it doesn’t require a Goedel statement (chicken rule), even though it depends on choosing a time limit, while the algorithm with Goedel statement doesn’t.