Of course, when he does, that will make it true, and without paradox, so he will be wrong. On the other hand, if he thinks it is true, it will be false, and without paradox, so he will be wrong.
He will not be wrong, just ignorant. Hypothetically:
Unknown: Eliezer, do you think that the statement in my comment is false? Eliezer: Let me see… No, I do not. U: Aha! Then it is false! Do you think so now? E: No. U: Do you think it’s true? E: No. I understand that I cannot be correct in assigning a truth value to it. Not every sequence of words has a truth value. Moreover, the truth value of some sentences can never be known to me. U: This makes me so much more confident that the sentence is false.
So we all know something Eliezer cannot ever know. He may even read these lines, and it’ll still be the little secret of humanity-minus-Eliezer.
Eliezer will think that this statement is false.
i.e. the above statement.
Of course, when he does, that will make it true, and without paradox, so he will be wrong. On the other hand, if he thinks it is true, it will be false, and without paradox, so he will be wrong.
He will not be wrong, just ignorant. Hypothetically:
Unknown: Eliezer, do you think that the statement in my comment is false?
Eliezer: Let me see… No, I do not.
U: Aha! Then it is false! Do you think so now?
E: No.
U: Do you think it’s true?
E: No. I understand that I cannot be correct in assigning a truth value to it. Not every sequence of words has a truth value. Moreover, the truth value of some sentences can never be known to me.
U: This makes me so much more confident that the sentence is false.
So we all know something Eliezer cannot ever know. He may even read these lines, and it’ll still be the little secret of humanity-minus-Eliezer.