2 problems
Non-approximability conjecture. and are not even approximable (limit-computable), but lie somewhere higher in the arithmetic hierarchy.
Let and be the semimeasure-related objects defined in the paper, with a measure and proportional to a measure. Non-limit-computability conjecture. We conj…