Re: Does provability matter?

2001-11-15 Thread Wei Dai
On Thu, Nov 15, 2001 at 10:35:58AM +0100, Juergen Schmidhuber wrote: Why do you prefer the Speed Prior? Under the Speed Prior, oracle universes are not just very unlikely, they have probability 0, right? Suppose one day we actually find an oracle for the halting problem, or even just find

Re: Does provability matter?

2001-11-15 Thread Juergen Schmidhuber
Wei Dai wrote: Thanks for clarifying the provability issue. I think I understand and agree with you. On Tue, Nov 13, 2001 at 12:05:22PM +0100, Juergen Schmidhuber wrote: What about exploitation? Once you suspect you found the PRG you can use it to predict the future. Unfortunately the