Comment on The Problem with AIXI

Wed, 12 Mar 2014 15:03:22 GMT

The diagonal lemma and the existence of quines) already show that you don't need specific support for self-reference in your language, because any sufficiently powerful language can formulate self-referential statements. In fact, UDT uses a quined description of itself, like in your proposal.

Discuss