alt Hacker NewsIn this case won't this oracle also tell you what is the consequences as soon as it tells you RH is true and also much more? At this point what is the point of you knowing what is true and what is not?
In this case won't this oracle also tell you what is the consequences as soon as it tells you RH is true and also much more? At this point what is the point of you knowing what is true and what is not?
There is no actual oracle. In this discussion oracle means Lean.