Well, then, it seems like almost all the difficulty is in the value and formalization problems. Once we’ve really formalized it, it’s 99% of the way to machine code from where it started as human intuition.
Via, say, doubly-indirect meta-ethics? Well, we need to decide that that’s really the decision algorithm that’s going to result in the right answer, both that it’s ethically correct and predictably converges on that ethically correct result.
Well, then, it seems like almost all the difficulty is in the value and formalization problems. Once we’ve really formalized it, it’s 99% of the way to machine code from where it started as human intuition.
Doesn’t that mean the value loading strategy is an alternative to the (direct) formalization strategy?
Via, say, doubly-indirect meta-ethics? Well, we need to decide that that’s really the decision algorithm that’s going to result in the right answer, both that it’s ethically correct and predictably converges on that ethically correct result.