Ken Mogi on computation theory