Comment by shwaj
2 hours ago
So your position boils down to “the only real knowledge is that which is provable”. Tautological. And probably not self-consistent, given Gödel.
2 hours ago
So your position boils down to “the only real knowledge is that which is provable”. Tautological. And probably not self-consistent, given Gödel.
As a response to my overall position, no, I think you threw out 99%, including by far the most important parts.
On the question of a single word out of my entire position, that is a reasonably fair statement for mathematics (which is the topic under discussion). The fact that you think it's tautological supports both that you agree with its correctness (thanks) and that this is a mostly irrelevant side conversation. And whatever you think the answer should be is not somehow not subject to the constraints of logic.
You seem convinced we humans possess vast mathematical knowledge that AI doesn't, though. Give some examples! You can offer a proof by construction of your claim.