Comment by IAFF-User-130 (Imported-IAFF-User-130) on Topological truth predicates: Towards a model of perfect Bayesian agents · 2016-02-02T23:50:40.000Z · LW · GW

So you're saying that there is an oracle that can predict the outputs of any oracle you give it through a probability distribution of the possible outputs?