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