On computable beliefs of rational machines