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.
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.