Is proving conjectures such a big deal?

  • Context: Graduate 
  • Thread starter Thread starter xponential
  • Start date Start date
Click For Summary
SUMMARY

The discussion centers on the significance of proving mathematical conjectures, particularly referencing Fermat's Last Theorem, which was proven after 350 years. Participants argue that while many conjectures have been proven true or not proven false, the necessity of proving them lies in their foundational role within formal axiomatic systems. The conversation highlights the distinction between mathematical conjectures and scientific theories, emphasizing that the historical context and the difficulty of finding counterexamples contribute to their importance. The discussion also touches on the evolution of axiomatic systems and their implications for mathematical practice.

PREREQUISITES
  • Understanding of formal axiomatic systems in mathematics
  • Familiarity with Fermat's Last Theorem and its proof by Andrew Wiles
  • Knowledge of mathematical conjectures and their historical context
  • Basic concepts of scientific theories versus mathematical statements
NEXT STEPS
  • Research the proof of Fermat's Last Theorem by Andrew Wiles
  • Explore the implications of Gödel's incompleteness theorems on formal systems
  • Study the history and significance of the parallel postulate in geometry
  • Investigate the role of conjectures in mathematical innovation and theory development
USEFUL FOR

Mathematicians, educators, and students interested in the philosophy of mathematics, the history of mathematical conjectures, and the implications of formal proofs in mathematical theory.

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:

Similar threads

  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 33 ·
2
Replies
33
Views
8K
  • · Replies 2 ·
Replies
2
Views
655
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 10 ·
Replies
10
Views
3K
Replies
1
Views
3K
  • · Replies 12 ·
Replies
12
Views
4K
  • · Replies 3 ·
Replies
3
Views
4K
  • · Replies 3 ·
Replies
3
Views
5K