Mathematical Notation Puns

Hi guys,

I'm doing some research for my dissertation which deals with the language of mathematics. I came across the term "verbalization" when reading a paper. It means "the process of assigning words or phrases to mathematical symbols" (e.g. "plus" for +, "Euler's number" for e). It got me thinking, what would a similar word be for the opposite action (i.e. assigning symbols and notation to a mathematical concept)? Notation has the right word ending, but it's not quite correct grammatically*. I'm trying to find a word which is in the same grammatical category as "verbalization". Has anyone here encountered such a word? Or has a cool idea on what to call it?

Thanks!

Edit: *Notation is actually the result/output of this action

These are the numerals in Indonesian and Malay (hereby referred to as Indomalay) from one to nine, pretty easy to understand and notate in numbers. For 10 Indomalay has sepuluh, which literally translates to one puluh. For 20, it's dua puluh, two puluhs, and for 30 it's tiga puluh, three puluhs. The rest of the tens use puluh as the base, and another number as the variable/adjective.

Then there are the numbers above 10. In some stone inscriptions, like the Kedukan Bukit inscription for instance, the numeral sapulu dua (sepuluh dua) is used for 12, which literally translates to one puluh two. In the tweens, the compound dua puluh is used popularly. 21 one would then be dua puluh satu, literally two puluh one.

This logic of [variable][base] is pretty well understood, follows Indomalay's grammar pretty well, and makes sense in math notation. One puluh is easily notated with 10, two puluh 20, three puluh 30. We can even replace the 0 with x: one puluh is 1x, two puluh 2x. Math still makes sense this way (numbers italicized to give emphasis):
> Twenty four minus two equals twenty two
> Dua puluh empat dikurang dua sama dengan dua puluh dua
> 2x + 4 - 2 = 2x + 2

However, things get interesting in the teens and tweens.

Remember how there was sepuluh dua for 12? Nowadays, the preferred term would be dua belas, literally two belas. Eleven is sebelas, one belas.

And then, for the tweens, there's a less popular variant likur. Twenty one, instead of dua puluh satu (two puluh one), would be selikur, one likur. Twenty two is dua likur, two likurs; twenty three tiga likur, three likurs.

What interests me is that these are mathematically different. While sepuluh dua prompts 10 + 2 or 1x + 2, dua belas prompts 2y, with y being belas. The same happens with likur; instead of dua puluh tiga with 2x + 3, tiga likur prompts 3z, with z being likur.

Replacing belas and likur with y and z works fine in isolation, but it gets troublesome when you input math with it:
> Four likurs minus two equals two likurs
> Empat likur dikurang dua sama dengan dua likur
> 4z - 2 = 2z

I have some questions regarding these units:

1. First, how do you input math with these units, consi

"A technician takes X hours to visit the stores in a couple of streets in one shift, and when he finishes his tour, another technician revisits the same stores again, needing other X hours to finish the second shift, and so on. For example, if the first technician started his shift at 1:00pm, he finishes it at 7:00pm and the second technician starts his shift at 7:00pm and finishes it at 1:00am, and so on. The supervisors used to make a quick meeting with all technicians twice a day at 1:00 am and 1:00 pm, so they need to finish their tours exactly 1:00. Identify the mathematical notation for the number of shifts should be made by the technicians in order to achieve this, write the name of this mathematical value, and find it for two tours, one with X=7 and another with X=11."

I just watched 3Blue1Brown's video about the "Triangle of Power", as a curious about math, I would like to know more examples of these "Notation Patches", as well as fuel some discussion on which ones are the best.

Here is the link to the video:

https://youtu.be/sULa9Lc4pck

A.) x, y ∈ {3, 8, 11, 43, 56, 78}

B.) (x, y) ∈ {3, 8, 11, 43, 56, 78}

C.) x ⋀ y ∈ {3, 8, 11, 43, 56, 78}

D.) (x ⋀ y) ∈ {3, 8, 11, 43, 56, 78}

E.) None of the above. Please provide the correct notation

Thanks in advance for your help!

So there was this long Twitter debate — again — about the pros and cons of TLA^(+) syntax, that is based on the standard mathematical notation but might be foreign to programmers who aren't used to it, and so increase the effort in learning the language. I don't want to get into the relative difficulty of learning the syntax vs. learning how to use mathematics to model systems because I think I've done it elsewhere, and it's also quite subjective. I would like to list two more objective reasons why I believe that, difficult or not, TLA^+ beginners should learn mathematical notation and do it early.

My goal is to try and explain why TLA^(+)'s notation is what it is [1], and also why I think beginners are advised to learn it right from the start.

Reason 1

The first reason is social. There are many ways to specify systems or model-check things, but TLA^+ chooses to do that with first-order logic and set theory, and some temporal logic, as that's the source of its simplicity and power compared to more programming-like ways. If you want to use TLA^(+) at all, you must learn first-order logic (at least for specification if not for formal proofs) and rudimentary set theory, no ifs or buts about it. These are the basic elements of TLA^(+). If you've already learned them, you've used the standard notation and found TLA^(+) very familiar. If you haven't, you will learn them while learning TLA^(+), and you should do it using the same notation everyone else who learns first-order logic and set theory uses (or close to it) because you will not learn everything you'd need during your training, and pretty much all material on those subjects uses the standard notation. Mathematics is not just an idea, but also a tradition and a set of texts, and a more-or-less common language is necessary to enter this body of knowledge that TLA^+ is a part of.

Programming is also a tradition, and using notation that is more familiar to programmers might have some issues. For example, in C, C++, C#, and Java — all sharing some sub-tradition of programming — we can conjoin two booleans with either the & and && operators (same goes for disjunction and | and ||). Why two different ones? Because they mean slightly different things when the second disjunct/conjunct is undefined. TLA^+ is all about precision, so which of those two meanings does the standard mathematical conjunction operator used by TLA^(+), ∧, have? Well, neither one (see *Specifying Systems

I'm looking for a scientific calculator app for Linux, which would format my input in mathematical notation, for example:

• vertical fractions

• power as superscript

There are plenty of tools which display input inline (use slash for fractions, ^ for power). But I don't like it, it's not convenient for me.

So, I define sample efficiency as the area under the curve/graph where x axis is the number of episodes while y-axis is the cumulative reward for that episode. I would like to formally define it with a mathematical function,

If the notation for cumulative reward for xth episode is:

https://preview.redd.it/q0cfltqbst771.png?width=717&format=png&auto=webp&s=9d364c8bfa0624ba2ebe75a22179a4dd57778481

So is the equation for area under the graph/curve the one below?

https://preview.redd.it/ieqfijshst771.png?width=266&format=png&auto=webp&s=8b3f46d5827caaef4fc5672f2f34240b5f6a4a5f

I will be just using a Python library to get the area under the graph which uses Simpson's rule for integrating.

1. Using the definition of Big-Oh, prove that 10n^2 + 10n +sqrt(n) = O(n^2)
2. Using the definition of Big-W, prove that n^2 ≠Ω(n^3)
3. Solve T(n) = 8T(n/2) + n^2 log n by mathematical induction.
4. Using the definition of Big-Oh and Big-Ohm, prove that O(n)Ո Ω(n^1.5) = ∅
5. Solve T(n) = 8T(n/2) + n^2 /log n by master method.

Project moved to https://github.com/zakalwe2040/marain

https://preview.redd.it/dcu5dsm79j971.png?width=866&format=png&auto=webp&s=28724e224ed5711bb9fcd009718de0623b197c0a

Feedback most welcome!

Greetings.

I often face a wall when trying to read about something, like the Hindley-Milner type system just now, and that wall is mathematical notation. What do I have to learn in order to understand notation such as this? I assume it would have to be set theory, type theory, or something along those lines?

Thank you, and sorry if this is a bad place to ask.

I was watching a video on Japanese universities. For part of it they showed a large blackboard in a calculus classroom, and I thought, "I can solve that problem!" Despite the language and culture being drastically different, mathematics seems to be unified.

Is this always true? Are there a lot of exceptions?

So I have created several algorithms, all using basic logic. I am trying to explain these algorithms, but not sure what approach to use. I feel like it would make sense to explain the algorithm using mathematical notations, but the issue is I have no idea how to do this. The idea is I am trying to explain these algorithms for my dissertation, but there is no specific approach that is mentioned by my brief. I really want to score a high grade, but not exactly sure how I could best explain it?

Approaches that I am aware of using and will use: -Pseudocode -Flowcharts -graphs

Hi,

I just wanted to write a matrix with square brackets, I tried to read a little in the man pages of eqn but didn't find anything about matrices.

Thx.

Hi,

I'm looking for book recommendations for a physical book that can serve as reference for mathematical notation and definitions. I'd prefer a physical, printed book over wikis/pdfs/digital documents due to the publishing cycle. I studied math in college through the undergrad curriculum and I'd to get back into doing math recreationally.

Ideally, I'd like to look up symbols by how they look or by their sub-discipline, with its name, definition, examples of usage, and how the symbols would be read out loud in English. In other words, I'm looking for a printed, extended reference of this Glossary of Mathematical Symbols Wikipedia page.

Related: any recommendations on a math books defining bits of jargon and informal usage in mathematics (e.g., "without loss of generality")? Similarly, this question is motivated by this Wikipedia page on Mathematical Jargon.

Thank you.

For me, the uses of musical flat, sharp, and natural, are definitely strange.

I'm currently in a medical science PhD program and I'm starting to work with more calculus and statistics than I ever have before. I'm good at the math in general but when I'm reading research papers or textbooks and they have they have this long string of capital letters, lowercase letters, symbols, brackets, superscript, subscripts, etc it all just looks like someone just mashed their keyboard. If I knew what the symbols meant, when superscript and subscripts are used I would actually gain some semblance of knowledge from what I'm reading. If anyone has resources that can help to just read the notation, I would greatly appreciate it.

Hi all,

Hope everyone is doing good.

I have recently created a system for typesetting Arabic Mathematical Notation. It is called Khatt.Seen (خط.س; meanig Script.x).

The system website is here: https://khatt.org/.

The system receives inputs as textual commands similar to what LaTex does, but the commands are written in Arabic from right to left, and renders the result as PNG files.

The system website is only now available in Arabic, but I have written an article explaining it for those interested in English here. Also in Arabic here.

The system for now targets to support pre-university mathematics, and slowly moving forward to support more advanced mathematics.

The system main design decision is to be font-independent, so you can install any font, and it should work just fine without extra configuration, unlike LaTex / TeX that needs fine configuration files for supported fonts.

Of course, this will come at a price of refinement level, but I believe it is worth it. Here is some equations rendered using Khatt.Seen in three fonts Amiri (default), Arial, and Segoe UI (Windows 10 system font.)

Amiri font

Arial font

Segoe UI (Windows 10) font

Amiri font using Western Arabic (Maghribi) digits

For a list of supported features, and how to use them. You can visit: https://khatt.org/documentation.

Hopefully some of you will find this helpful, inshallah.

Thanks.

Even though it would be greatly unconventional, I've been fiddling with "more self-consistent mathematical notations".

Knowing the history, I cannot be the first one. Any other, more or less serious attempts?

I've been trying to learn about a path-planning technique from papers and textbooks and the mathematical notation is daunting! I have a background in mechanical engineering and took quite a few courses in Applied Math, Linear Algebra etc., but the mathematical notation in these texts is incredibly daunting!

I wanted to know did you guys get comfortable with it? Do you recommend some techniques or books to go through to familiarize yourself with the notation or?

Any and all suggestions would be appreciated.

Thanks!
-moucheeze

c(2) could be equal to 2 but not necessarily. How do you shorten the statement into a compact mathematical notation?

This is the statement I want to write:

if a(2)=0, b(2)=0 and m a(x) + n b(x) = c(x), then c(2) = 0

if a(2)=1, b(2)=1 and m a(x) + n b(x) = c(x), then c(2) could be equal to 1 but not necessarily