No. He believes he has a proof now. But he said that he tried to build a proof because, before finding a proof, he believed there must be a proof—and it seems, from what he wrote, that he found the lack of such a proof offensive. That’s faith.
That’s a mixture of Trust in Bayes and the original driving purpose that causes me to define the word “rationality” a certain way. In any case, I did find an elegant answer and so I have no reason to label the driving intuitions involved as wrong.
No. He believes he has a proof now. But he said that he tried to build a proof because, before finding a proof, he believed there must be a proof—and it seems, from what he wrote, that he found the lack of such a proof offensive. That’s faith.
That’s a mixture of Trust in Bayes and the original driving purpose that causes me to define the word “rationality” a certain way. In any case, I did find an elegant answer and so I have no reason to label the driving intuitions involved as wrong.