Is proving conjectures such a big deal?

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

Discussion Overview

The discussion revolves around the significance of proving mathematical conjectures, exploring the implications and motivations behind such proofs. Participants examine the relationship between conjectures and established mathematical theories, as well as the historical context of certain conjectures and their resolutions.

Discussion Character

  • Debate/contested
  • Conceptual clarification
  • Historical

Main Points Raised

  • One participant suggests that most conjectures have either been proven true or not proven false, questioning the necessity of proving long-standing conjectures given the difficulty in finding counterexamples.
  • Another participant emphasizes the importance of proving conjectures within formal axiomatic systems, arguing that this is a fundamental aspect of mathematics.
  • A different viewpoint challenges the idea that the choice of axiomatic systems is purely objective, noting that preferences influence which systems are used and that proofs may not align with certain systems like ZFC.
  • One participant highlights historical examples of conjectures that were long assumed true but later proven false, suggesting that the longevity of a conjecture does not necessarily correlate with its mathematical significance.
  • There is a comparison made between famous conjectures and well-established scientific theories, with a participant noting that the definition of a scientific theory does not apply to mathematics.

Areas of Agreement / Disagreement

Participants express differing views on the importance and implications of proving conjectures, with no consensus reached on the necessity or significance of such proofs in mathematics.

Contextual Notes

Participants reference specific conjectures and the historical context of their proofs, indicating that the discussion may be influenced by varying interpretations of the role of conjectures in mathematical development.

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
3K
  • · Replies 33 ·
2
Replies
33
Views
9K
  • · Replies 64 ·
3
Replies
64
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 10 ·
Replies
10
Views
3K
Replies
1
Views
4K
  • · Replies 12 ·
Replies
12
Views
4K
  • · Replies 3 ·
Replies
3
Views
5K
  • · Replies 3 ·
Replies
3
Views
5K