(The history of how the idea of computation got formulated is really pertinent for FAI researchers. Justification is a lot like computation. I think we're nearing the "Leibniz stage" of technical moral philosophy. Luckily we already have the language of computation (and decision theory) to build off of in order to talk about justification. Hopefully that will reduce R&D time from centuries to decades. I'm kind of hopeful.)