Faustus2 comments on Mathematics for AIXI and Gödel machine

[Faustus2]

Thank you, I’m grateful for your time.