Howdy Scott, Is anyone in your field working on the implications of computational complexity for normative ethics? Hume's guillotine relies on the impossibilit

Howdy Scott, Is anyone in your field working on the implications of computational complexity for normative ethics? Hume's guillotine relies on the impossibility of any evidence for or against moral facts, but one could stipulate to that while using e.g. Kolmogorov complexity to select moral facts with the highest prior probability to a naive computational oracle. Not saying it's how I'd necessarily choose my ethics, but if AGI employs algorithmic inference (e.g., approximating Solomonoff induction) for conventional epistemology, the potential may exist for it to extend those algorithms to normative judgments, for better or worse.