Your decision theory is formal enough for me, but it seems to be different from Eliezer’s, which I was talking about. If they’re really the same, could you explain how?
In that case, I never said I understood Eliezer’s version well enough that I could formalize it if I wanted to, and I don’t think Nesov and Drescher claimed that either, so I don’t know why you mentioned our names in connection with “refuse to formalize”. Actually I explicitly said that I don’t understand Eliezer’s theory very well yet.
Your decision theory is formal enough for me, but it seems to be different from Eliezer’s, which I was talking about. If they’re really the same, could you explain how?
In that case, I never said I understood Eliezer’s version well enough that I could formalize it if I wanted to, and I don’t think Nesov and Drescher claimed that either, so I don’t know why you mentioned our names in connection with “refuse to formalize”. Actually I explicitly said that I don’t understand Eliezer’s theory very well yet.
You’re right. I apologize. Amended the comment.