This will probably sound wacky but here's what I think:
There are two steps to conveying a thought in a language:
1. recall the grammar rules and vocabulary
2. form the sentence
The steps are fundamentally different in that the first one is an exercise in recollection whereas the second one is a "creative" process of some sort.
To prove a mathematical fact you go through the same two steps:
1. you recall all the past mathematical knowledge
2. you deduce the fact in a creative process of meshing together the facts you just recalled
So conveying a thought in a language is sort of analogous to proving a mathematical fact.
But clearly when doing math step 2 is given the spotlight whereas when you are talking in a foreign language step 1 is by far the hardest.
With spoken languages, don't you typically get to the point where #1 is a no-op? I don't ever do it consciously in English. I rarely do it in French. I often spend far more cycles on determining the correct vocabulary for what I want to say.
I didn't mean to imply that the steps are done consciously.
What I meant was that there is more recalling involved (more of step 1) when you want to say something than when you want to prove something. Of course you are not aware of it. The brain does it subconsciously.
Curious, because I'm not a mathematician: is it typical to say "proof" something versus "prove" something? I noticed you used that twice now. My brain keeps autocorrecting it, but I'm ignorant and would love to update my rules if needed. :)
No. I make that typo all the time though. It's just that due to my accent I do not differentiate between "prove" and "proof" and always voice the words as "proof" so I always write "proof".
I think it would be more accurate to say there are 3 steps in both:
1) Recall the grammar/rules of the output language (for both natural language and formal languages).
2) Form the idea of what it is you want to express in your head using your internal language (usually your first natural language).
3) Encode the idea you have in your mind using the formal rules from step 1.
Step 1 is usually internal and subconscious for natural languages that you can communicate in freely and to an extent this is even the case for other languages and even programming languages.
For your first natural language, step 1 is usually done behind the scenes by your brain automatically, or these rules are already present in your brain in a usable form, and step 3 is trivial because you are just expressing the idea which is already in this language in your mind.
Have you ever listened to humans talk? Most sentences are improper, they're riddled with disfluencies, and usually they don't even finish what they're saying.
Seriously though, most of the papers I've read require significant interpretation, filling in gaps and dealing with ambiguous terminology or use of symbols.
Without even looking I guarantee that the Periodic Table of Finite Simple Groups is garbage --- there's no way that the space of finite simple groups have the same structure as the space of atoms.
The author admits to twisting the shape of the table to arbitrarily make it look like the table of elements, even though the only similarity is that both have some sense of 2-dimensionality.
The groups table is not "periodic" in any sense.
> I also considered the non-classical groups to be “less important” and so there are fewer rows of them to better match the look of the real periodic table. They also have larger orders so it makes sense to include fewer of them on the table.
> Since there are no “sporadic” elements, I had to decide what to do with the sporadic simple groups. These are groups that don’t fall into any of the other families. At one point I put them in the upper right corner with a jagged boundary like the non-metals. This made the table resemble the real periodic table, but it had more rows and less columns so it looked rather “thick”. Unfortunately, it didn’t make as much sense from an algebraic point of view, so I placed them where the lanthanides and actinides are found instead. This is slightly misleading, because if enough new elements were to be discovered there would be another row in that section. But you can’t have everything perfect. After all, there are an infinite number of simple groups, and only a finite number of elements.
A little silly to speak with such overconfidence considering the only similarity is the "table" paradigm. The actual periodic table is poor for its use anyways, and there have been valid criticisms that call for a more abstract grouping, like a spiral/ring table [1] [2]
But in any case, the properties of numbers are intrinsic to the relationship between space and time - the ability to store a number physically [in memory] and then act on it at a later time. You can try to claim that physics transcends mathematics -- but I would argue that the properties of numbers, and hence algebras, are more fundamental than even physical field theories are.
A pet peeve of mine is when mathematics itself is described as a language, instead of distinguishing mathematics from mathematical language. It's like saying Neuromancer is just a language, that Neuromancer is just English.
There is content in mathematics that is independent of the language used to express it. Mathematical notation is also incidental. It is not mathematics itself.
It might be incidental but the history of mathematics is rich with dissent and conflicting methodologies and syntaxes. Just even the initial mathematical symbols that started to be used were quite the ambitious effort by Peano. [1] That reading will take you down the wormhole of efforts for a "universal language" between mathematicians based on latin. And then you'll end up reading about 20 different other takes on the ideas. No, it's not just incidental -- there were international congresses of mathematicians about these issues and the adopted solutions were mostly elegant and looked upon favorably. There are always going to be some dissenters though, and they have some validity - but well, conventions are usually a compromise between effectiveness and majority opinion. There is still huge rift in mathematics on the issue of constructive proofs vs intuitionistic proofs. There are a lot of camps in formal mathematics. Kinda like functional programmers and the constant "tripes" they'll knack on. Whimsical stuff :-)
Doesn't surprise me. I spent my youth thinking math was impenetrable, and only when I started programming later in life I realized that mathematicians shouldn't be naming things.
Mathematics is a lot more rigorous than programming. But considering I'm learning Group and Ring Theory with the 1999 textbook 'Learning Abstract Algebra with Mathematica [Library]' I don't exactly disagree. Working with abstract structures in a more concrete way is a crystal-shattering way to intuit them -- I don't know if it will be an ultimate downfall though yet. As a programmer it just seemed natural to me to be able to manipulate these structures as if they are instances of an abstraction -- of a type. If it peels out for me, I will have a unique perspective among mathematicians. I just see a large sect between those who appreciate the abstractions, and those who bastardize them for utility. I didn't have love and enigmatic affinity for mathematics until I realized that even up to Calc II, the number-crunching utilitarian bastardization of mathematics was conveyed and taught to me -- not the beauty or philosophy of mathematical approach and thinking. Unfortunately, when only results and empirical justifications fill a programmers' mind, the beauty is lost. I feel there is definitely a more mastered perspective by being both a programmer and an inspired mathematician that is lost by being in exclusively one camp or the other. Until education reform is had, this unique perspective will just be for those who incidentally stroll down the path.
24 comments
[ 5.1 ms ] story [ 70.7 ms ] threadThere are two steps to conveying a thought in a language:
1. recall the grammar rules and vocabulary 2. form the sentence
The steps are fundamentally different in that the first one is an exercise in recollection whereas the second one is a "creative" process of some sort.
To prove a mathematical fact you go through the same two steps:
1. you recall all the past mathematical knowledge 2. you deduce the fact in a creative process of meshing together the facts you just recalled
So conveying a thought in a language is sort of analogous to proving a mathematical fact.
But clearly when doing math step 2 is given the spotlight whereas when you are talking in a foreign language step 1 is by far the hardest.
What I meant was that there is more recalling involved (more of step 1) when you want to say something than when you want to prove something. Of course you are not aware of it. The brain does it subconsciously.
1) Recall the grammar/rules of the output language (for both natural language and formal languages).
2) Form the idea of what it is you want to express in your head using your internal language (usually your first natural language).
3) Encode the idea you have in your mind using the formal rules from step 1.
Step 1 is usually internal and subconscious for natural languages that you can communicate in freely and to an extent this is even the case for other languages and even programming languages.
For your first natural language, step 1 is usually done behind the scenes by your brain automatically, or these rules are already present in your brain in a usable form, and step 3 is trivial because you are just expressing the idea which is already in this language in your mind.
Seriously though, most of the papers I've read require significant interpretation, filling in gaps and dealing with ambiguous terminology or use of symbols.
> I also considered the non-classical groups to be “less important” and so there are fewer rows of them to better match the look of the real periodic table. They also have larger orders so it makes sense to include fewer of them on the table. > Since there are no “sporadic” elements, I had to decide what to do with the sporadic simple groups. These are groups that don’t fall into any of the other families. At one point I put them in the upper right corner with a jagged boundary like the non-metals. This made the table resemble the real periodic table, but it had more rows and less columns so it looked rather “thick”. Unfortunately, it didn’t make as much sense from an algebraic point of view, so I placed them where the lanthanides and actinides are found instead. This is slightly misleading, because if enough new elements were to be discovered there would be another row in that section. But you can’t have everything perfect. After all, there are an infinite number of simple groups, and only a finite number of elements.
[1] http://www.chemistryland.com/CHM130W/03-BuildingBlocks/Chaos... [2] https://upload.wikimedia.org/wikipedia/commons/6/6b/The_Ring...
There is content in mathematics that is independent of the language used to express it. Mathematical notation is also incidental. It is not mathematics itself.
[1] https://en.wikipedia.org/wiki/Giuseppe_Peano