Further, the highly technical-sounding name “unbounded generalized logical inductor” suggests mathematics, but my guess is that it is not actually a mathematical concept and there is no underlying mathematization available. This gives an undeserved impression of rigor, precision, and formality even though the actual analogies are really purposeless and wooey. Somehow a USI paving the universe with computronium for its “own benefit” is a “chara inductor”, but something making lots of paperclips is not, even though they’re just USI’s optimizing for different things, and also this is all some kind of moral lesson.
Further, the highly technical-sounding name “unbounded generalized logical inductor” suggests mathematics, but my guess is that it is not actually a mathematical concept and there is no underlying mathematization available. This gives an undeserved impression of rigor, precision, and formality even though the actual analogies are really purposeless and wooey. Somehow a USI paving the universe with computronium for its “own benefit” is a “chara inductor”, but something making lots of paperclips is not, even though they’re just USI’s optimizing for different things, and also this is all some kind of moral lesson.