Gunnar_Zarncke comments on Mathematics for AIXI and Gödel machine