Rob Bensinger comments on The Problem with AIXI

[Rob Bensinger]

Here’s a new reply from Eliezer: http://​​lesswrong.com/​​lw/​​jg1/​​solomonoff_cartesianism/​​aonz?context=1#comments .

[Squark]

I believe my formalism closes the gap between UDT and naturalized induction.