Is proving conjectures such a big deal?

  • Thread starter Thread starter xponential
  • Start date Start date
AI Thread Summary
The discussion centers on the significance of proving mathematical conjectures, questioning their impact given that most have been shown to be true or not disproven. While some argue that long-standing conjectures are akin to well-established scientific theories, others emphasize that the heart of mathematics lies in understanding formal axiomatic systems. The proof of Fermat's Last Theorem, for instance, is noted for its complexity and the context of the axiomatic systems used. Additionally, the conversation highlights that the historical importance of conjectures may stem more from their longevity than their mathematical implications. Ultimately, the debate reflects differing views on the necessity and value of proving conjectures in mathematics.
xponential
Messages
9
Reaction score
0
Since the vast majority of the conjectures have either been finally proven true or not proven false. I don't think there are many examples of conjectures that have deluded mathematicians for decades but turned out to be false.

What benefits or implications did we get from proving Fermat's last theorem after more than 350 years? I like to think of famous conjectures as the well-established scientific theories. Einstein's special theory of relativity, for instance, has shown very accurate results when examined in the lab but that doesn't make us certain that it is 100% absolutely true just because no counter example proved otherwise. Why do a lot of mathematicians care about proving long-standing conjectures when it is shown very very hard to find a counter example to the validity of the conjectures?

Thanks,
 
Mathematics news on Phys.org
I like the statement that the heart of mathematics is essentially the study of formal axiomatic systems. In this view it is necessary to show that a conjecture is a tautology, contradiction, contingency, or an undecidable statement within a specific system.

I'm pretty sure some will disagree with this, but I think it is a good reason why mathematicians have the need to prove conjectures.
 
I don't like that statement at all. It is obvious that we have preferences with regard to which axiomatic systems to use, and they serve their goal as a context in which to do the mathematics we want to do. They are constantly changed, and we move on to new ones, but not (essentially) motivated by the results they produce, but the mathematics that can be done within. If I'm not mistaken, the proof of today (at least that of Wiles') of Fermat's last theorem is not actually a proof in ZFC. Of course, the theorem is not of interest because of what it says about the extension of ZFC! (an extension which incorporates Groethendieck universes (I have little knowledge of this and may be wrong))

The age old conjectures may not have severe impact on mathematics, and their importance may not be so much of mathematical nature. Rather, they are of increased interest just because they have not been solved in such a long time-which is something unique to long standing mathematical conjectures.
 
Last edited:
xponential said:
Since the vast majority of the conjectures have either been finally proven true or not proven false. I don't think there are many examples of conjectures that have deluded mathematicians for decades but turned out to be false.
The parallel postulate was assumed to be true for 2000 years.
Mertin's conjecture took 100 years.
There was a theorem which Roos proved about Mittag-Leffler sequences. That was early 1960s. There have been many papers based on that, until it was shown to be false in recently.

I like to think of famous conjectures as the well-established scientific theories.

The term http://en.wikipedia.org/wiki/Scientific_theory" refers to a statement about observable phenomena. That's not mathematics.
 
Last edited by a moderator:
Suppose ,instead of the usual x,y coordinate system with an I basis vector along the x -axis and a corresponding j basis vector along the y-axis we instead have a different pair of basis vectors ,call them e and f along their respective axes. I have seen that this is an important subject in maths My question is what physical applications does such a model apply to? I am asking here because I have devoted quite a lot of time in the past to understanding convectors and the dual...
Insights auto threads is broken atm, so I'm manually creating these for new Insight articles. In Dirac’s Principles of Quantum Mechanics published in 1930 he introduced a “convenient notation” he referred to as a “delta function” which he treated as a continuum analog to the discrete Kronecker delta. The Kronecker delta is simply the indexed components of the identity operator in matrix algebra Source: https://www.physicsforums.com/insights/what-exactly-is-diracs-delta-function/ by...
Back
Top