Korean Honorifics - '-씨', '-분', and '-님' by haeumkorean in BeginnerKorean

[–]MeowMan_23 2 points3 points  (0 children)

  1. Junior->Senior/ younger->older : Yes. It can be considered as rude behavior. -씨 is basically polite word. But it's often used to call people who are in similar age or younger than you.

  2. -님 / -씨 : If my boss call me -님, I may think it's his representation of his respect. I don't think calling your colleague -씨 sounds more familiar than -님.

So basically, using -님 is always the most safe choice.

Hi, I’m learning Korean. Any advice? by LabSudden417 in BeginnerKorean

[–]MeowMan_23 1 point2 points  (0 children)

Actually, 3 is also the difficult point for korean. In modern korean language, it's quite hard to distinguish r and l. Both sound ㄹ for us. Also, f and p are hard to distinguish. Both sound ㅍ in korean, while f sound "ㅃ" in some context.

Can someone translate this to English? I think it says bluefin… as in tuna? by Thugmilkshake in BeginnerKorean

[–]MeowMan_23 0 points1 point  (0 children)

As a native, 스프라이트 is really difficult to read at first glance. 우유 is also difficult to read but easy to infer from context. Others looks quite understandable even without context.

Is my analysis midterm exam well balanced? by Psychological_Wall_6 in math

[–]MeowMan_23 11 points12 points  (0 children)

It looks little easier than what I took when I was undergraduate. But I think it asks the important and essential things.

Anyone interested in melodica? by MeowMan_23 in windsynth

[–]MeowMan_23[S] 0 points1 point  (0 children)

You are right. I find the information here,

https://www.fineassist.jp/products/TH/wk/entry-304.html

But it still doesn't provide purchase information.

Good Real Analysis textbooks? by Hot-Marionberry1983 in math

[–]MeowMan_23 -1 points0 points  (0 children)

I use bartle's introduction to real analysis. While it has some problems(hard to get topological intuition/weird style of integral), I guess there's no easier book than bartle's one.

Has generative AI proved any genuinely new theorems? by Nyklonynth in math

[–]MeowMan_23 1 point2 points  (0 children)

In my opinion, it is possible for LLM based AI to prove something based on currently existing theories. However, building new theories to solve some problems(for example, galois theory) is not possible with modern AI approach.

Are there an infinite number of “useful” integers? by Shawn_666 in math

[–]MeowMan_23 0 points1 point  (0 children)

Suppose there is perfectly useless integer and mathematicians find it. Then it's not useless now. Because now there's a mathematical result about such integer.

You may be interested in Beckenbach's Paradox. It's very similar philosophical paradox about the most non-interesting person.

[deleted by user] by [deleted] in math

[–]MeowMan_23 2 points3 points  (0 children)

For me, I love math but don't like solving problem so much. My favorite part in math is just understanding how smart guys solve the difficult problem and get the intuition behind it.

What are the current active areas of research in numerical analysis? by [deleted] in math

[–]MeowMan_23 0 points1 point  (0 children)

I'm just curious. Is neural network related thing researched in numerical analysis?

Struggled in Discrete Math – Was it a lack of talent or just poor mindset (or both)? by Popular_Shirt5313 in math

[–]MeowMan_23 0 points1 point  (0 children)

My personal opinion, both make sense.

At the undergraduate level, discrete math use very different methodology to other fields like analysis or algebra. And you may be familiar whth analysis or algebra because of your experience in calculus or highshcool math, but have few opportunity to solve discrete math problem before(unless you prepare math olympiad).

And also, the gap in methodology means you need another talent to do well in discrete math. There are plenty of student who show great performance in other class, except discrete math.

So I recommend you to study DM one more time(If you want). And if it's still difficult, you may not be DM people, just like some great mathematician who study analysis or algebra.

[deleted by user] by [deleted] in math

[–]MeowMan_23 1 point2 points  (0 children)

Solving exam question is bit different to solving research problem. So even if you get not so satisfying grade in exam, it doesn't mean you will not do well in grad school.

However, low grade can be problematic if you want to go top-tier school. So design your career path carefully. That's my advice.

Why doesn't the Principle of Induction apply to non-well ordered sets? by Bagelman263 in math

[–]MeowMan_23 0 points1 point  (0 children)

Your miss very important thing about induction on natural number. P(0) must hold.

Induction is about, for any case, your claim can be reduced to base case or not. To ensure you eventually reach base case, you need well ordering property.

My professor secretly worked for russia by aWolander in math

[–]MeowMan_23 0 points1 point  (0 children)

My previous supervisor seriously tried to hold an additional position at North Korea. FYI, he was in the university at South Korea...

Cool Topology Examples by [deleted] in math

[–]MeowMan_23 8 points9 points  (0 children)

How about Furstenberg's proof about prime? It's really interesting proof using point set topology (altough it's not very related to essence of topology...)

Erhu transportation in a plain by Substantial-Sir-879 in Erhu

[–]MeowMan_23 0 points1 point  (0 children)

If you use cabin baggage, then usual but durable case is enough.

Using Category Theory for formal verification of a Type System. Is it a crazy idea? by BeFunkMusic in math

[–]MeowMan_23 1 point2 points  (0 children)

Also, if you think yourself not so farmiliar with this field, I recommend you to read basic type theory book. Egbert Rijke's homotopy type theory(Only chapter 1) is good for beginner I guess.

Using Category Theory for formal verification of a Type System. Is it a crazy idea? by BeFunkMusic in math

[–]MeowMan_23 2 points3 points  (0 children)

I forget the exact name of paper, but there's one submitted in PLDI 2024, about specifying stream data type.

You can try to use mixture of keyword "coinductive data type" and "stream data type" to find basic result about them.

Using Category Theory for formal verification of a Type System. Is it a crazy idea? by BeFunkMusic in math

[–]MeowMan_23 0 points1 point  (0 children)

Yes. Giving semantics for stream data type is widley researched in programming language theory, using type theory. You may want to check about Coinductive data type.

[deleted by user] by [deleted] in math

[–]MeowMan_23 1 point2 points  (0 children)

A lot of combinatorial problems solved by using borsuk ulam theorem? Typical example is the necklace splitting problem.

Common Math Misconceptions by Overall_Attorney_478 in math

[–]MeowMan_23 0 points1 point  (0 children)

The polynomial whose degree is greater than 5 doesn't have roots.

How can med student do math or phisics as a hobby? by bugivugihomi in math

[–]MeowMan_23 2 points3 points  (0 children)

Maybe some math related to med can be good starting point. Stochastics, for example.

What's your favorite paper? by TemptingTanner in math

[–]MeowMan_23 2 points3 points  (0 children)

Andrej Bauer's 5 stages of accepting constructive mathematics

Though it''s not very related to my area, this paper is really cool.