Unfortunately, this is is a case where I doubt that even the human-made results by Arrenius and Askell are usable in practice. For example, Arrenius’ result could be undermined if we assume resource-based constraints. I expect these to prevent the Repugnant Conclusion from being so counterintuitive. Askell’s result seems to be at least as meaningless because we have yet to discover a path to an infinite world...
As far as practical applications go, the idea with these proofs—and with a lot of moral philosophy—is that unrealistic cases can help us figure out which principles we want to endorse, and then we can apply these principles in more realistic cases.
Unfortunately, this is is a case where I doubt that even the human-made results by Arrenius and Askell are usable in practice. For example, Arrenius’ result could be undermined if we assume resource-based constraints. I expect these to prevent the Repugnant Conclusion from being so counterintuitive. Askell’s result seems to be at least as meaningless because we have yet to discover a path to an infinite world...
As far as practical applications go, the idea with these proofs—and with a lot of moral philosophy—is that unrealistic cases can help us figure out which principles we want to endorse, and then we can apply these principles in more realistic cases.