Indeed (see my comment on the problem with simplified model being unsolved).
However, it’s a different kind of problem to standard FAI (it’s “simply” a question of getting a precise enough model, and not a philosophically open problem), and there are certainly simpler versions that are tractable.
Indeed (see my comment on the problem with simplified model being unsolved).
However, it’s a different kind of problem to standard FAI (it’s “simply” a question of getting a precise enough model, and not a philosophically open problem), and there are certainly simpler versions that are tractable.