The underlying tautologies always existed. Making them accessible to us as truth and usable for one or more functions is what's invented by people (and potentially by AI) via insightful proofs and narratives.
I think the nuance they are pointing towards is that we cannot with any certainty say one way or another, as this is an unsolved problem in mathematics, and may possibly remain unsolved forever.
Your opinion is a possibility but it is not grounded by any proof, as such it is nothing more than an assumption. I think the more intellectually healthy approach is to list out the possibilities and figure out what they entail, rather than to throw all your eggs in one basket blindly, which amounts to a leap of faith or a retreat to commitment.
But that's just my two cents, take it or leave it.
I absolutely do not understand what are you talking about.
The question whether the tautologies exists regardless of whether we know about them or not is absolutely not a problem that is studied by mathematics and can be proven by mathematics.
The underlying tautologies always existed. Making them accessible to us as truth and usable for one or more functions is what's invented by people (and potentially by AI) via insightful proofs and narratives.
I think the nuance they are pointing towards is that we cannot with any certainty say one way or another, as this is an unsolved problem in mathematics, and may possibly remain unsolved forever.
Your opinion is a possibility but it is not grounded by any proof, as such it is nothing more than an assumption. I think the more intellectually healthy approach is to list out the possibilities and figure out what they entail, rather than to throw all your eggs in one basket blindly, which amounts to a leap of faith or a retreat to commitment.
But that's just my two cents, take it or leave it.
Can you be more explicit?
I absolutely do not understand what are you talking about.
The question whether the tautologies exists regardless of whether we know about them or not is absolutely not a problem that is studied by mathematics and can be proven by mathematics.
1 reply →