I think that’s maybe the point people can agree on: To build a machine that performs well. That goes beyond building a decision procedure that performs well in many specific situations (that would each correspond to observer moments) but not in a succession of them, or in situations that would require its own analyzability. Building such a machine requires specifying what it optimizes over, which will be potentially very many observer moments.
I think that’s maybe the point people can agree on: To build a machine that performs well. That goes beyond building a decision procedure that performs well in many specific situations (that would each correspond to observer moments) but not in a succession of them, or in situations that would require its own analyzability. Building such a machine requires specifying what it optimizes over, which will be potentially very many observer moments.