V_V comments on Mathematics for AIXI and Gödel machine