Mathematics - 2017-01-02 (page 2 of 5)

Alessandro Codenotti

10:00

@DHMO modpow?

DHMO

@AlessandroCodenotti well, mod_pow.

kayak

My Google translate output different lol

DHMO

p^n %a

kayak

@DHMO Still studying you are

Alessandro Codenotti

How is that implemented? I don't think you can do better than exponentation by repeated squaring

DHMO

10:02

@AlessandroCodenotti that is indeed the current implementation

@kayak yes

Alessandro Codenotti

Can you post your code again? (Put it up on pastebin and share a link if you don't want to spam the chat with a huge message)

DHMO

@AlessandroCodenotti pastebin.com/v8ydSi3H

SteamyRoot

Ooooh, what's that code do?

(back from holiday)

Alessandro Codenotti

I see no obvious optimization, but python isn't a language I'm familiar with

DHMO

@SteamyRoot I'm searching on n for n!=a!b!

Tobias Kildetoft

10:15

@DHMO What other conditions? I mean, clearly whenever $n = k!$ you have an example.

DHMO

yep, other than n = k!.

it is conjectured that the only non-trivial solution is 10!=7!6!

SteamyRoot

Hmmm...

Tobias Kildetoft

So an equivalent question is whether a falling factorial can be a factorial as well

DHMO

yes

SteamyRoot

Clearly $n$ cannot be prime and one of $a,b$ must at least be the largest prime $< n$.

DHMO

10:17

yes

Szabolcs

I'm just going to drop this here in case anyone has ideas. I wasn't sure if I should have asked here on Math.SE. SciComp seemed more appropriate but it is very quiet.

1

Q: Solving a difficult system of equations numerically

I have a system of $n$ non-linear equations that I want to solve numerically: $$\mathbf{f}(\mathbf{x})=\mathbf{a}$$ $$\mathbf{f}=(f_1,\dots,f_n)\quad\mathbf{x}=(x_1,\dots,x_n)$$ This system has a number of characteristics that makes it particularly difficult to handle. I am looking for ideas on...

DHMO

@Szabolcs but you already said that the function goes from 1 to 0 when x goes from -infty to infty

that means the solution is when x=infty

Szabolcs

@DHMO I'm solving $f(x) = a$, where $a \in (0,1)$. It was simpler to state it this way.

DHMO

oh, sorry I misunderstood

in this case, I don't understand why this has only one root

is this function continuous?

Szabolcs

@DHMO It is not clear from the properties that I describe that it has only one root. But I do know that it has only one from theoretical results.

@DHMO Yes.

DHMO

10:24

If the function is continuous and monotonous in every dimension, then how can it have only one root?

Szabolcs

@DHMO f_i(x_1, x_2, ..., x_i, ..., x_n) is monotonic in x_i, but not necessarily in x_j (j \ne i)

In a way, f_i is "conjugate" to x_i.

DHMO

alright

Szabolcs

f_1 to x_1, f_2 to x_2, etc.

@DHMO BTW it's "monotonic", not "monotonous". The latter means boring :-) I commit this same mistake all the time :-) (I have already had to correct myself once today)

DHMO

oh, lol

Alessandro Codenotti

Have you tried to approximate the region in which the function is increasing (to avoid the plateaus) and see if you can get a good enough approximation for newton to converge?

SteamyRoot

10:28

@DHMO What does your is_prime function say for $2^{12342}-1$?

DHMO

@SteamyRoot that's too large

> if n < 3,215,031,751, it is enough to test a = 2, 3, 5, and 7;

> if n < 2,152,302,898,747, it is enough to test a = 2, 3, 5, 7, and 11;

SteamyRoot

Why not just use sympy's isprime?

DHMO

i don't like using libraries lol

Balarka Sen

Hi @Alessandro. Still in Germany? :)

Alessandro Codenotti

Hi @Balarka! No, I returned home late in the evening yesterday

Balarka Sen

10:30

Ahh.

Szabolcs

@AlessandroCodenotti There are $n$ functions. I can find the region where one or a few of them don't have a plateau. But I was unable to easily find a region where none of them are in a plateau. If I could get into that region, then things would become much simpler.

Alessandro Codenotti

I have numerical analysis to study now... but I'll find some time for G-P

Szabolcs

@AlessandroCodenotti If I could do what you are saying, my problem would be practically solved :)

Alessandro Codenotti

Yeah, that's why I was asking @Szabolcs

Balarka Sen

Sure, sure. Let me know if you want me to ramble on about some differential topology to you sometime.

Alessandro Codenotti

10:33

Might be too soon, I'm still dealing with the first few sections

Balarka Sen

Are you on tangent spaces right now?

Alessandro Codenotti

I don't know then, nonlinear systems weren't a big topic in my numerical analysis course

Martin Sleziak

@DHMO This is a rather lazy way out, but simply putting that formula into Approach0 gives a few reasonably looking hits.

This one seems rather popular (score 139, 40k views): Solving the integral $\int_{0}^{\infty} \frac{\sin{x}}{x} \ dx = \frac{\pi}{2}$?

DHMO

@MartinSleziak wow, nice

Alessandro Codenotti

Inverse function theorem and immersions @Balarka (I read the section on tangent spaces and did most of the exercises there)

user400188

10:36

Using logical implication: is a=>b the same as ($/exists$a)$/forall$ b ?

Balarka Sen

Then you're already pretty far down.

Martin Sleziak

@DHMO In the (unlikely) case that you were unaware of that search engine, a few links about this and searching on this site in general can be found here

Tobias Kildetoft

@user400188 No

DHMO

@MartinSleziak thanks

Alessandro Codenotti

Uhm are we talking about the same section? That's page 15 or so in my edition

Balarka Sen

10:39

Oh, I know that it's still the beginning in the book. I'm just saying that you don't need much more to hear my rant.

Alessandro Codenotti

Go ahead then :P

user400188

@TobiasKildetoft Why not? When you draw the sets the result is the same. And logical implication has an equivalence with the set of all interpretations in which a is true is a subset of the set of all interpretations in which b is true in a formal system.

Balarka Sen

Don't you need to study numerical analysis right now? :P

Tobias Kildetoft

@user400188 the latter is not even a complete logical expression

user400188

@TobiasKildetoft is it near complete? If so what is missing?

Alessandro Codenotti

10:42

That's true... I usually try to read or do a few exercises from G-P in the evening, so I'll annoy you later

Tobias Kildetoft

@user400188 some statement that holds for these $a$ and $b$

user400188

@TobiasKildetoft at the start or end? Or does it not matter?

Balarka Sen

Sure thing.

Tobias Kildetoft

@user400188 at the end. And of course it matters

@user400188 Anyway, the two statements do not even make sense for the same types of objects in place of a and b

user400188

@TobiasKildetoft what is meant by type? I was under the impression that if a was b then the result of the statement would just be that it is a tautology

Tobias Kildetoft

10:46

@user400188 in the first one yes. In the second one, that would be an illformed statement (or in some versions, it would just render the "exists" part void)

I think you really need to go read up on what those things mean again

user400188

I do. I have realised I made a mistake with the term exists

I was drawing it as if exists meant the set could be drawn inside the other. Like a subset

Secret

[Abstract algebra] Some musings about the associative law when a left inverse is present and kinda remind of ladder operators:

Consider an infinite associative algebra with a pair of elements $a,b$ such that $ab=1$. Then consider the following chain of products (numbers are used as labels because otherwise I will ran out all 26 letters):

\begin{align}
2a=3\\
3a=4\\
4a=5\\
...\\
x_na=x_{n+1}
\end{align}
Then
$$x_nab=x_{n+1}b$$
$$x_n1=x_{n+1}b$$

Now if $x_n1=x_n$ for all $x$ then you end up with a 'ladder' like structure where

Tobias Kildetoft

@user400188 What set?

user400188

@TobiasKildetoft If I had a statement a=>b then I would draw a circle for b and draw another inside b labeled a.

Tobias Kildetoft

@user400188 And what would those circles mean?

user400188

10:51

@TobiasKildetoft They would represent the sets a and b

Tobias Kildetoft

@user400188 If a and b are sets, then a=>b makes no sense

user400188

@TobiasKildetoft why not?

Tobias Kildetoft

@user400188 What would it mean?

user400188

@TobiasKildetoft I'm searching for the page in which I found a definition of logical implication that involved sets and subsets

Would anyone care to tell the polite way to link something here?

Tobias Kildetoft

As long as it does not take a ton of space it should be fine

user400188

10:59

Here we go then: en.wikipedia.org/wiki/Logical_consequence#Semantic_consequence

"the set of the interpretations that make all members of b true is a subset of the set of the interpretations that make A true."

Tobias Kildetoft

That is a different symbol

user400188

Logical implication as opposed to material implication

I was under the impression that logical was writen as => while material was -> or =>

Tobias Kildetoft

Neither of those are the symbol you linked to

user400188

?

SteamyRoot

@TobiasKildetoft If I remember correclty, you're a group theorist, so... if $G \leq A \times B$ and $p$ is the projection $A \times B \to \frac{A \times B}{(A \times B)'}$, is $p(G) \cong \frac{G}{G'}$? Primes indicating the commutator subgroup.

I would think it has to be correct, but somehow can't convince myself...

user400188

11:03

@TobiasKildetoft Yes the symbol used on the page is |= sorry. They mean the same thing as far as I am aware.

Tobias Kildetoft

@user400188 No, they really don't. They are usually not even applicable in the same contexts.

user400188

Maybe I should have trusted wikipedia. I was redirected there when I searched logical imlication

should not have*

Tobias Kildetoft

@SteamyRoot So it does not matter here that the group is a direct product of course

@SteamyRoot Ohh, actually it is not true. Just consider what happens when $G$ is the commutator subgroup and is non-trivial abelian

user400188

11:22

Interestingly; in regards to material implication, when a 1 or 0 is assigned to either "A" or "B" of A->B, and the question is asked: Can I fit an A into B? (as in; can I fit a 1 inside 1? yes 1 can fit in 1, or can I fit a 0 inside 1? Yes infinitely many can fit) the result gives the same truth table as A->B normally would.

I arrived at that when I was going through the thought process that lead the my incorrect conclusions about logical implication.

Ramanujan

11:41

What does $\neg$ mean?

@DHMO

Akiva Weinberger

@BalarkaSen The thing was I wanted it to be continuous everywhere else.

Ramanujan

@AkivaWeinberger hi

What $\neg$ means in math?

Akiva Weinberger

@BalarkaSen Alternatively, remember the textbook's $f(x,y)$ where the line limits at the origin were $0$ but the parabola limit was $1/2$? Mine is essentially that divided by $\sqrt y$.

(Modulo some substitutions.)

@Ramanujan Negation, I think

If $\phi$ is the sentence "The Riemann hypothesis is true", $\neg\phi$ is the sentence "The Riemann hypothesis is false"

Another LaTeX comment for it is \lnot ("logic not").

Ramanujan

math.stackexchange.com/questions/2080245/… I don't know all of terms in this answer :( iam unable to understand this answer now

Akiva Weinberger

Compare \vee=\lor ("logic or") and \wedge=\land ("logic and")

@Ramanujan Ah. $\neg (\mathrm u \perp \mathrm v)$ would mean "$\rm u$ and $\rm v$ are not perpendicular".

Ramanujan

11:51

Extremely difficult to understand that for me :(

Akiva Weinberger

@Ramanujan He's using ${\rm tr}(AB)={\rm tr}(BA)$, where $\rm tr$ means the trace (the sum of the diagonal entries)

He's also using $\rm u^\top v=u\cdot v$ for column vectors $\rm u$ and $\rm v$

@Ramanujan Which one?

$\top$ is the transpose.

$\begin{bmatrix}a&b&c\end{bmatrix}\begin{bmatrix}d\\e\\f\end{bmatrix}=ad+be+cf=(a,‌b,c)\cdot(d,e,f)$

SteamyRoot

@TobiasKildetoft Ah, you're right. The reason it holds in my case must be because of something specific about $G$ then. Thanks :)

Ramanujan

What he means by $\perp$ ?

Akiva Weinberger

@Ramanujan Perpendicular. Which means $\rm u\cdot v=0$, by the properties of the dot product.

Ramanujan

@AkivaWeinberger vectors in matrix?

How?

Akiva Weinberger

11:56

Matrices that are one wide and $n$ tall (like $\begin{bmatrix}a\\b\\c\end{bmatrix}$) can be thought of as vectors.

These are called column vectors.

If $\rm u$ and $\rm v$ are column vectors, $\rm u^\top v=u\cdot v$.

Ramanujan

@AkivaWeinberger oh,i thought it was transpose

Akiva Weinberger

$\top$ is transpose

$\bot$ is perpendicular

If $\rm u$ is a column vector, $\rm u^\top$ is a row vector.

Akiva Weinberger

12:11

> A coin of radius $1''$ is rolled (without slipping) around the outside of a coin of radius $2''$. How many complete revolutions does its “head” make? Now explain the correct answer! (There is a famous story that the Educational Testing Service screwed this one up and was challenged by a precocious high school student who knew that he had done the problem correctly.)

Is it not just $2$? Where would I find the story about the ETS?

Balarka Sen

@AkivaWeinberger Sure, you can make the example I gave continuous.

I got serially upvoted by someone. Bleh.

Akiva Weinberger

@BalarkaSen Ah, I see. That'd get something piecewise, yeah?

Balarka Sen

Right.

Akiva Weinberger

@BalarkaSen That sounds like a good thing?

Balarka Sen

The extra rep would just be reversed tomorrow.

Akiva Weinberger

12:18

Hm?

Balarka Sen

There's an SE bot/script which reverses serial up/down votes.

Akiva Weinberger

Ah. ("Serial" here means that someone went and upvoted a bunch of your things?)

Balarka Sen

In the span of a few minutes, yes.

Akiva Weinberger

Interesting.

Balarka Sen

@AkivaWeinberger Do you know what derivative means yet, in the multivariable context?

Akiva Weinberger

12:25

Just got to that chapter.

Balarka Sen

Ahh

WiCK3D POiSON

12:38

What is the link to review suggested edits ? TIA

SteamyRoot

@WiCK3DPOiSON You need 2k reputation, I believe.

WiCK3D POiSON

I got a notif saying I got the privilege to review edits.

SteamyRoot

You'll see an orange thingy pop up next to the "review" button if suggested edits are available to review.

WiCK3D POiSON

OK Thanks.

DHMO

My program has reached n=510800000.

Akiva Weinberger

12:52

@DHMO What program?

DHMO

@AkivaWeinberger a program to solve n!=a!b!

Mahmoud

Hi.

mercio

hi

DHMO

hi

Mahmoud

Why ? @DHMO

DHMO

13:03

You have changed your question. My answer is invalidated.

Mahmoud

No, I had an error in my $\LaTeX$

DHMO

you changed from f(|x|) to f(x).

Mahmoud

$f(x)=x\, \{0\le x\le 5\}$

Alessandro Codenotti

Are you learning multivariable calculus? @akiva

Mahmoud

Now why is $f(|x|)$ defined on $[-5,5]$ ?

DHMO

13:05

@Mahmoud because the range of $|x|$ when $x \in [-5,5]$ is $[0,5]$.

Consider $|-2| = 2$.

$f(|-2|) = f(2)$ which is defined.

Mahmoud

I find that non-nonsensical, why do we add them ? Just because they give the same values ?

DHMO

You don't need to add them.

"$f(|x|)$ is defined on $[0,5]$" is also a true statement.

@wendy.krieger g'day

Akiva Weinberger

@AlessandroCodenotti Yeah. I mainly want to learn about differential forms and integration on manifolds.

wendy.krieger

'ntag

DHMO

@AlessandroCodenotti buongiorno

@wendy.krieger 'n mor'n

Alessandro Codenotti

13:08

I see, I need to learn about those too sooner or later @akiva

Hi @dhmo

wendy.krieger

tis midnight here

DHMO

@wendy.krieger 'te Nacht

@AlessandroCodenotti come stai

Akiva Weinberger

I'm going through a textbook, which so far has been mostly review for me, but not completely — and at some point it's going to get to those topics.

Alessandro Codenotti

Do you speak italian?

Mahmoud

@DHMO Desmos Automatically reflected it, even If I determined the domain of $f(x)$ before defining $f(|x|)$.

Akiva Weinberger

13:10

About a fifth of the way in.

DHMO

@Mahmoud Desmos tries every real number

wendy.krieger

i've been toying with an easter proggie again. easter by the austral.

Akiva Weinberger

@AlessandroCodenotti No, but I know Spanish, which is kind of close

DHMO

@AlessandroCodenotti un poco

Akiva Weinberger

Si hablo en español, ¿podrías entenderme?

Or is it too different?

@AlessandroCodenotti

DHMO

13:13

@AkivaWeinberger en italiano seria "Se parlo in spagnolo, puoi capirmi?"

Mahmoud

@DHMO I had a similar problem in my test today, my question involved finding the direction of change of $f(|x|)$, and I just concluded that $f(x)=f(|x|), x\in [0,5]$, but when asking my teacher after the test was finished, he said that you need to define it over $[-5,5]$, :/

DHMO

@Mahmoud stupid teacher

Mahmoud

This way domains of definition become somewhat arbitrary :/

wendy.krieger

isn't it summer holidays :o

Alessandro Codenotti

I can understand most of written Spanish because it's very similar, but some terms are different

DHMO

13:15

@AlessandroCodenotti mi espanol es muy mejor que mi italiano entonces voy a escribir en espanol esperando que tu podrias entender :p

Akiva Weinberger

@DHMO Pretty close, I guess. The main difference is the last verb.

DHMO

@AkivaWeinberger I agree

Mahmoud

I mean come on, in our problems they ask us to find the domain of definition, it CAN be anything ! I'm I getting something wrong ? @DHMO

Akiva Weinberger

("My Spanish is much better than my Italian, so I'm going to type in Spanish hoping that you can understand.")

Alessandro Codenotti

Intendere is a verb in Italian too though, with a similar meaning

DHMO

13:16

@Mahmoud well...

Akiva Weinberger

@Mahmoud You make the domain as large as you can.

DHMO

your problems are stupid

Alessandro Codenotti

Well we could also just stick to English :P

mercio

@mahmoud I think he is secretly asking for which reals $x$ does the expression $f(|x|)$ make sens

Akiva Weinberger

@Mahmoud What's the question?

DHMO

13:17

@mercio it can also be $x=3+4i$ if you didn't add the word "real"

@AkivaWeinberger no eres americano?

Akiva Weinberger

@DHMO Sí que soy

mercio

yes that's whyI said "real number"

in any case it's not a good question, we all agree on that

DHMO

@AkivaWeinberger entonces por que hablas espanol?

Akiva Weinberger

Aprendo español en la escuela

DHMO

@Mahmoud so the next time you encounter these problems, it is asking "for what real numbers x is the function defined".

@AkivaWeinberger pense que todos los americanos son monolingue xd

Mahmoud

13:19

@AkivaWeinberger $f(x)=x \, \{0 \le x\le 5\}$, find the direction of change of $f(|x|)$, but the function itself was more complicated though.

Tobias Kildetoft

@Mahmoud But if the function was only defined for non-negative reals, then taking absolute value of the argument changes nothing

DHMO

@TobiasKildetoft the point is that f(|-1|) is also defined

Mahmoud

@TobiasKildetoft Exactly,

Akiva Weinberger

@DHMO Ves tú, el problema con ese lógico es que estoy judío, y que ya era bilingüe desde cuando era muy joven, porque hablo hebreo también

(I'm sure I messed up all the grammar there)

Mahmoud

It's not clear to me how to deduce that trough logical reasoning, for that function, it's simply easy, but for more complicated ones ... Can you give me a rule that I can follow ?

Tobias Kildetoft

13:21

@DHMO Not if $f$ was not defined there

DHMO

@AkivaWeinberger I'm sure "ves tu" was a direct translation of "look at you"

robjohn

@Mahmoud Do horses use trough logical reasoning?

DHMO

and all those accents suggest that you used a translator

Akiva Weinberger

I was going for "You see" @DHMO

Mahmoud

@TobiasKildetoft So is it wrong to define $f(|x|)$ out of the domain of $f$ ?

Akiva Weinberger

13:22

@DHMO No, iPhone does it for me

DHMO

@AkivaWeinberger ah, I see

entonces eres trilingue

Tobias Kildetoft

@Mahmoud You do not define it. It has already been defined

mercio

the point is he never gave the domain of definition of $f(|x|)$

Mahmoud

@robjohn Horses ? :o

Akiva Weinberger

Bueno, no hablo con fluencia en español o hebreo, pero, sí, estoy trilingüe

DHMO

13:23

@AkivaWeinberger debes mejorar tu hebreo :p

robjohn

@Mahmoud Horses drink from troughs. It's just a bad joke at the misspelling of "through".

Tobias Kildetoft

@mercio Once you have the domain of $f$ you obviously get the same domain for the new function

mercio

??????

Akiva Weinberger

@robjohn You mean "thorough"?

DHMO

@robjohn yep. your first statement when entering this room had to be a bad joke.

3 mins ago, by Mahmoud

It's not clear to me how to deduce that trough logical reasoning, for that function, it's simply easy, but for more complicated ones ... Can you give me a rule that I can follow ?

"deduce that trough logical reasoning"

mercio

13:24

so if I define $f(x) = \arccos(x)$ for $x \in [-1 ; 1]$

Akiva Weinberger

Ahh.

mercio

and I ask a poor student to study $f(x+5)$

what should he do ?

Mahmoud

@robjohn I didn't even notice that I missspelled it :D.

Akiva Weinberger

"English is a difficult language. It can be understood through tough thorough thought, though."

Mahmoud

Oops, did it again :D

mercio

13:25

lol

Mahmoud

Misspell*

Akiva Weinberger

@Mahmoud Yeah, $f(|x|)$ is defined on $[-5,5]$.

Krijn

@AkivaWeinberger Buffalo buffalo buffalo buffalo buffalo buffalo buffalo!

Akiva Weinberger

You need a few of those capitalized @Krijn

Buffalo buffalo Buffalo buffalo buffalo buffalo Buffalo buffalo

Tobias Kildetoft

@mercio Ohh, right, of course the function is defined on the larger interval once you take absolute value

Krijn

13:26

@AkivaWeinberger :(

New try: "James while John had had had had had had had had had had had a better effect on the teacher"

Mahmoud

It's funny how the word ''Misspelled'' isn't actually misspelled, unless you misspell it of course.

Akiva Weinberger

I've seen that one, too.

@Mahmoud On the other hand, the word incorrectly is spelled incorrectly

Krijn

@AkivaWeinberger I'll throw in a dutch one then: Als in Bergen bergen bergen bergen bergen bergen, bergen bergen bergen bergen bergen.

Which translates to: If in the city of Bergen a lot of mountains hide a lot of mountains, then a lot of mountains hide a lot of mountains

Akiva Weinberger

¿Cómo como? Como como como

DHMO

@AkivaWeinberger How do I eat? I eat like I eat.

Mahmoud

13:30

The word ''blue'' isn't actually $\color{blue}{Blue}$, or is it ? Same goes for ''huge'' , or is it $\huge{\displaystyle{\text{HUGE}}}$ ? :D

Akiva Weinberger

Pentasyllabic is pentasyllabic

DHMO

@AkivaWeinberger do you know any Hebrew variant?

Akiva Weinberger

No.

Mahmoud

Good one @AkivaWeinberger

$\displaystyle{\text{Spanish}}$ Isn't a Spanish word.

Krijn

You are getting close to Russel's paradox

Mahmoud

13:33

How is that ? @Krijn

Akiva Weinberger

If normal means it does not describe itself,

and abnormal means it does describe itself,

is normal normal?

Krijn

@Akiva got this

DHMO

@AkivaWeinberger we have a word for it

Krijn

So I'll resume watching my lecture

DHMO

it's called heterological

Akiva Weinberger

13:35

Ah, right.

DHMO

And I learnt it from VSauce.

Akiva Weinberger

OK, so, autological means it describes itself (pentasyllabic, etc.)

DHMO

yes

Mahmoud

@DHMO Me too ''What is normal ?''

Akiva Weinberger

and heterological means it doesn't (German, etc.)

Tobias Kildetoft

13:35

@AkivaWeinberger So cohomological means...?

Akiva Weinberger

Sorry, I meant autological.

Tobias Kildetoft

ahh, a shame

Akiva Weinberger

The question is, is heterological heterological.

DHMO

@AkivaWeinberger you should talk to @Mahmoud to see how similar Hebrew and Arabic are lol

Akiva Weinberger

I know

DHMO

13:37

in Hebrew name is sh-m

in Arabic name is s-m

Krijn

Aren' they both semitic languages?

DHMO

yes

Mahmoud

The word $\displaystyle{\text{Infinite}}$ is heterological.

DHMO

@Krijn the word "semitic", of course, comes from the same word as described above.

Krijn

There's a good video on Langfocus about the similarity

Akiva Weinberger

13:38

Chaver <-> Habibi

@DHMO Really? Never knew that.

Mahmoud

Nice.

DHMO

@AkivaWeinberger it is from the biblical character Shem

which means name

Mahmoud

Ok, bye, school time $\displaystyle{\text{:/}}$

DHMO

A bit of difference is that Hebrew uses ha- while Arabic uses al-

Akiva Weinberger

Also, lechem is Hebrew for bread and Arabic for meat, for some reason.

DHMO

13:41

@Mahmoud fi amanillah

Krijn

@AkivaWeinberger Why would you drink bread?

DHMO

> The semantic development in Arabic is due to the different agriculture and diet of the Arabian peninsula vis-à-vis the Fertile Crescent.

Krijn

That was my first ever Hebrew pun and I don't care how bad it was

DHMO

@Krijn what does it mean?

Akiva Weinberger

@Krijn I don't get it

Krijn

13:44

The Big Bang Theory - Drunk Sheldon (L'Chaim To Life)

►

Akiva Weinberger

Ah, OK, lechem sounds like l'chayim

Krijn

:D

Akiva Weinberger

לחם vs. לחיים

DHMO

@AkivaWeinberger do you guys say "ba" for "be" + "ha"?

Akiva Weinberger

Yep.

DHMO

13:46

do you write it differently than "be"?

Akiva Weinberger

No. (I'm not a native Hebrew speaker; I'm also confused by this)

DHMO

interesting.

can you conjugate a verb?

Akiva Weinberger

Like, me, specifically?

I guess?

DHMO

yes

Akiva Weinberger

Depends on the verb?

DHMO

13:48

what do you mean?

Akiva Weinberger

There's a lot of different types of verbs. I might not remember how a certain type does the future tense, for example

(I'm bad at the future tense)

DHMO

do you have different conjugations for different persons?

Secret

[Abstract algebra] whenever you saw a triple popping up in an associative law e.g. $aaa$, and that all products of $a$ and/or products that result in $a$ are defined, then you know that something related to $a$ commutes in the structure

Akiva Weinberger

In past and future tenses, you conjugate for gender, person, and number. In present tense, you only conjugate for gender and number.

DHMO

@AkivaWeinberger I see

You have 7 types of verbs right

Akiva Weinberger

13:52

Yeah

DHMO

Tough.

Although Spanish has more types lol

Akiva Weinberger

But also if there are certain letters in the verb the conjugation can change.

@DHMO Spanish only has three, doesn't it?

-ar, -er, -ir

DHMO

@AkivaWeinberger of course not lol

those are three endings

not three types

e.g. venir is a whole new type

Akiva Weinberger

Right, that's irregular verbs, those don't count

DHMO

Does Hebrew have irregular verbs?

@AkivaWeinberger according to your standard, many verbs won't be counted

Have fun uttering one sentence without irregular verbs

Akiva Weinberger

13:55

@DHMO I guess the thing where certain letters appear in certain places counts as irregular

DHMO

can you elaborate on "certain letters"?

Akiva Weinberger

Aleph, Heh, Chet, Ayin

DHMO

how do you even distinguish between aleph and ayin

Akiva Weinberger

And Yud also

@DHMO Most people don't pronounce a difference. You need to memorize the spelling.

DHMO

tough.

Akiva Weinberger

13:56

But some accents have them pronounced differently

Arabic also preserves the distinction

DHMO

also, bet and vau

Akiva Weinberger

*vav

Yeah. And Tet and Taf

And Chet and Chaf

DHMO

just like "b" and "v" in Spanish

Akiva Weinberger

And Sin and Samech

The interesting thing is that Chaf and Kaf are one letter, which means sometimes it's pronounced the same as Chet and sometimes it isn't

Same with Sin and Shin

DHMO

ווווווווו = uvuvwevwevwe

Akiva Weinberger

13:58

and Bet and Vet

"Wev"?

DHMO

uvuvwevwevwe onyetenyevwe ugwemubwem ossas (say my name)

►

Transcript for

$Mathematics$ Mathematics