# Research in Mathematics (Formalities vs. Results) [closed]

This question is intended to solve an internal dilemma I have been having lately. I assume that most of those who have gone through the process of mathematical research have, at some point, considered this as well. Therefore, I would be greatly appreciative of any input one has on the subject.

Recently I have seen a dichotomy in mathematics research. This dichotomy lies in the difference between formally and completely justified mathematics, and mathematics who's assumptions are correct but not as well justified.

I may be wrong on these assumptions, and if so please clarify. In mathematics, we are forced to make a choice, in some sense. Do we accept the axioms given to us as truly the basis for mathematics constructed thereafter? Or do we assume nothing and thoroughly prove everything? I have come to this assessment for many reasons. Particularly, I have two professors this semester. One professor is very informal, and in a sense provides less reasoning then satisfactory sometimes. On the other side, there is an extremely formal professor who covers every point in depth (i.e. "First we must prove the existence, then we must prove property, then we must prove the uniqueness, now apply this theorem and use the proof as justification." -Prof. "But sir, it's the division algorithm... Is it 'necessary' to prove existence and then justify the use of the algorithm once we have proven it's truth?" - Student.)

For one that knows they want to participate in math research themselves, how would one resolve this conflict? Is it a philosophy in and of itself? Do we make a choice of this philosophy and then preach it as is? Or do we simply accept that the conflict resides and simply brush it to the side in order to achieve ground breaking results (whether based on false realities in the first place or not).

Thank you in advance. If this question has been asked before I could not find it, and will accept direction in any way possible.

## closed as primarily opinion-based by Matthew Towers, user91500, Parcly Taxel, Clarinetist, HenrikSep 5 '16 at 21:19

Many good questions generate some degree of opinion based on expert experience, but answers to this question will tend to be almost entirely based on opinions, rather than facts, references, or specific expertise. If this question can be reworded to fit the rules in the help center, please edit the question.

• Not an answer. Usually the term formalism is used for syntactic approaches (computer-like) and is different from rigor which is what you mean. You seem to be extrapolating your experience as a student to what goes on in research. Does the issue even occur in research? Resolve what conflict? To each his own. I doubt your professors are in any sort of conflict. – Git Gud Sep 7 '14 at 9:33
• @GitGud True. I am more leaning towards situations such as Russel's Paradox. When one shows that an axiom, or something that most have taken for granted, is false how do we respond? In particular there are those that assume they must provide as rigorous of a proof as possible. On the other side I feel there are those who still take most for granted. – Eoin Sep 7 '14 at 9:36
• Most people avoid undue formality in proofs. It is hard enough to prove significant new results. Then translating, what is maybe already a 20 page proof into something more formal does not seem worth the effort to most people. Of course, it is important not to be so informal that your proof is wrong. But after a while you develop a good working knowledge of the areas where particular care is needed. Of course, mistakes still happen. Erroneous proofs sometimes remain uncorrected for years. – almagest Sep 7 '14 at 9:39
• This has something in common with a paradox explored by Lewis Carroll (C L Dodgson): en.wikipedia.org/wiki/What_the_Tortoise_Said_to_Achilles – MartinG Sep 7 '14 at 9:43
• @MartinG I see... – Eoin Sep 7 '14 at 9:52