5

I have a penchant of writing mathematical pieces (proofs, theorems, axioms, etc.) in formal syntax, using as less English as possible. I don't know whether this is essential, I like doing this so I do this. I personally feel that this increases the precision of the mathematical statements that I am making. But there are various problems I encounter, like expressing non-logical strings like "we choose", "arbitrary", "let", "we define", "assume", "hence by contradiction" ,etc, thus making my writing dry for those who read them. I just want to know whether symbolism is essential in mathematics.

  • 2
    NO; formulae are useful for precision but understanding is necessary for humans. Thus, only an automated theorem checker can like math proofs without natural language. – Mauro ALLEGRANZA Jul 27 '16 at 15:01
  • 4
    "Formalism" has a technical sense in philosophy of mathematics as a view of its foundations originally developed by Hilbert, see en.wikipedia.org/wiki/Formalism_(philosophy_of_mathematics) My guess from your context is that you are just referring to the use of symbolic notation and strictly formal deductions. Some degree of it is essential in modern mathematics perhaps, but in the extreme form you describe it is perhaps essential only in mathematical logic, and even there is usually accompanied by informal commentary. – Conifold Jul 27 '16 at 20:08
  • @mauro ALLEGRANZA: are you using the word "like" in the same sense as to that of "we humans like math proofs"? – user356313 Jul 29 '16 at 2:43
4

For some schools of the philosophy of mathematics, formality is what avoids the internal inconsistency of human logic, expressed in the various paradoxes of mathematics like Russell's, or Barry's.

Since we do not know exactly how far into mathematics these inconsistencies reach, it is safe to fall back on formality when there is a question. Officially, that formality is couched in set theory, with a specific kind of axiomatization to which the community has largely agreed.

Unless you adopt a firm philosophy of mathematics that somehow explains the right way to handle paradox, formalism is your only fallback position. Most practicing mathematicians are more interested in the work of mathematics than its philosophy, so they adopt this default fallback as their primary defense against paradox or other logical potholes.

But on a day-to-day basis, they accept a fully Platonic position: They assume that what can be visualized or captured in other ways compatible with human sense and senses is safely far away from foundational issues.

That leaves formalism as a necessary part of mathematics, but not necessarily as a productive part of most ongoing mathematical development.

At the same time, it is quite hard to do some kinds of mathematics with any speed unless you compress it into notation. That notation can usually be formalized, but does not need to be so. So most mathematicians find a balance between concise notation that allows them to capture thoughts in writing quickly enough that they do not evaporate or develop faster than they can be recorded, and the need to communicate things that are not necessarily that clear.

  • Your viewpoint is quite precise and interesting. – user356313 Jul 27 '16 at 16:17
  • This is a very good answer. I'm not sure I get the bit about Platonism though. – Eliran Jul 27 '16 at 16:18
  • @EliranH Platonism has a slightly different meaning in the philosophy of mathematics, separate from actual reference to any specific part of Plato, if that is what is confusing. Mathematical Platonism is the idea that we are free to act as though any clear enough idea is a real thing: that our shared imagination is restricted to the possible, and will never mislead us into false mathematical territory. plato.stanford.edu/entries/platonism-mathematics – user9166 Jul 27 '16 at 16:25
  • Yes I'm well aware of mathematical Platonism. Just not sure that using formalisms implies accepting Platonism, if that's what you're saying in your answer. – Eliran Jul 27 '16 at 16:37
  • 1
    @EliranH No, I am characterizing most mathematicians. The dominant position in mathematics is 'day-to-day Platonism, with Formalism on Sundays'. There is no logical implication of internal consistency here, just a strong trend. I also don't actually hold this position, I am simply describing it. Mathematicians that delve into the philosophy honestly generally have to discard this position, but it remains dominant. For this to be the dominant position does force Formalism to be a necessary part of having peace in the field. – user9166 Jul 27 '16 at 16:39
1

I would add that the level of formality is not related to the usage of symbols, or abbreviations - in other words, to the way things are "encoded" and/or expressed - but to what is missing in the conventional mathematical text, and missing on purpose, as much as possible: metaphors, non-technical explanations, merely evocative commentary.

There are at least two issues at stake in the way this conduct has been incorporated in the tradition of mathematical work:

1) First of all, it manifests the position that mathematical definitions and proofs are not made more cryptic than they could be, in the absence of these non-formal "appendages". The thing here is to try to understand, not only what is written, but why it has been written, namely, to convey a kind of knowledge that is (supposed to be), at least originally, immune to practical implications or worldly agendas. This is, of course, highly debatable.

2) There are usually, nonetheless, non-formal paths towards the understanding of a new mathematical object or problem, even for the initiated. That these paths are rarely, if at all, documented in any way, can be considered a problem for a field that remains extremely elitist, at a time when science desperately needs to be able to communicate better with the general public. There is, of course, remedy for that.

0

Euclid managed to be formal without being formalist; and when I was taught Newton's three laws of motion it was done in words and without equations; it's necessary to be precise but it's not necessary to be formal; the two, though related, are necessarily different.

The invention of formal languages is useful in allowing one to theorise about such languages - the first and standard instance where this has been important would be Gödel and his incompleteness theorems.

It's not normal practise to write mathematics in this manner, that is using a formal language; and in fact excessive formalism is usually frowned upon - a certain amount of judgement is called for.

  • I would like to add a question. Is what I am using to write mathematical pieces(using quantifiers, connectives,etc.) a formal syntax at all? Or is it just something pseudo-formal? For, what I am doing is just writing out English statements in disguise. – user356313 Jul 27 '16 at 15:22
  • 1
    @user356313 You could say the same about any language with different characters. Is writing Russian with the Cyrillic alphabet just "writing English in disguise"? There's a translation function, to be sure, but mathematical languages have their own (formal) syntax. (What complicates things is that most math is written in a blend of formal and natural language.) – Dennis Jul 27 '16 at 16:05
  • Yes that's why I try to write it purely in formal syntax. – user356313 Jul 27 '16 at 16:11
  • And Euclid's and Newton's works are not formal that is for sure, but I think that they are neither very precise, especially Newton's laws. – user356313 Jul 27 '16 at 16:15
  • @user356313 I didn't mean "complicates things" in that less formal language is a bad thing -- just that what I called "mathematical language" isn't the language of mathematics. Writing in purely symbolic notation can be, and often is, a form of obscurantism. What's important is clarity and precision, whether you accomplish that with symbols shaped like arrows or with the Latin alphabet. Typically, a blend of the two is best, imho. (Symbolism I find most useful for its brevity when the English is too cumbersome.) – Dennis Jul 29 '16 at 0:54

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.