/sci/ - Science & Math » Thread #12097896

275KiB, 900x900, 1593978017662.png

View Same Google iqdb SauceNAO

/mg/ - Math General

Anonymous Tue 08 Sep 15:13:45 2020 No.12097896 View Reply Original Report

Quoted By: >>12097908 >>12097914 >>12097917 >>12097919 >>12098143 >>12099925 >>12099930 >>12105720 >>12106365 >>12107549 >>12109441 >>12111249

Old at bump limit.

So I'm taking analysis 3 next semester and I wanna review analysis 1 and 2 before starting. Analysis 1 and 2 was rudin chapters 1 thru 7. Analysis 3 is going to be multivar.
What should I focus on in my review?

Also, I'm taking a class into formal linear Algebra but I haven't taken Linear Algebra before, where should I start reading so that I don't get rekt in this class?

Anonymous

Anonymous Tue 08 Sep 2020 15:16:17 No.12097908 Report

Quoted By: >>12097945

>>12097896
This will not be /mg/
Try again

Summer<3 !A4jsQTgi.Q

Summer<3 !A4jsQTgi.Q Tue 08 Sep 2020 15:16:26 No.12097910 Report

Quoted By: >>12099173

https://www.mathtrainer.org/

Do math trainer and learn your multiplication tables, then learn division, then learn every operation with a base 10. Soon you will have superpowers and will be able to fly.

Anonymous

Anonymous Tue 08 Sep 2020 15:17:10 No.12097914 Report

Quoted By:

>>12097896
learn how to make the thread properly you fucking dope

Anonymous

Anonymous Tue 08 Sep 2020 15:17:59 No.12097917 Report

Quoted By:

>>12097896
pic made me laugh. lol

Anonymous

View Same Google iqdb SauceNAO ignorePhysicists.png, 2MiB, 1204x914

Anonymous Tue 08 Sep 2020 15:18:52 No.12097919 Report

Quoted By: >>12097937 >>12097938 >>12105154

>>12097896
threadly reminder to ignore physicists

Summer<3 !A4jsQTgi.Q

Summer<3 !A4jsQTgi.Q Tue 08 Sep 2020 15:25:12 No.12097937 Report

Quoted By:

>>12097919
https://www.mathfluency.com/

Mufuggin multiplication tables n fractsheens

Anonymous

Anonymous Tue 08 Sep 2020 15:25:29 No.12097938 Report

Quoted By:

>>12097919
Based

Anonymous

Anonymous Tue 08 Sep 2020 15:27:59 No.12097945 Report

Quoted By: >>12098163 >>12098173

>>12097908
Why not? Try what?

Anonymous

Anonymous Tue 08 Sep 2020 15:54:50 No.12098047 Report

Quoted By: >>12099506 >>12104514

In Qing Liu's Algebraic Geometry and Arithmetic Curves, exercise 2.5.6 asks to prove that in a noetherian ring, if x is a regular element and $\mathfrak{p}$ is a prime ideal containing x that is minimal among those prime ideals that contain x, then $ht(\mathfrak{p}) = 1$ .
Now, the height of p is either 0 or 1 because of the Principal Ideal theorem, so it's enough to prove that p is not a minimal prime ideal.
But that would mean that minimal prime ideals in noetherian rings contain only nilpotent elements, and that doesn't seem right, since the nilradical is the intersection of all prime ideals (and noetherian rings can have more than one minimal prime ideals if I'm not mistaken).

Does anyone see where I'm wrong?

Anonymous

Anonymous Tue 08 Sep 2020 16:26:24 No.12098131 Report

Quoted By:

There's nothing wrong with applied math.

Anonymous

Anonymous Tue 08 Sep 2020 16:30:32 No.12098143 Report

Quoted By: >>12098218 >>12101044 >>12102355

>>12097896
Last thread was absolutely shambolic. Almost no discussion of actual mathematics at all.
Here's a problem for anyone who actually wants some maths posted:
Suppose $p(z)$ is an $n$ th degree polynomial with two of its zeros at $z=\pm1$ - show that $p'(z)$ must have a zero somewhere in the region $|z|\leqslant\cot\pi/n$

Anonymous

Anonymous Tue 08 Sep 2020 16:40:00 No.12098163 Report

Quoted By: >>12098173 >>12098211

>>12097945
Didn't link to old one and asked a question in op

Anonymous

Anonymous Tue 08 Sep 2020 16:44:16 No.12098173 Report

Quoted By: >>12098211

>>12097945
what >>12098163 said, (previous >>12081118)
you also didn't explain what /mg/ stands for (should be included in your post, not just the
subject), and we have no idea which edition this is (because you didn't pick one).

Basically you broke every possible rule for starting a /mg/ thread

Anonymous

Anonymous Tue 08 Sep 2020 16:54:10 No.12098195 Report

Quoted By: >>12098501

Can I get a recommendation for books or internet resources synthetic geometry beyond Euclid's Elements? I've already done most of them and it's very fun.

Anonymous

Anonymous Tue 08 Sep 2020 17:00:31 No.12098211 Report

Quoted By: >>12098224 >>12098228 >>12098966

>>12098163
>>12098173
If you wanna have gay ass "rules" you can fuck off back to pleddit or tumblr or whatever shitty website of your choosing.

Anonymous

Anonymous Tue 08 Sep 2020 17:02:11 No.12098218 Report

Quoted By: >>12098227 >>12102355

>>12098143
Hmm seems like something you solve using residue theorem, how far off am I?

Anonymous

Anonymous Tue 08 Sep 2020 17:03:23 No.12098224 Report

Quoted By: >>12098234

>>12098211
Don't bring this newfag shit here. The OP was bad, so just shut the fuck up and lurk for a bit instead of trying to change 4chan to suit you.

Anonymous

Anonymous Tue 08 Sep 2020 17:05:13 No.12098227 Report

Quoted By: >>12098243

>>12098218
That's one way you could attack it. You just have to come up with a way to get the correct bound (it can be shown the bound is sharp).

Anonymous

Anonymous Tue 08 Sep 2020 17:05:27 No.12098228 Report

Quoted By:

>>12098211
Shut up, reddit.

Anonymous

Anonymous Tue 08 Sep 2020 17:06:32 No.12098234 Report

Quoted By: >>12098240 >>12098398 >>12105797

>>12098224
Dude the OP being bad has literally no effect other than making some of you cry about it.
It's correctly titled and that's pretty much all that matters. Chill out dude

Anonymous

Anonymous Tue 08 Sep 2020 17:08:09 No.12098240 Report

Quoted By: >>12098252

>>12098234
lurk

Anonymous

Anonymous Tue 08 Sep 2020 17:08:32 No.12098243 Report

Quoted By: >>12098248

>>12098227
I'm sorry, mi knowledge in complex analysis is limited by what I was taught in the complex calc class I took for my EE degree (currently working in my math degree).
So what does it mean for a bound to be sharp?

Anonymous

Anonymous Tue 08 Sep 2020 17:11:17 No.12098248 Report

Quoted By: >>12098270

>>12098243
An inequality being sharp means it's not possible to get a better approximation.
E.g. here it means the theorem is not true if we had $|z|\leqslant\cot\pi/n-\varepsilon$ for any $\varepsilon>0$ .

Anonymous

Anonymous Tue 08 Sep 2020 17:13:33 No.12098252 Report

Quoted By:

>>12098240
This.

Anonymous

Anonymous Tue 08 Sep 2020 17:21:52 No.12098270 Report

Quoted By:

>>12098248
Hmm thats pretty interesting.

Btw does Banach's contraction theorem generalize to complex functions? I suppose it does as the original formulation is done regarding general metric spaces right?

Anonymous

Anonymous Tue 08 Sep 2020 17:46:42 No.12098341 Report

Quoted By:

Anyone have any good recommendations for a books on group theory with some tricky/interesting problems?

Anonymous

Anonymous Tue 08 Sep 2020 18:06:16 No.12098398 Report

Quoted By: >>12098508

>>12098234
Not having a Backlink is pretty annoying tbqh, on good mg's you can answer questions 5 days later

Anonymous

Anonymous Tue 08 Sep 2020 18:23:01 No.12098464 Report

Quoted By: >>12098594 >>12098607 >>12098789

Let $S=\{\sqrt{p}: p \text{ is prime }\}$ . How do I show that $\mathbb{Q}(S)$ isn't a finite extension? I tried showing that the tower of extensions at each point has degree two but for this I need to show that $x^2-p$ is irreducible at the previous field and this is where I'm stuck

Anonymous

Anonymous Tue 08 Sep 2020 18:34:09 No.12098501 Report

Quoted By:

>>12098195
Geometry revisited
EGMO - Evan Chen, maybe
Not sure what your goals are

Anonymous

Anonymous Tue 08 Sep 2020 18:35:35 No.12098508 Report

Quoted By:

>>12098398
This is valid. Should've posted the backlink

Anonymous

Anonymous Tue 08 Sep 2020 18:56:54 No.12098594 Report

Quoted By: >>12098600

>>12098464
How isn't the irreducibility trivial from the definition of a prime number? Am I just missing something here?

Anonymous

Anonymous Tue 08 Sep 2020 18:58:33 No.12098600 Report

Quoted By: >>12098606

>>12098594
asterix, you people are very easy to get trap on math

Anonymous

Anonymous Tue 08 Sep 2020 18:59:34 No.12098601 Report

Quoted By:

>undergrad faggot retards are making /mg/
>can’t even link the old thread
L O L

Anonymous

Anonymous Tue 08 Sep 2020 19:00:36 No.12098606 Report

Quoted By: >>12098713

>>12098600
Well do explain what the challenge is here.

Anonymous

Anonymous Tue 08 Sep 2020 19:00:38 No.12098607 Report

Quoted By:

>>12098464
it would suffice to give infinitely many distict automorphisms in the galois group over Q

Anonymous

Anonymous Tue 08 Sep 2020 19:32:54 No.12098703 Report

Quoted By: >>12098708 >>12098723

I'm trying to prove the estimate $\left(\frac{\pi}{\epsilon}\right)^{N/2}e^{-{x}^2/4\epsilon}\leq\left(\frac{2\pi N}{\delta^2}\right)^{N/2}e^{-x^2/4}$ for $\epsilon ,\delta\in(0,1)$ , $N\in\mathbb{N}$ and $|x|\geq\delta$ . I get that this is equivalent to proving $\frac{\epsilon 2N}{1-\epsilon}\ln\left(\frac{\delta^2}{2N\epsilon}\right)\leq \delta^2$ but then When trying to find a maximum of the expression in the left wrt to $\epsilon$ I get to an equation only solvable by the lambert W and everything becomes a bit of a mess. What I really want is to prove that the integral of the family of gaussians converge to 0 at any neighborhood $|x|\geq 0$ by using dominated convergence and the uniform bound I proposed I got by just fucking around lol. If anyone knows a better bound that would also work. Plz help this little things are stopping me from finishing my thesis.

Anonymous

Anonymous Tue 08 Sep 2020 19:33:56 No.12098708 Report

Quoted By:

>>12098703
at any neighborhood $|x|\geq\delta$

Anonymous

Anonymous Tue 08 Sep 2020 19:36:19 No.12098713 Report

Quoted By: >>12100654

>>12098606
Lateral thinking, many equations have the same results, find the result and change the equation.

Anonymous

Anonymous Tue 08 Sep 2020 19:38:26 No.12098723 Report

Quoted By: >>12098746

>>12098703
What's your thesis on?

Anonymous

Anonymous Tue 08 Sep 2020 19:47:29 No.12098746 Report

Quoted By: >>12098936 >>12098947

>>12098723
I'm just filling all the details in an article about a rigorous construction of the feynman path integral. This particular construction uses oscillatory integrals and these are defined as limits of integrals of Schwartz functions so I'm just trying to find the value of a particular one.

Anonymous

Anonymous Tue 08 Sep 2020 20:00:35 No.12098789 Report

Quoted By:

>>12098464
have you tried googling "square root of primes linearly independent over Q"

Anonymous

Anonymous Tue 08 Sep 2020 20:41:52 No.12098936 Report

Quoted By:

>>12098746
can you post the paper - sounds interesting

Anonymous

View Same Google iqdb SauceNAO riowater.jpg, 2KiB, 125x82

Anonymous Tue 08 Sep 2020 20:47:09 No.12098947 Report

Quoted By: >>12099047

https://mally.stanford.edu/Papers/structuralism.pdf

>>12098746
can you post the paper - sounds interesting

Anonymous

View Same Google iqdb SauceNAO 1571047422346.png, 286KiB, 3400x2300

Anonymous Tue 08 Sep 2020 20:53:22 No.12098966 Report

Quoted By: >>12100027

>>12098211

Anonymous

Anonymous Tue 08 Sep 2020 21:09:25 No.12099047 Report

Quoted By: >>12099088

>>12098947
https://arxiv.org/abs/0809.4112 It requires a lot of regularization but for QED there isn't much really.

Anonymous

Anonymous Tue 08 Sep 2020 21:18:51 No.12099088 Report

Quoted By: >>12099112

>>12099047
Okay, thanks.
I donno, there's something about that guys writing style that I don't like

Summer<3 !A4jsQTgi.Q

View Same Google iqdb SauceNAO image.jpg, 3MiB, 4032x3024

Summer<3 !A4jsQTgi.Q Tue 08 Sep 2020 21:26:38 No.12099112 Report

Quoted By: >>12099155

>>12099088

Anonymous

Anonymous Tue 08 Sep 2020 21:26:46 No.12099114 Report

Quoted By: >>12099134 >>12099184 >>12102184

Is there a lot of grade inflation in grad school versus undergrad? My professor basically said "nobody will fail this class unless you do not submit problem sets / exams".

Is the assumption that the students are now all of sufficient quality to easily pass? Or is it just that otherwise poor students are inflated to a C?

Anonymous

Anonymous Tue 08 Sep 2020 21:33:51 No.12099134 Report

Quoted By: >>12099147

>>12099114
Grad school is like whose line is it anyway. Everythings made up and the grades don't matter.

Summer<3 !A4jsQTgi.Q

Summer<3 !A4jsQTgi.Q Tue 08 Sep 2020 21:38:21 No.12099147 Report

Quoted By: >>12099151 >>12099155

>>12099134
Did /mg/ ever find out a way to explain infentesimals to a 5th grader?

Anonymous

Anonymous Tue 08 Sep 2020 21:39:09 No.12099151 Report

Quoted By: >>12099154

>>12099147
Yea, just tell them they don't exist

Summer<3 !A4jsQTgi.Q

Summer<3 !A4jsQTgi.Q Tue 08 Sep 2020 21:39:42 No.12099154 Report

Quoted By:

>>12099151
lol

Anonymous

Anonymous Tue 08 Sep 2020 21:40:03 No.12099155 Report

Quoted By: >>12099231

>>12099112
erm okay

>>12099147
mg is not for kids tutors tho

Anonymous

Anonymous Tue 08 Sep 2020 21:48:02 No.12099173 Report

Quoted By:

>>12097910
Tried this and my wings already started to grow

Anonymous

Anonymous Tue 08 Sep 2020 21:50:31 No.12099184 Report

Quoted By: >>12099233 >>12099274 >>12104089

>>12099114
If you get a C in grad school you're on thin fucking ice for getting kicked out. Hell, even in undergrad you basically only give a C when the student would've failed 50 years ago. If you fail a class now you don't have a pulse or literally never showed up.

Anonymous

View Same Google iqdb SauceNAO spivak.png, 51KiB, 847x122

Anonymous Tue 08 Sep 2020 21:58:41 No.12099222 Report

Quoted By: >>12099258

Why is he such a procrastinator? Just like the average /sci/ poster.

Summer<3 !A4jsQTgi.Q

Summer<3 !A4jsQTgi.Q Tue 08 Sep 2020 22:01:52 No.12099231 Report

Quoted By: >>12099294

>>12099155
Teaching is the most honorable profession

Anonymous

Anonymous Tue 08 Sep 2020 22:02:04 No.12099233 Report

Quoted By: >>12099252

>>12099184
>American education
Tons and tons of people failed until kicked the fuck out at my uni, and this was in engineering lol

Summer<3 !A4jsQTgi.Q

View Same Google iqdb SauceNAO image.jpg, 3MiB, 4032x3024

Summer<3 !A4jsQTgi.Q Tue 08 Sep 2020 22:05:35 No.12099252 Report

Quoted By: >>12099294

>>12099233

Anonymous

Anonymous Tue 08 Sep 2020 22:06:46 No.12099258 Report

Quoted By: >>12099306

>>12099222
nice digits, I hate fags like spivak tho. They make math more accessible.

Anonymous

Anonymous Tue 08 Sep 2020 22:11:58 No.12099274 Report

Quoted By: >>12104089

>>12099184
I thought anything under an A- in grad school was basically tantamount to failing.

Anonymous

Anonymous Tue 08 Sep 2020 22:16:17 No.12099294 Report

Quoted By: >>12099301

>>12099231
okay, but still, I don't want to skim though trig on mg

>>12099252
what you be tellin me

Summer<3 !A4jsQTgi.Q

Summer<3 !A4jsQTgi.Q Tue 08 Sep 2020 22:17:29 No.12099301 Report

Quoted By:

>>12099294
Squares be magic

Anonymous

Anonymous Tue 08 Sep 2020 22:17:51 No.12099306 Report

Quoted By: >>12099316 >>12099536

>>12099258
Not sure what you mean by that but it is a very strange textbook. He talks about trivial things and then gives complicated problems such as prove this and prove that which he doesn't explain how to approach and none of these problems are directly related to the material he briefly covered in the chapter. He is not the only one who does that. It is as if these kinds of books are to be used as a reference only when one studies with a tutor or something. They aren't any good for self study.

Anonymous

Anonymous Tue 08 Sep 2020 22:20:58 No.12099316 Report

Quoted By:

>>12099306
t. 120 iq that almost majored in math

Anonymous

View Same Google iqdb SauceNAO 7.3 Corollary.png, 16KiB, 551x80

Anonymous Tue 08 Sep 2020 22:58:29 No.12099432 Report

Quoted By: >>12099526 >>12099780

In (b), what is meant by 'formula' and 'derivable'?

Anonymous

Anonymous Tue 08 Sep 2020 23:16:39 No.12099506 Report

Quoted By: >>12100888

>>12098047
>But that would mean that minimal prime ideals in noetherian rings contain only nilpotent elements
Not really, it just means that minimal prime ideals contain only zero divisors

Anonymous

Anonymous Tue 08 Sep 2020 23:25:28 No.12099526 Report

Quoted By: >>12099641

>>12099432
Why don't you share what you're reading for more context? What is Con here?

Anonymous

Anonymous Tue 08 Sep 2020 23:28:30 No.12099536 Report

Quoted By:

>>12099306
I thought Spivak was thought to be pretty good for self study though. It's somewhat gentle and has a solution manual

Anonymous

Anonymous Wed 09 Sep 2020 00:01:18 No.12099641 Report

Quoted By: >>12099718

>>12099526
Con? implies that a given set of formulas ? is consistent. A formula ? is a 'certain string' over a set of symbols. This certain string is obtained by following certain rules. For example, given a symbol set {a, b, c, +, =}, you would want something like a + b = c to be a formula, rather than something like = a +.
If a set of formulas ? is consistent, then it's not inconsistent (lol) thus it is not true that both a formula ? and its negation ~? can follow from ?. That's the gist of it, anyway. There's a lot more to it than that. If you want to know more, the book is called "Mathematical Logic" by Ebbinghaus et al.

The problem I am running into is how can there be a formula that is not derivable when formulas are formulated by derivation? Maybe there is something I am misunderstanding

Anonymous

Anonymous Wed 09 Sep 2020 00:23:04 No.12099718 Report

Quoted By: >>12099726

>>12099641
>how can there be a formula that is not derivable when formulas are formulated by derivation?

I see. Formulas are jusy strings which follow certain rules. There could be a formula which does not follow from a specified set of "axioms", even though it is a valid formula.

Anonymous

Anonymous Wed 09 Sep 2020 00:26:19 No.12099726 Report

Quoted By: >>12099754

>>12099718
To give an example, you might take the theory of semigroups, which has an axiom (xy)z?x(yz). The formula xy?yx is a valid formula, unlike something meaningless like ??xy(?(z, but you can't derive it from the associative law.

Anonymous

Anonymous Wed 09 Sep 2020 00:35:00 No.12099754 Report

Quoted By: >>12099780

>>12099726
That really throws a wrench in things. How do you know xy?yx is valid then? just cuz?

Anonymous

Anonymous Wed 09 Sep 2020 00:39:24 No.12099769 Report

Quoted By:

>The Summer of Corona killed /mg/
feels bad man

Anonymous

Anonymous Wed 09 Sep 2020 00:44:46 No.12099780 Report

Quoted By: >>12099826 >>12099849

>>12099754
xy=yx is not valid in the theory of groups. The other anon is using 'valid' wrong. xy=yx is a well formed formula not valid, the group of real 2x2 matrices under matrix multiplication is an example of a group for which xy=yx is not true. Valid in logic means true in all models.
>>12099432
Godels second incompleteness says that the sentence con(PA) is independent of PA, thus if PA proved (or derived) con(PA), that is there is a finite sequence of forumulas with con(PA) being the last and each sucessive one is arrived at using a rule of inference, then PA would be inconsistent. A theory is inconsistent if it proves every sentence, thus this corrollary says that PA is consistent iff PA does not prove con(pA).

Anonymous

Anonymous Wed 09 Sep 2020 00:59:46 No.12099826 Report

Quoted By:

>>12099780
Oh, I see. Thanks a lot! That clarifies things.

Anonymous

Anonymous Wed 09 Sep 2020 01:06:14 No.12099849 Report

Quoted By:

>>12099780
>The other anon is using 'valid' wrong.
Whoops, I'm a budding algebraist so the logic terminology is still new to me, although I obviously understood what was meant here. Glad to see someone with a logic background showed up to help out! :)

Anonymous

Anonymous Wed 09 Sep 2020 01:11:49 No.12099866 Report

Quoted By: >>12099872

How do you define area?

Anonymous

Anonymous Wed 09 Sep 2020 01:13:23 No.12099872 Report

Quoted By: >>12099879 >>12099883

>>12099866
https://en.wikipedia.org/wiki/Measure_(mathematics)

Anonymous

Anonymous Wed 09 Sep 2020 01:16:42 No.12099879 Report

Quoted By: >>12099887 >>12099909

>>12099872
What are the minimum requirements to get into measure theory?

Anonymous

Anonymous Wed 09 Sep 2020 01:17:36 No.12099883 Report

Quoted By: >>12099909

>>12099872
Warning: In order to use this concept for the "usual" version of area you need to already know the formula for the area of a rectangle, so it's not entirely fundamental in the sense that it would explain why that formula holds.

Anonymous

Anonymous Wed 09 Sep 2020 01:18:39 No.12099887 Report

Quoted By:

>>12099879
Undergraduate analysis, mathematical maturity. Topology might help.

Anonymous

Anonymous Wed 09 Sep 2020 01:24:27 No.12099909 Report

Quoted By:

>>12099879
Basic analysis, depends on the book.
>>12099883
You need to at least take as an axiom that the unit square has area 1.

Anonymous

Anonymous Wed 09 Sep 2020 01:29:30 No.12099925 Report

Quoted By: >>12099979 >>12100049

>>12097896
Wow, small penis energy that they break up (baby) Rudin into three courses. Jesus, Gen-Z has it so easy.

Anonymous

View Same Google iqdb SauceNAO mathematics is not worthwhile.png, 1MiB, 1239x1758

Anonymous Wed 09 Sep 2020 01:31:32 No.12099930 Report

Quoted By: >>12100022

>>12097896

Anonymous

Anonymous Wed 09 Sep 2020 01:48:24 No.12099979 Report

Quoted By:

>>12099925
zoomers won't even have to take exams or qualifiers in the future. clown world

Anonymous

Anonymous Wed 09 Sep 2020 02:02:02 No.12100022 Report

Quoted By:

>>12099930
Based Uncle Ted.

Anonymous

View Same Google iqdb SauceNAO redditor .png, 96KiB, 491x567

Anonymous Wed 09 Sep 2020 02:03:15 No.12100027 Report

Quoted By: >>12100045

>>12098966
t.

Anonymous

Anonymous Wed 09 Sep 2020 02:09:51 No.12100045 Report

Quoted By:

>>12100027
>t. newfag probably from reddit

Anonymous

Anonymous Wed 09 Sep 2020 02:11:51 No.12100049 Report

Quoted By: >>12101049

>>12099925
omg dude you had it so hard, youre so incredibly smart and talented i cant even!

Anonymous

Anonymous Wed 09 Sep 2020 06:35:30 No.12100654 Report

Quoted By:

>>12098713
shut up faggot

Anonymous

Anonymous Wed 09 Sep 2020 08:13:20 No.12100888 Report

Quoted By:

>>12099506
Ah shit, you're right. Somehow I got confused with reduced rings where 0 is the only nilpotent element and thought a regular element was just a non nilpotent element.
Cheers!

Anonymous

Anonymous Wed 09 Sep 2020 09:38:27 No.12101044 Report

Quoted By: >>12102355

>>12098143
Interesting bound. I'm thinking this has something to do with $\cot\pi/n$ being the radius of the incircle of a regular $n$ -gon, but I could be way way off here.

Anonymous

Anonymous Wed 09 Sep 2020 09:40:59 No.12101049 Report

Quoted By:

>>12100049
He's right, mathematics courses are lowering their standards hard and it looks a lot like what's in the OP

Anonymous

Anonymous Wed 09 Sep 2020 10:55:00 No.12101192 Report

Quoted By: >>12101654 >>12101695

Can someone help me understand why Presburger arithmetic can't include multiplication for it to be decidable? Is that a general rule, that multiplication makes your axioms undecidable?

Anonymous

Anonymous Wed 09 Sep 2020 12:38:28 No.12101357 Report

Quoted By: >>12101359

Hey you stupid fucking mathematician cunts would it fucking kill you to write out a goddamn sentence, with actual fucking words, once in a while explaining what the fuck it even is that you just fucking did or what the fuck I'm supposed to actually do with your stupid fucking abstract mathematical objects? I know you have some sick fetish/obsession with trying to explain everything with just numbers and symbols and using the least amount of words possible because you were probably such a fucking socially awkward weirdo your whole life that now you need to try and prove you're better than anyone at all making your fucking ideas unnecessarily obtuse and inaccessible to anyone but your snide little mathematician friends, but the only reason we keep you on the payroll is to come up with tools for us to use to solve real problems. Sure we let you dick around with your insanely nonsensical 97 dimensional semicuspidal manifolds or your hyperbolic triangles without embedded eigenvalues or whatever the fuck it is you assholes are doing all day. But that's just to keep you little shits busy so you don't bother the rest of us with your fucking bullshit periodic approximations of irrational pseudo-rotations using pseudoholomorphic curves. Jesus Fucking Christ. All I'm asking for is ONE (maybe 2) sentences explaining what the fuck this shit even represents. You can blame it on me. Tell your math buddies I snuck it and wrote 'words' while you weren't looking. Just please, for the love of god, tell the rest of us what you are doing and what you want us to do.

Anonymous

Anonymous Wed 09 Sep 2020 12:40:09 No.12101359 Report

Quoted By: >>12101366

>>12101357
>I know you have some sick fetish/obsession with trying to explain everything with just numbers and symbols and using the least amount of words possible
underage b&

Anonymous

Anonymous Wed 09 Sep 2020 12:44:31 No.12101366 Report

Quoted By: >>12101523

>>12101359
>replying to pasta

Anonymous

Anonymous Wed 09 Sep 2020 14:11:02 No.12101522 Report

Quoted By: >>12101790

What is the largest pair of prime powers that differ by $1$ known? (For example $2^{16}=65536$ and $65537$ )

Anonymous

Anonymous Wed 09 Sep 2020 14:11:21 No.12101523 Report

Quoted By:

>>12101366
I guess it smells like pasta but I didn't know for sure. I'm here all the fucking time but I still can't keep up with it all.

Anonymous

Anonymous Wed 09 Sep 2020 14:12:40 No.12101526 Report

Quoted By: >>12101603

Asked this question in the last thread but forgot: how do I keep my math skills after learning some new concept? It takes me about a week until I start to forget stuff. Studying trig at the moment right now.

Anonymous

Anonymous Wed 09 Sep 2020 14:36:56 No.12101586 Report

Quoted By: >>12101866

is mathematical maturity a meme?
if not, how do you achieve it?

Anonymous

Anonymous Wed 09 Sep 2020 14:41:54 No.12101603 Report

Quoted By:

>>12101526
watch conferences about the topic you learnt

Anonymous

View Same Google iqdb SauceNAO download (1).jpg, 109KiB, 640x563

Anonymous Wed 09 Sep 2020 14:41:59 No.12101605 Report

Quoted By: >>12101609

My uni prof made the most unwatchable lecture videos for differential equations course. The MIT OCW course is older than age of preference for a lot of politicians (14 i think), and I don't know how to read.

Can someone please suggest a learning resource for learning differential equations? Preferable videos to watch while high. Pls help

Anonymous

Anonymous Wed 09 Sep 2020 14:43:07 No.12101609 Report

Quoted By: >>12101610

>>12101605
What do you think it's outdated information after 14 years? Just use the fucking MIT course.

DE retard

DE retard Wed 09 Sep 2020 14:44:34 No.12101610 Report

Quoted By:

>>12101609
But the camera quality is really bad...........

Anonymous

View Same Google iqdb SauceNAO weebgirl.png, 1020KiB, 1396x1134

Anonymous Wed 09 Sep 2020 15:05:09 No.12101654 Report

Quoted By:

>>12101192
I think it will hinge on whether you can set up the Gödel $\beta$ -function and related tools, which tie to e.g. the Chinese remainder theorem and modular arithmetic.
These context's allow you to capture formulas with arithmetic. This goes in that direction:
https://youtu.be/soHBNEJlzL0

Anonymous

Anonymous Wed 09 Sep 2020 15:21:05 No.12101695 Report

Quoted By:

>>12101192
For your first question elimination of quantifiers is the proof technique used to show that Presburger is decidable, Enderton's Logic book section 3.2 or 3.3 has a very nice proof. For your second question, multiplication allows you to do coding. Multiplication allows PA (or Robinson's Q for a stronger statement) to reason about its own proofs. In particular there is a definable ternary relation in PA, say R(a,b,c), where PA proves R(a,b,c) iff b is the code for a forumla with one free variable, with a is some number and c codes proof that formula with input a. One consequence of this is that PA can reason about its own consistency, there is a universally quantified statement which says that for all n, n is not the code of a proof of 0=1.

Anonymous

Anonymous Wed 09 Sep 2020 15:24:44 No.12101713 Report

Quoted By: >>12101774 >>12102132

I'm gonna read the EGA, wish me luck lads.

Anonymous

Anonymous Wed 09 Sep 2020 15:46:18 No.12101774 Report

Quoted By: >>12102102

>>12101713
Why don't you go for a more digestible and synthetic source?
It would probably be more efficient.

Anonymous

Anonymous Wed 09 Sep 2020 15:50:46 No.12101790 Report

Quoted By: >>12102117

>>12101522
2^82589933-1 and 2^82589933

Anonymous

Anonymous Wed 09 Sep 2020 15:59:55 No.12101821 Report

Quoted By:

How to get Fortran compiller on Windows 10??

Anonymous

Anonymous Wed 09 Sep 2020 16:15:47 No.12101866 Report

Quoted By:

>>12101586
>is basic competence with mathematics more modern than the 17th century a meme

Anonymous

Anonymous Wed 09 Sep 2020 17:25:30 No.12102046 Report

Quoted By:

Any of you's do any sort of tutoring?

Anonymous

Anonymous Wed 09 Sep 2020 17:32:13 No.12102072 Report

Quoted By: >>12102116

https://arxiv.org/pdf/2009.03393.pdf

It's over for mathematicians.

Anonymous

Anonymous Wed 09 Sep 2020 17:40:48 No.12102102 Report

Quoted By:

>>12101774
because Grothendieck is based, it's one of the most complete ones, and I have enough time to not care about efficiency.

Anonymous

Anonymous Wed 09 Sep 2020 17:44:07 No.12102116 Report

Quoted By: >>12102172

>>12102072
>Examples of equalities produced by the generator:
>(AA) $^2$ =A $^2$ AA
OH NONONO MATH BROS WE GOT TOO COCKY

Anonymous

Anonymous Wed 09 Sep 2020 17:44:10 No.12102117 Report

Quoted By: >>12104960

>>12101790
Why didn't I thing about Mersenne primes? Thanks.

Anonymous

Anonymous Wed 09 Sep 2020 17:48:25 No.12102132 Report

Quoted By:

>>12101713
Good luck anon, but honestly you’re probably not gonna make it and probably will waste time that could be better allocated

Anonymous

Anonymous Wed 09 Sep 2020 17:57:35 No.12102157 Report

Quoted By: >>12102170

Hey all, first year bachelor (well, soon to be second) math here. In my first semester I started out pretty well, but in the second semester the rona happened and I ran into a few difficulties. So now I'm looking for some advice regarding pure mathematics, more specifically analysis. I failed pretty spectacularly, and because it's a required course I'll have to retake it. Could any of you direct me towards a few books that might help me? It doesn't have to be about analysis specifically, as anything pure math could come in handy really.
The main difficulty I have is that I can understand the proofs and such that are in the book, but I have great difficulty when starting on exercises, maybe it just hasn't "clicked" yet, but in a lot of exercises they just seem to pull some magic example or such out of their ass, something I don't yet have the knowledge to do.
Also sorry for the blog post.

Anonymous

Anonymous Wed 09 Sep 2020 17:59:52 No.12102170 Report

Quoted By: >>12102239

>>12102157
Velleman - How to Prove It
Tao - Analysis I
Abbott - Understanding Analysis
Gelbaum/Olmsted - Counterexamples in Analysis

Anonymous

Anonymous Wed 09 Sep 2020 18:01:28 No.12102172 Report

Quoted By: >>12102219 >>12102869

>>12102116
But it also generates this!
$((A+B)^2)^2(A+A) = ((A+B)^2(AB+AB+AA+BB) + (A+B)^2(AB+AB+AA+BB))A$
Any human would obviously get bored before expanding that far, and that's how the machines win.

Anonymous

View Same Google iqdb SauceNAO rate of change.png, 26KiB, 912x439

Anonymous Wed 09 Sep 2020 18:02:50 No.12102175 Report

Quoted By: >>12102180

Having trouble formatting/calculating f(4)-f(0)/4-0 into x^2 + 12x

Is the answer 4 or 16?

Anonymous

Anonymous Wed 09 Sep 2020 18:07:08 No.12102180 Report

Quoted By: >>12102186

>>12102175
16

Anonymous

Anonymous Wed 09 Sep 2020 18:08:37 No.12102184 Report

Quoted By: >>12104089

>>12099114
At least in my program anything < a B is considered failing.

Anonymous

Anonymous Wed 09 Sep 2020 18:08:42 No.12102186 Report

Quoted By:

>>12102180
thanks anon

Anonymous

Anonymous Wed 09 Sep 2020 18:22:13 No.12102219 Report

Quoted By:

>>12102172
You haven't done algebra until you derive a nontrivial identity that fills an entire page. I'm not joking.

Anonymous

Anonymous Wed 09 Sep 2020 18:28:07 No.12102239 Report

Quoted By:

>>12102170
Thank you very much, I'll check them out.

Anonymous

Anonymous Wed 09 Sep 2020 18:29:00 No.12102243 Report

Quoted By:

>signed up for business it because I suck at math and didn't do anything in 6 years
>first few classes of applied math
>I don't understand anything
How do I git gud fast? Real uni starts in about a week and they didn't tell me which things I am supposed to understand until three days ago. I haven't heard of about 60 percent of the things we do despite having done my a levels with fairly good grades. I'm kinda at a loss. Also the Prof doesn't really write down the formulas we use and instead immediately inserts numbers which makes learning and deeper understanding the formulas extremely excruciating.

Anonymous

Anonymous Wed 09 Sep 2020 18:29:58 No.12102246 Report

Quoted By: >>12102254 >>12102440 >>12102587

Generally speaking, is linear algebra about active or passive transformations? What are we transforming, the coordinate system or the vectors in that system? My guess it is always the former.

(Apparently it is called alibi vs alias: never seen these terms ever used in any text books).

Anonymous

Anonymous Wed 09 Sep 2020 18:33:27 No.12102254 Report

Quoted By: >>12102297 >>12102440

>>12102246
>alibi vs alias
I remember seeing those before.

But I don't think this is a question worth asking. It's about both? Wherever either of those notions (active or passive linear transformations) pop up, you're doing linear algebra.
If you're just asking what the standard array of examples are, then I suppose you'll find it out reading the texts.

Anonymous

Anonymous Wed 09 Sep 2020 18:45:59 No.12102297 Report

Quoted By: >>12102403

>>12102254
I am just trying to reconcile the theory with a real world. Or a simulated world. For example a 2D video game. You have a 2D coordinate system which is the "world". And you have objects in that world. You can either transform/rotate those objects individually so their positions change relative to other objects. Or you can transform the entire coordinate system so all the objects will rotate but will remain unchanged relative to each other. So I wonder how this maps to the theory of vector spaces. It seems to that transforming the world maps well to the concept of the basis transformation. But when you rotate an individual object, should you also think that you are changing its basis in which case you'd have to treat that object as part of a separate vector space? In other words, should each individually movable object be considered a separate vector space with a separate basis in which case you would still be transforming the basis and the object would remain unchanged. My brain hurts.

Anonymous

Anonymous Wed 09 Sep 2020 19:08:54 No.12102355 Report

Quoted By:

>>12098143
I think you'll find $p(z)$ has to have real or imaginary coefficients for this to work.
>>12098218
>>12101044
Yes.

Anonymous

Anonymous Wed 09 Sep 2020 19:22:06 No.12102392 Report

Quoted By: >>12102395 >>12102421 >>12102501

Does anyone know anything about the differential equations
$f'' f = -f$ and $f'' f^2 = -f$ ?
The motivation is to imagine a car on $\mathbb{R}$ travelling towards 0 from the positive side with a starting velocity. it then brakes in a way proportional with the remaining velocity and inversely proportional with the distance. Does it stop before 0, at 0 or crash through it?
I included a case with f (the distance) being squared bc then the behavior on the negative side is the same.

Anonymous

Anonymous Wed 09 Sep 2020 19:23:10 No.12102395 Report

Quoted By: >>12102421 >>12102489

>>12102392
damnit, the equations should be
$f'' f = -f' \quad f'' f^2 = -f'$

Anonymous

Anonymous Wed 09 Sep 2020 19:26:36 No.12102403 Report

Quoted By:

>>12102297
They're 2 different but related things.
Changing a particular object within a coordinate system is basically multiplying by a matrix (applying a linear transform)
Changing the whole coordinate system is using different basis vectors (change of basis, and for each basis there's a change of basis matrix)

Anonymous

Anonymous Wed 09 Sep 2020 19:32:46 No.12102421 Report

Quoted By: >>12102430

>>12102392
>>12102395

Consider the fact that

$(f \cdot f')' = 2f' + f\cdot f''$

and let me know if you can take it from here

Anonymous

Anonymous Wed 09 Sep 2020 19:37:07 No.12102430 Report

Quoted By: >>12102489

>>12102421
mistake: there should be $(f')^2$ instead of $2f'$

Anonymous

Anonymous Wed 09 Sep 2020 19:38:23 No.12102440 Report

Quoted By:

>>12102246
Lin Alg has nothing to do with coordinated. Your question is retarded, read a real textbook if you can’t see why.
>>12102254
Shut the fuck up faggot

Anonymous

Anonymous Wed 09 Sep 2020 19:47:52 No.12102489 Report

Quoted By: >>12102507

>>12102395
Yeah, actually after I found my mistake >>12102430 I found there is no easy way to solve this and while it the solution is closed form it's a shitshow

$y(x) \sim W(x) = \frac{1}{\pi}\text{Re}\int_0^\pi \ln \big( \frac{e^{e^{it}} - xe^{-it}}{e^{e^{it}} - xe^{it}}\big) \mathbf{d}t$

Anonymous

Anonymous Wed 09 Sep 2020 19:50:12 No.12102501 Report

Quoted By: >>12102515

>>12102392
A more precise formulation of the problem: Let $f \in C^2([0,\infty)$ solve
$f(0) = p_0 > 0, \qquad f'(0) = v_0 < 0$ and
$f'' f = -f'$ .
Will it be the case that $f'(t) = 0, \quad f(t) = const$ after some point $t \geq t_0$ , or does $f$ somehow reach zero and a derivative or something becomes singular.

Anonymous

Anonymous Wed 09 Sep 2020 19:51:16 No.12102507 Report

Quoted By:

>>12102489
how do you solve something like this dude. I never had to deal with nonlinear ODEs before.

Anonymous

View Same Google iqdb SauceNAO sup.png, 21KiB, 686x257

Anonymous Wed 09 Sep 2020 19:53:06 No.12102515 Report

Quoted By: >>12102526

>>12102501
Yes

proof: look at the image

Anonymous

Anonymous Wed 09 Sep 2020 19:55:48 No.12102526 Report

Quoted By:

>>12102515
whoa

Anonymous

Anonymous Wed 09 Sep 2020 20:13:43 No.12102587 Report

Quoted By:

>>12102246
neither. Generally speaking, linear algebra is about vector spaces and linear maps between them (and systems of linear equations/matrices, but these can be interpreted as linear maps). The terms active and passive transformations only really make sense in for example in coordinate geometry but not in linear algebra per se

Anonymous

Anonymous Wed 09 Sep 2020 20:38:51 No.12102653 Report

Quoted By:

How would one go about this problem?

A function $f(x)$ defined for $x > a$ where $a$ is a constant, and $g(x)$ is a quartic whose leading coefficient is $-1$ that satisfies the following three conditions:

1) $\forall x \in \mathbb{R}$ such that $x > a, (x - a)f(x) = g(x)$ .

2) For $\alpha, \beta \in \mathbb{R}$ such that $\alpha \neq \beta, f(x)$ obtains the same local minimum $M$ at $x = \alpha$ and $x = \beta. (M > 0)$

3) $f(x)$ has more local extrema than $g(x)$ .

$\beta - \alpha = 6 \sqrt{3}$ . Find the minimum of $M$ .

Anonymous

View Same Google iqdb SauceNAO external-content.duckduckgo.com.jpg, 32KiB, 474x535

Anonymous Wed 09 Sep 2020 20:42:46 No.12102662 Report

Quoted By: >>12102672 >>12102864

Let's pretend that I am completely retarded with math and have to teach myself from scratch.
I have the following thing
(?17) · (?13) ? |(?66) : (?11) + |?64| : 8| ? |(?81) : (?27) ? (?21)| =
The thing I wonder is whether || works similar to parantheses and the first and last, second and second to last and middle ones are part of the same unit or whether it's just 3 blocks of numbers inside of that.

Anonymous

Anonymous Wed 09 Sep 2020 20:45:27 No.12102672 Report

Quoted By:

>>12102662
Vertical bars usually denote absolute value.

Anonymous

View Same Google iqdb SauceNAO chrome_oLwLyn7WKL.png, 36KiB, 531x341

Anonymous Wed 09 Sep 2020 21:49:13 No.12102861 Report

Quoted By: >>12103439

Does anybody know what the function around t_j in the Jacobian here is? For reference, t_j is just a standard 3D vector. This is the first and only time this notation is used in the paper (ref: https://arxiv.org/pdf/1809.00952.pdf) so I'm quite sure it's not something the author has come up with on the fly.

Anonymous

Anonymous Wed 09 Sep 2020 21:50:25 No.12102864 Report

Quoted By:

>>12102662
look carefully at where the + and - signs are, this will help you determine how to group the terms

Anonymous

Anonymous Wed 09 Sep 2020 21:52:29 No.12102869 Report

Quoted By:

>>12102172
is this true when entries of A and B are not commutative? or does it assume entries from R, C or some field K

Anonymous

View Same Google iqdb SauceNAO carlomasi.jpg, 25KiB, 363x359

Anonymous Thu 10 Sep 2020 00:22:29 No.12103415 Report

Quoted By: >>12103432

You are a Italian mathematics student. You go to the first day of your Analysis course and this is the teacher.
What do you do?

Anonymous

Anonymous Thu 10 Sep 2020 00:26:24 No.12103432 Report

Quoted By:

>>12103415
What I always do in analysis classes: Take $\epsilon > 0$ .

Anonymous

View Same Google iqdb SauceNAO diagramthumbnail22.png, 502KiB, 1280x720

Anonymous Thu 10 Sep 2020 00:28:05 No.12103439 Report

Quoted By: >>12104459

>>12102861
If you mean the brackets, it's mapping the 3D vector $t$ into the the standard so(3) representation, i.e.
$[t]_\times d = t\times d$
https://youtu.be/gBMdTSXhYsY

I've come in contact with PGO and there's a fantastic 150 page writeup on the rotation involved, including all the Jacobians and they exotic addition and subtraction operations in tangent space that I glimpse in your paper. I can dig it out tomorrow if you will

Anonymous

Anonymous Thu 10 Sep 2020 01:37:10 No.12103703 Report

Quoted By: >>12103742 >>12103744

What would you call an association that is like a function, but allows for one element to be mapped to several elements of its range? A map? An association?

Anonymous

Anonymous Thu 10 Sep 2020 01:50:58 No.12103742 Report

Quoted By: >>12103754

>>12103703
They're called relations in English.

Anonymous

Anonymous Thu 10 Sep 2020 01:51:40 No.12103744 Report

Quoted By: >>12103754

>>12103703
Relation

Anonymous

Anonymous Thu 10 Sep 2020 01:55:41 No.12103754 Report

Quoted By: >>12103793 >>12104740

>>12103742
>>12103744
I thought relations were subsets of Cartesian products. This is not quite what I'm looking for. I will illustrate with an example:
Set A: {a,b,c}
Set B: {1,2,3}

A relation (over A x B x B) could then be (a, 1, 1) essentially mapping a to 1 and 1. However, I want to allow the following mappings equally:
a -> 1
b -> 1, 2
c -> 1
i.e. different sized tuples.

Anonymous

Anonymous Thu 10 Sep 2020 02:12:26 No.12103793 Report

Quoted By:

>>12103754
Seems to me that you want to map A to a tree on B. This is still a relation in the set theoretical sense. If for instance you mapped A into the tree of all finite sequences of B, then all elements would look like (a, (b_1,...,b_n)). That is just a functional relation on AxB^{<\omega}. You could replace omega with any finite or infinite ordinal really.

Anonymous

Anonymous Thu 10 Sep 2020 04:34:51 No.12104089 Report

Quoted By: >>12104103

>>12099274
>>12099184
>>12102184
I guess what I mean by inflation is something like "students getting a better grade than they deserve".

I've never gotten less than an A in an undergrad math class and I'm still definitely not smart enough to be a mathematician. If the students in grad school are of a much better quality (and I'm at a school with a top 10 math program in the US so they definitely are) then sure, even without inflation, it would make sense that they all get As and Bs.

The alternative is that grades don't mean anything so A just means you had baseline competence.

Anonymous

Anonymous Thu 10 Sep 2020 04:44:58 No.12104103 Report

Quoted By: >>12104111 >>12104118

>>12104089
This is for the US, right? At my uni we don't have grades, just fail/pass, and we still have a ton of people failing. I'd say a course has on average a 70% pass rate (Although it varies quite a lot between 40%-90%), and people who fail tend to just drop out.

Anonymous

Anonymous Thu 10 Sep 2020 04:47:36 No.12104111 Report

Quoted By: >>12104122

>>12104103
What's the cutoff score for passing?

Anonymous

Anonymous Thu 10 Sep 2020 04:51:40 No.12104118 Report

Quoted By:

>>12104103
Yeah, I'm an undergrad at a US school. People definitely fail the undergrad level courses all the time. My understanding though is that due to the qualifying exams in grad school there's less need to actually fail students out of the program beforehand.

Anonymous

Anonymous Thu 10 Sep 2020 04:53:08 No.12104122 Report

Quoted By: >>12104130 >>12104137

>>12104111
Depends on the course. For most exams it's 50% or more for a pass. This might sound low, but the structure is such that you're not guaranteed anything above that by just the material in the course. Basically the first half is stuff you can solve if you paid attention, and the second half requires you to be clever. Thus you need to remember the material perfectly if you're a smoothbrain.

In addition almost all courses also require you to do an oral examination as well. You need to pass both things to pass the course.

In contrast assignments and attendance account for 0% of your grade. You can literally never show up and never hand anything in, and still pass. Just show up and do the written and oral exams.

Also I believe our exams are longer than US ones? We usually have 6-7 hour exams, and I've heard, but I might be wrong, that US exams are around 90 min - 3 hours.

Anonymous

Anonymous Thu 10 Sep 2020 04:57:51 No.12104130 Report

Quoted By: >>12104158

>>12104122
Normal exams are usually 75-90 minutes and finals are usually 3 hours. We also have no oral examinations until grad school and even then, I don't think they're everywhere. From my understanding, that seems to be a European thing.

Anonymous

Anonymous Thu 10 Sep 2020 05:00:10 No.12104137 Report

Quoted By: >>12104158

>>12104122
Interesting. You mind sharing a bit more details about country / program? I've almost never had a math course in the US where this much of the exam could be completed via memorization.

Anonymous

Anonymous Thu 10 Sep 2020 05:09:23 No.12104158 Report

Quoted By: >>12104209 >>12104210 >>12105012

>>12104137
Math program in Europe. Not sure what you mean by "memorization", mind explaining?

>>12104130
Yeah, it's really common over here in Europe. Normally oral examinations ask you to explain concepts, state and prove theorems that are part of the course, etc. Sometimes you'll be asked to prove new theorems, but often this is just a part of the written exam.

Anonymous

Anonymous Thu 10 Sep 2020 05:24:56 No.12104209 Report

Quoted By: >>12106001

>>12104158
Where in Europe are you from? While anecdotal, both universities I've been at here in America have had a pretty noticeable portion of the math faculty from Eastern Europe, so I was wondering if there was a big emphasis on mathematics in those countries. A lot of them are from Poland, in particular.

Anonymous

Anonymous Thu 10 Sep 2020 05:25:13 No.12104210 Report

Quoted By: >>12106001

>>12104158
>Math program in Europe. Not sure what you mean by "memorization", mind explaining?
Being asked to reproduce something that you saw in class or read in the book. If you had your notes and the textbook in front of you, this sort of problem would be trivial. Thus memorization of notes/textbook is sufficient for solving this problem. Obviously not necessary though as better students can fill in the details if they forget something.

Conversely, most exams I've sat have been largely structured so that even having remembered the material perfectly, or with the textbook/notes on hand, one wouldn't be guaranteed to get more than maybe 10% on the exam. The other 90% will involve varying degrees of 'clever' thinking.

Anonymous

Anonymous Thu 10 Sep 2020 07:18:25 No.12104366 Report

Quoted By:

What the fuck is the difference between GTM and Universitext?

Also does anyone have a recommendation for a concise review of ODEs?

Anonymous

Anonymous Thu 10 Sep 2020 07:59:16 No.12104418 Report

Quoted By: >>12104462 >>12104675 >>12104698

I flipped a coin for 100 times and get 41 heads/59 tails. What is a probability that coin is crooked?

Anonymous

Anonymous Thu 10 Sep 2020 08:23:09 No.12104459 Report

Quoted By: >>12104507

>>12103439
That would be very useful. The calculation of these complex Jacobians is by far the most annoying thing. It's tempting to do what solutions like g2o are doing and to just approximate using central difference, but the increase in accuracy from using analytic versions is too much to ignore...

Anonymous

Anonymous Thu 10 Sep 2020 08:23:27 No.12104462 Report

Quoted By: >>12104468

>>12104418
100%

There is no such fair coin in the material world

Anonymous

Anonymous Thu 10 Sep 2020 08:25:35 No.12104468 Report

Quoted By:

>>12104462
lol

Anonymous

View Same Google iqdb SauceNAO Bildschirmfoto 2020-09-10 um 10. (...).png, 694KiB, 2224x1298

Anonymous Thu 10 Sep 2020 08:44:42 No.12104507 Report

Quoted By: >>12104581

>>12104459
there you go

https://arxiv.org/pdf/1711.02508.pdf

Anonymous

Anonymous Thu 10 Sep 2020 08:53:29 No.12104514 Report

Quoted By:

>>12098047

take R\p it is a multiplicative set disjoint from (0) so...

Anonymous

Anonymous Thu 10 Sep 2020 08:54:02 No.12104515 Report

Quoted By: >>12104542

I want to major in math, but don't want to work in academia. Is that possible?

Anonymous

View Same Google iqdb SauceNAO 1598385215215.jpg, 50KiB, 750x831

Anonymous Thu 10 Sep 2020 09:16:30 No.12104542 Report

Quoted By:

>>12104515
yes after majoring in math, you can go to work for amazon

Anonymous

Anonymous Thu 10 Sep 2020 09:44:10 No.12104581 Report

Quoted By:

>>12104507
Thanks a lot. This is great as a reference and the IMU chapters look interesting.

Anonymous

Anonymous Thu 10 Sep 2020 09:54:41 No.12104595 Report

Quoted By: >>12104698

Some books on the methods of natural language processing,
including LDA with reasonalbe amount of math left not unjustified? Im probably going to use it soon and would like to get some understanding and feeling for it beforehand. I am not sure what rhe prereqs are for sufficient in depth understanding of the topic. Assume knowledge of Linear Algebra up to jordan form, normal form, bilinear forms, analysis on manifolds, prob theory and mathematical stats (with out measure theory though).

Anonymous

Anonymous Thu 10 Sep 2020 10:34:24 No.12104675 Report

Quoted By:

>>12104418
You can't really say without knowing the chance the coin is fake in the first place.

Anonymous

Anonymous Thu 10 Sep 2020 10:47:17 No.12104698 Report

Quoted By:

>>12104418
Use the binomial test - basically find the probability of getting a less equitible result assuming the coin is fair.

>>12104595
Try Bishop, probably, depending one exactly what methods you're interested. It's not about NLP and I won't pretend to know what methods people actually use in NLP but if you're after stuff like LDA it's a good place to start.

Anonymous

Anonymous Thu 10 Sep 2020 11:12:52 No.12104740 Report

Quoted By:

>>12103754
just replace B with the disjoint union of B, B^2, B^3 etc

Anonymous

Anonymous Thu 10 Sep 2020 13:12:34 No.12104960 Report

Quoted By:

>>12102117
You are welcome. Also notice that since Catalan’s conjecture has been proven true, for every other pair of consecutive prime powers one of them must be a prime.

Anonymous

Anonymous Thu 10 Sep 2020 13:43:26 No.12105012 Report

Quoted By: >>12106001

>>12104158
Aren't oral examinations subjected to biasing/preferential treatment by the examiner? Sounds a bit random. If you take a written test you eliminate any kind of subjective judgement, you can always contest the result.

Anonymous

Anonymous Thu 10 Sep 2020 14:33:39 No.12105107 Report

Quoted By: >>12105170 >>12105320 >>12105817

How to prove using intuionistic natural deduction that:

(((P -> ?) -> P ) -> P == ~~P -> P

Its trivial using a truth table, but i have no idea how to work it out using deduction.

Anonymous

Anonymous Thu 10 Sep 2020 14:48:24 No.12105154 Report

Quoted By:

>>12097919
is this loss?

Anonymous

Anonymous Thu 10 Sep 2020 14:53:46 No.12105170 Report

Quoted By: >>12105233

>>12105107
>(P -> ?) -> P
Doesn't everything follow from this?

Anonymous

Anonymous Thu 10 Sep 2020 15:20:45 No.12105233 Report

Quoted By: >>12105316

>>12105170
Yes, but how can i use the deduction rules to derive ~~P if P is assumed or vice versa? LEM and the derivation, double negation is not incuuded in intuitionistic logic.

Anonymous

Anonymous Thu 10 Sep 2020 15:44:34 No.12105316 Report

Quoted By:

>>12105233
The only inference rule you need is modus ponens, which is part of intuitionistic logic.

Anonymous

Anonymous Thu 10 Sep 2020 15:45:41 No.12105320 Report

Quoted By:

>>12105107
>intuionistic natural deduction
i think -p is p->bottom in this logic

search for ~~P
https://www.cs.cornell.edu/courses/cs3110/2018sp/l/20-coq-logic/notes.v

Anonymous

Anonymous Thu 10 Sep 2020 16:46:12 No.12105513 Report

Quoted By: >>12105530 >>12106363 >>12110529

Are lattices the highest IQ algebraic structure?

Anonymous

Anonymous Thu 10 Sep 2020 16:58:24 No.12105530 Report

Quoted By:

>>12105513
>they don't work exclusively with CABAs

Anonymous

View Same Google iqdb SauceNAO FB_IMG_1599758824417.jpg, 58KiB, 600x900

Anonymous Thu 10 Sep 2020 17:45:22 No.12105720 Report

Quoted By: >>12105758 >>12105772

>>12097896
What can be divided by zero?

Anonymous

Anonymous Thu 10 Sep 2020 17:58:06 No.12105758 Report

Quoted By: >>12105986

>>12105720
/pol/ outside of /pol/ should be bannable. There's no way you actually care about your question, you're just here to post that image.

Anonymous

Anonymous Thu 10 Sep 2020 18:04:09 No.12105772 Report

Quoted By: >>12105801

>>12105720
>Phoneposter
You have to go back.

Anonymous

View Same Google iqdb SauceNAO 1+2+...+(n-1) = n choose 2.gif, 178KiB, 624x519

Anonymous Thu 10 Sep 2020 18:14:12 No.12105785 Report

Quoted By: >>12105798 >>12105992

Are visual proofs valid?

Anonymous

Anonymous Thu 10 Sep 2020 18:21:19 No.12105797 Report

Quoted By:

>>12098234
kill yourself
and then lurk moar

Anonymous

Anonymous Thu 10 Sep 2020 18:21:22 No.12105798 Report

Quoted By:

>>12105785
No, but they can help with intuition.

Anonymous

Anonymous Thu 10 Sep 2020 18:21:54 No.12105801 Report

Quoted By: >>12105986 >>12105999

>>12105772
How can you determine he’s on a phone?

Anonymous

View Same Google iqdb SauceNAO basil-qa-adan-50921801-219147263 (...).jpg, 37KiB, 708x960

Anonymous Thu 10 Sep 2020 18:27:28 No.12105817 Report

Quoted By:

>>12105107
You only need to show that
((P -> ?) -> P
<=>
((P -> ?) -> ?

The <= direction is true by concatenation with explosion.
The other direction - I don't know the details of your setup, probably follow from considering that your assumption also holds true for P=bot and bot->bit holds

Anonymous

Anonymous Thu 10 Sep 2020 18:41:43 No.12105861 Report

Quoted By: >>12105865 >>12105975

my uni doesn't offer set theory this semester, I'm so sad frens I have been studying set theory for like two months aaaahhhhhhhhhh

Also is it stupid that I'm studying beforehand

Anonymous

Anonymous Thu 10 Sep 2020 18:42:49 No.12105865 Report

Quoted By: >>12105891 >>12105975

>>12105861
Why on earth would you willingly take set theory is the real question.

Anonymous

Anonymous Thu 10 Sep 2020 18:51:16 No.12105891 Report

Quoted By: >>12105917

>>12105865
oh am I not in the cool zone for studying set theory?
is set theory not worth it?

Anonymous

Anonymous Thu 10 Sep 2020 19:02:16 No.12105917 Report

Quoted By: >>12105948

>>12105891
It is. The other anon is just being a peepeepoopoo. Set theory is really fun, you can still study it on your own. What book are you using?

Anonymous

Anonymous Thu 10 Sep 2020 19:13:05 No.12105948 Report

Quoted By: >>12105981

>>12105917
well that's a relief since I'm really digging the subject.
I'm using Derek Goldrei's Classic Set Theory and Introduction to set theory by Hrbacek and Jech. Also I have my proff's notes.
I think Goldrei's one is particularly good as an introduction.

Anonymous

Anonymous Thu 10 Sep 2020 19:20:56 No.12105975 Report

Quoted By:

>>12105861
>Also is it stupid that I'm studying beforehand
no

>>12105865
why would anybody do anything.
math is just fun - everything to the contrary is just different taste

Anonymous

Anonymous Thu 10 Sep 2020 19:21:53 No.12105981 Report

Quoted By:

>>12105948
I have never looked at Goldrei's book. But I do know Jech and Hrbacek's book, its pretty good. I like the chapter on comibnatorial set theory and the one on large cardinals.

Anonymous

Anonymous Thu 10 Sep 2020 19:23:08 No.12105986 Report

Quoted By:

>>12105758
>>12105801
Go back.

Anonymous

Anonymous Thu 10 Sep 2020 19:24:11 No.12105992 Report

Quoted By:

>>12105785
Yes, as long as you understand how they work. Understanding how something works != being able to write down a proof. As long as you've convinced yourself, it's good.

Anonymous

Anonymous Thu 10 Sep 2020 19:26:30 No.12105999 Report

Quoted By: >>12106290

>>12105801
Phoneposter means someone whose posts are short and/or low quality. It is assumed that if your posts are short, then you must be posting from a phone.

Anonymous

Anonymous Thu 10 Sep 2020 19:26:49 No.12106001 Report

Quoted By: >>12106118

>>12105012
Yes, but you can "overrule" oral examination grades as well. I actually had to do that once. Overall I think having oral exams is more of a benefit than not, even if it is suspect to preferential treatment.

And I don't think preferential treatment is eliminated in written exams completely, with a small class the teacher will know each student, and the exams aren't anonymous.

>>12104209
I'm not from eastern Europe, I don't want to say which uni/country and I'll leave it as it's a top 100 university.

>>12104210
I was perhaps a bit unclear. The first half would be _largely_ computation with known techniques, and a little bit of cleverness. I.e. it's not just a straight example with numbers switched out. Of course some thinking is required, just not as much as in the second half. The second half would be _largely_ theorems, and proofs. Of course there's some overlap. For reference as I said we have 6-7 hours to answer 5-7 questions. So the questions are rather in-depth.

Anonymous

Anonymous Thu 10 Sep 2020 20:07:05 No.12106118 Report

Quoted By:

>>12106001
>with a small class the teacher will know each student, and the exams aren't anonymous.
True but I think at least you have a hard copy. So it is easier to prove that you were mistreated intentionally or by mistake. But I don't know how you are going to contest oral examination since there is no proof. But I agree in some cases it may be beneficial since the examiner may ask for clarifications and so you can provide immediate feedback to convince him you know what you are talking about. Whereas with written tests if the grader is in doubt, maybe you solved the problem correctly but did your calculations wrong or maybe there is a typo etc. or maybe your way of thinking was totally wrong etc but he cannot confirm that in person so you are at his mercy.

Anonymous

Anonymous Thu 10 Sep 2020 20:50:20 No.12106288 Report

Quoted By: >>12111290

Brainlet question (I already asked in /sqt/): Are continuous partials necessary conditions for a complex valued function to be analytic in some region $D \subseteq \mathbb{C}$ ?

Anonymous

Anonymous Thu 10 Sep 2020 20:50:56 No.12106290 Report

Quoted By:

>>12105999
fucking retarded newfag

Anonymous

Anonymous Thu 10 Sep 2020 21:11:15 No.12106363 Report

Quoted By:

>>12105513
>finite product theories
>high IQ

Anonymous

Anonymous Thu 10 Sep 2020 21:12:58 No.12106365 Report

Quoted By: >>12106369 >>12106390

>>12097896
I'm doing a maths degree in the UK and about to head into my final year.
I have chosen Coding and Cryptography as a module over Financial Mathematics, but I would like to pursue a career in finance (not sure what yet).
Have I fucked up or does this not matter when applying to a postgraduate finance role? Will I be trained if I manage to get a role.
Thank you!

Anonymous

Anonymous Thu 10 Sep 2020 21:14:01 No.12106369 Report

Quoted By: >>12106454

>>12106365
why did you do that then you mong

Anonymous

Anonymous Thu 10 Sep 2020 21:20:11 No.12106390 Report

Quoted By: >>12106454

>>12106365
>I want to pursue a career in finance, but I specialized in something other than finance
What, exactly, did he mean by this?

Anonymous

Anonymous Thu 10 Sep 2020 21:41:53 No.12106454 Report

Quoted By: >>12106464 >>12106518

>>12106369
>>12106390
I had to pick the module in June, and I wasn't sure what I wanted to do with my degree back then, but now after research I think I would enjoy a career in finance the most.

Anonymous

Anonymous Thu 10 Sep 2020 21:44:08 No.12106464 Report

Quoted By: >>12106468 >>12106486 >>12106510

>>12106454
>I think I would enjoy a career in finance the most
enjoy isn't the right word, you'll enjoy the money, but trust, not a single fucking soul enjoys working in finance

Anonymous

Anonymous Thu 10 Sep 2020 21:45:10 No.12106468 Report

Quoted By: >>12106486

>>12106464
>but trust
but trust me*

Anonymous

Anonymous Thu 10 Sep 2020 21:49:14 No.12106486 Report

Quoted By: >>12106772

>>12106464
>>12106468
I think it's what I would like to work in though, I'm not sure what else I would like to do with a maths degree.
Will I still be able to get a job in finance?

Anonymous

Anonymous Thu 10 Sep 2020 21:55:41 No.12106506 Report

Quoted By: >>12106508

how do I kill myself for having failed 1st year of engineering school even though I loved math (especially algebra, even abstract algrebra)?

Anonymous

Anonymous Thu 10 Sep 2020 21:56:40 No.12106508 Report

Quoted By: >>12106509

>>12106506
If you prefer math to engineering, switch majors to applied math. You'll still take a fair amount of pure math courses.

Anonymous

Anonymous Thu 10 Sep 2020 21:57:29 No.12106509 Report

Quoted By: >>12106515

>>12106508
I'm 35. I don't think I have enough brain to study anything anymore. also, I was poor at the time, so math was out of the plan

Anonymous

Anonymous Thu 10 Sep 2020 21:57:41 No.12106510 Report

Quoted By:

>>12106464
Is it really THAT bad?

Anonymous

Anonymous Thu 10 Sep 2020 22:01:09 No.12106515 Report

Quoted By: >>12106518

>>12106509
I might be misunderstanding your post, but you can make good money with an applied math degree. Maybe not as good as en engineer, but you'll be doing good. Some of my friends even went into software engineering with math degrees.

Anonymous

Anonymous Thu 10 Sep 2020 22:02:49 No.12106518 Report

Quoted By: >>12106594

>>12106454
huh? you can make shitloads of money in cryptography. also, infosec is more fun than finance

>>12106515
eh, I'm already making good enough money in infosec. as I said, I loved studying math, and I feel ashamed of not having continued, not even by myself

Anonymous

Anonymous Thu 10 Sep 2020 22:27:41 No.12106594 Report

Quoted By: >>12106638 >>12106684

>>12106518
>huh? you can make shitloads of money in cryptography. also, infosec is more fun than finance

I’ve not really done much coding before, aside from the required bits on basic MatLab. Wouldn’t they hire someone with a computer science background for cryptography?

Anonymous

Anonymous Thu 10 Sep 2020 22:37:12 No.12106638 Report

Quoted By:

>>12106594
Learn it on the job.

Anonymous

Anonymous Thu 10 Sep 2020 22:55:46 No.12106684 Report

Quoted By:

>>12106594
well, AFAIK, you also need to know a bit of hardware, OSes, etc. and not only "coding" if you want to build efficient cryptographic algorithms. but those jobs are for infosec rockstars, I'd guess. still, I guess you are correct: you need some background in CS.
anyway, if you want to know more, I suggest asking here: https://webchat.freenode.net/##crypto

Anonymous

Anonymous Thu 10 Sep 2020 23:27:57 No.12106772 Report

Quoted By: >>12108029

>>12106486
Yes of course the other posters are talking nonsense. Physics backgrounds are quite common for crying out loud. Not that I’d recommend this career in particular.

Anonymous

Anonymous Thu 10 Sep 2020 23:47:06 No.12106808 Report

Quoted By: >>12106813

Can you prove Fubini's theorem without measure theory?

Anonymous

Anonymous Thu 10 Sep 2020 23:49:43 No.12106813 Report

Quoted By:

>>12106808
in the discrete case yeah

Anonymous

Anonymous Fri 11 Sep 2020 00:52:20 No.12106959 Report

Quoted By: >>12107217

I find it amazing that addition beats multiplication in only one special case: when adding ones. It is taken for granted but isn't it amazing that 1+1+1... >>>> than 1*1*1 and the difference grows as the number of dimensions goes up?

Anonymous

Anonymous Fri 11 Sep 2020 02:42:11 No.12107217 Report

Quoted By: >>12107256 >>12107352

>>12106959
how about this quick fact?
Every hyperoperation between 2 and 2 always results in 4
2+2=4
2*2=4
2^2=4
2^^2=4
etc etc

Anonymous

Anonymous Fri 11 Sep 2020 02:54:14 No.12107248 Report

Quoted By: >>12107278 >>12107294 >>12107342

>it's another summerfags and tourists ruin /mg/ thread
it never ends

Anonymous

Anonymous Fri 11 Sep 2020 02:57:50 No.12107256 Report

Quoted By: >>12107289 >>12107922

>>12107217
what is ^^?

Anonymous

Anonymous Fri 11 Sep 2020 03:08:52 No.12107278 Report

Quoted By: >>12107705

>>12107248
i unironically miss the gmmg tranny

Anonymous

Anonymous Fri 11 Sep 2020 03:13:38 No.12107289 Report

Quoted By:

>>12107256
tetration
now don't be lazy and go read about hyperoperations on wikipedia

Anonymous

Anonymous Fri 11 Sep 2020 03:16:46 No.12107294 Report

Quoted By:

>>12107248
>He thinks summer ever ended
Absolutely new.

Anonymous

Anonymous Fri 11 Sep 2020 03:28:34 No.12107333 Report

Quoted By: >>12107691

Is it reasonable to define a 'point-like object' in a category to be an object whose covariant functor of points is naturally isomorphic to the identity functor?
The singleton satisfies this in Set/Top right?

Anonymous

Anonymous Fri 11 Sep 2020 03:31:35 No.12107340 Report

Quoted By: >>12107365

What are some good resources for learning math as a layman?

Anonymous

Anonymous Fri 11 Sep 2020 03:33:03 No.12107342 Report

Quoted By:

>>12107248
I didn't do nothing I swear. I'm doing baby calculus before I wake up my gf with oral

Anonymous

Anonymous Fri 11 Sep 2020 03:38:13 No.12107352 Report

Quoted By:

>>12107217
bro what the fuck

Anonymous

Anonymous Fri 11 Sep 2020 03:43:20 No.12107365 Report

Quoted By: >>12107408

>>12107340
Youtube and general google search. Don't bother with text books. ALL of them are horrible. Use them as a reference, as a list of topics to study. Then just search and download a bunch of pdfs and watch the videos. Many of them ARE based on exact same text books except they actually explain what is going on. To me it is like Torah which is the detailed explanation of the cryptic Talmud. The only useful type of text books are the Schaum's outline series since it is just a bunch of problems with solutions.

Anonymous

Anonymous Fri 11 Sep 2020 03:46:45 No.12107377 Report

Quoted By:

I especially struggled with the Mishnah, which is the tersest motherfucker there is. This is a good analogy to studying math using "text books". Fuck text books.

Anonymous

Anonymous Fri 11 Sep 2020 04:01:30 No.12107408 Report

Quoted By:

>>12107365
>Youtube and general google search. Don't bother with text books.
You have this backwards.

Anonymous

Anonymous Fri 11 Sep 2020 05:05:25 No.12107545 Report

Quoted By: >>12107678 >>12107689 >>12107693 >>12107705 >>12107710 >>12107773 >>12108251 >>12108273 >>12110534

>>>/diy/1905770

Anonymous

Anonymous Fri 11 Sep 2020 05:06:37 No.12107549 Report

Quoted By: >>12107561

>>12097896
First time posting.
Having an existential crisis.
>integers are arbitrary
>relationship between any perceived time/space value is some kind of functional derivation from a universal point or reference
>universe will probably return to a static state when the distortion of space/time begin to approach the universal rate of expansion from the origin point.

As a kid I could never understand time, clock time is relative to the motion of the earth, percieved time is obviously just an misrepresentation of motion and has nothing to do with time.
Actual time is a function and so can only be experinced by contrasting two arbitary points.

Can my head collapse if there's nothing in it?
The universe is going to collapse.

Anonymous

Anonymous Fri 11 Sep 2020 05:11:20 No.12107561 Report

Quoted By: >>12107578

>>12107549
>be me
>13
>ask teacher how magnets work
>says they have a field which is positive or negative
>ask how that force is transmited
>charges particles between them or some shit
>Sir then how does the moon orbit the earth if there's nothing in space
>get told it's different and to shut up
>but sir cow come the moon effects my compass if gravity and magnetism aren't the same
>got a detention
>try to explain to the principle the seriousness and implications of the relationship between gravity and magnetism (pseudo gravity)
>get sent to see the psychologist
>stare at the psychologist, he stares at me for ten minutes silently
>tells me I can go back to class

Anonymous

Anonymous Fri 11 Sep 2020 05:17:06 No.12107578 Report

Quoted By: >>12107597

>>12107561
>be in class
>teacher draws a graph
>ask why the graph starts at 0 and not 1
>teacher tells me to shut up
>Sir how do you even know what a value under 1 is?
>It's called a decimal value shut up
>sir could it be a fraction?
>yes .5 is 1/2 how are you this dumb anon
>But sir aren't both are half of one not half of zero, isn't 1/2 just negative .5 relative to 1?
>had to wait outside the class.

Anonymous

Anonymous Fri 11 Sep 2020 05:22:26 No.12107597 Report

Quoted By:

>>12107578
>be me
>yesterday
>trying to explain about the virus
>person tells me that I'm talking about some kind of calculus and have to study it before I can explain
>look up calculus again
>oh no fuck it's that fucking line thing again
>the one that I got kicked out of school for arguing with my phis teacher about.
>post on /sci
Why can I not escape the knowledge that all mathematics is reductionist of fundamental concepts we still don't understand.
Time is some kind of joke, mass is satire- our measurements of mass, time and velocity, distance are all some kind of joke.

Anonymous

Anonymous Fri 11 Sep 2020 05:51:13 No.12107678 Report

Quoted By:

>>12107545
Holy shit hahahahahaha

Anonymous

View Same Google iqdb SauceNAO 300px-No,_No._He's_Got_a_Point.jpg, 11KiB, 300x234

Anonymous Fri 11 Sep 2020 06:02:44 No.12107689 Report

Quoted By:

>>12107545

Anonymous

Anonymous Fri 11 Sep 2020 06:02:52 No.12107691 Report

Quoted By: >>12109014

>>12107333
Initial object.

Anonymous

Anonymous Fri 11 Sep 2020 06:04:56 No.12107693 Report

Quoted By:

>>12107545
BASED

Anonymous

View Same Google iqdb SauceNAO 1587546682841.jpg, 180KiB, 1920x1080

Anonymous Fri 11 Sep 2020 06:12:12 No.12107705 Report

Quoted By: >>12107789

>>12107545
LOL

>>12107278
This, and yukari and work-with-physicists-anon

Anonymous

Anonymous Fri 11 Sep 2020 06:13:39 No.12107710 Report

Quoted By:

>>12107545
lol

it's actually crazy to me– you'd think doctors would be among our best and brightest, but at least at my uni (which places people at top med schools) the pre-med kids are by in large of mediocre intelligence, albeit quite driven.

Anonymous

Anonymous Fri 11 Sep 2020 06:43:30 No.12107773 Report

Quoted By:

>>12107545
so this is why they developed Tai's method

Anonymous

Anonymous Fri 11 Sep 2020 06:48:39 No.12107789 Report

Quoted By: >>12107935

>>12107705
>Pic
Math for this feel?

Anonymous

Anonymous Fri 11 Sep 2020 08:14:56 No.12107922 Report

Quoted By:

>>12107256
it's a German emoji, means happy laughing

Anonymous

Anonymous Fri 11 Sep 2020 08:20:41 No.12107935 Report

Quoted By: >>12108006

>>12107789
The umbral calculus

Anonymous

View Same Google iqdb SauceNAO randomwalk.png, 127KiB, 934x639

Anonymous Fri 11 Sep 2020 08:50:27 No.12107978 Report

Quoted By: >>12108006

On Von Neumann's wiki page, it's stated that he argued for a group-theoretic interpretation of the fact that the "problem of measure" on $\mathbb{R}^n$ admits a positive solution for $n=1,2$ and a negative one (due to Banach-Tarski) for $n \ge 3$ : "the existence of a measure could be determined by looking at the properties of the transformation group of the given space [...] this comes from the fact that the Euclidean group is solvable for $n \le 2$ , and unsolvable for $n \ge 3$ ".

QUESTION: It's known that a random walk on $\mathbb{Z}^d$ is recurrent for $d=1,2$ and transient for $d \ge 3$ . Can /mg/ offer a similar group-theoretic perspective on this?

Anonymous

Anonymous Fri 11 Sep 2020 09:05:24 No.12108004 Report

Quoted By: >>12108021

bros... i forgot to do maths today... i feel sad...

Anonymous

Anonymous Fri 11 Sep 2020 09:06:31 No.12108006 Report

Quoted By:

>>12107935
how so

>>12107978
I can't
but we can study Banach-Tarski

Anonymous

Anonymous Fri 11 Sep 2020 09:21:33 No.12108021 Report

Quoted By:

>>12108004
I haven't done (pure) math in 5 days, it's ok anon.

Anonymous

Anonymous Fri 11 Sep 2020 09:26:19 No.12108029 Report

Quoted By:

>>12106772
okay thanks, I might email the uni and change to financial maths and teach myself coding at the same time

Anonymous

Anonymous Fri 11 Sep 2020 10:46:24 No.12108121 Report

Quoted By: >>12108759 >>12110540

I have an idea how a programming language that allows for arbitrary precision computation of mathematical problems in an elegant manner. It would be an intermediary between numerical computation and symbolic manipulation.
The idea is that every mathematical object is represented by a finite algorithm which computes that object to arbitrary precision (in the best case it also knows an error bound)
This idea only works for computable mathematics. So given two computable real numbers a and b, they would be represented by an algorithm whose output converges to the number when given enough time. The sum of a + b is then a combination of the two algorithms. Here it is important that some smart reductions/optimizations are made so the final algorithm after performing a few computations isn't exponentially inefficient. This would be compile time optimization maybe.
A continuous real function is represented by an algorithm that computes the output given an algorithm that computes an input. Then the integral of the function over an area is also just an algorithm which converges etc.

Anonymous

Anonymous Fri 11 Sep 2020 12:36:22 No.12108251 Report

Quoted By:

>>12107545
OK but did you read the entire thread? What do they mean by a non linear laplace transform to solve non-linear DEs? I am not aware of such a thing.

Anonymous

Anonymous Fri 11 Sep 2020 12:51:41 No.12108273 Report

Quoted By:

>>12107545
FUcking hilarious

Anonymous

Anonymous Fri 11 Sep 2020 16:05:06 No.12108759 Report

Quoted By:

>>12108121
Good luck getting anyone to read your code

Anonymous

View Same Google iqdb SauceNAO IMG_20200908_130119.jpg, 257KiB, 1664x2944

Anonymous Fri 11 Sep 2020 16:58:43 No.12108917 Report

Quoted By: >>12110209 >>12111308

Weird thing in complex differentiation:

>df/dz along x and y paths are equivalent
>assume f has twice differentiable partials
>travel one dy, then one dx from start point
>by pythagoras, you have traveled rt2 infinitesimal units
>since dx is approximately the same at f(0) vs f(dy), you have grown the functional value by df/dy+df/dx = 2df/dz
>in traveling rt2 units you have grown 2 df/dz units
But this is contradictory, implies the rate of change is not one df/dz per unit local change, but instead is 2/rt2 here

What gives?

Anonymous

Anonymous Fri 11 Sep 2020 17:37:23 No.12109014 Report

Quoted By: >>12111307

>>12107691
its a terminal object. the initial object is the empty set. It's more so that the forgetful functor is representable by the point (in a covariant sense).
I'm just thinking about how to generalize what the forgetful functor should be like in a general category, by noting that in Top and Set you can 'decode' any morphism [/math]f: X \to Y$ by looing at $Hom( \dot , X) \to Hom(\dot, Y)$

Anonymous

View Same Google iqdb SauceNAO hw.png, 165KiB, 1546x305

Anonymous Fri 11 Sep 2020 19:21:46 No.12109236 Report

Quoted By: >>12109265 >>12109267

Yo, can anybody help me proceed with my Real Analysis homework? So far I have figured that I ought to take the contrapositive of the first problem, yielding
$\forall j \in J, \exists \alpha \in A(Y_\alpha \cap Z_j = \emptyset ) \Longrightarrow \exists \alpha \in A, \forall j \in J (Y_\alpha \cap Z_j = \emptyset )$

but I don't know how J being finite helps me nail this down. I don't think I need contrapositive form for 4b.

Anonymous

Anonymous Fri 11 Sep 2020 19:34:37 No.12109265 Report

Quoted By: >>12109292

>>12109236
theres a relatively simple counterexample for b) if you take X = \mathbb{N}

Anonymous

Anonymous Fri 11 Sep 2020 19:35:10 No.12109267 Report

Quoted By:

>>12109236
$(A_1\cap A_2) \cap Z_1\subset A_1 \cap Z_1 = \emptyset$

Anonymous

Anonymous Fri 11 Sep 2020 19:45:19 No.12109292 Report

Quoted By:

>>12109265

You are just trying to (dis)prove: for all Z_j, there exists a Y_alpha such that is disjoint from Z_i. This is the negative, for sake of proof by contradiction. now apply the assumption "if we know...". Does this lead to contradiction?.

Anonymous

Anonymous Fri 11 Sep 2020 20:12:06 No.12109340 Report

Quoted By: >>12109378

What's the point of including the du function in an integral involving u-substitution if the derivative isn't carried into the final result?

Anonymous

Anonymous Fri 11 Sep 2020 20:24:33 No.12109378 Report

Quoted By:

>>12109340
example?
you sound mistaken

Anonymous

Anonymous Fri 11 Sep 2020 20:51:05 No.12109441 Report

Quoted By: >>12109452

>>12097896
How many apples is that though?

Anonymous

Anonymous Fri 11 Sep 2020 20:57:31 No.12109452 Report

Quoted By: >>12109464

>>12109441
A Rayman surface of apples

Anonymous

Anonymous Fri 11 Sep 2020 21:02:20 No.12109464 Report

Quoted By:

>>12109452
This.

Anonymous

Anonymous Fri 11 Sep 2020 22:19:45 No.12109642 Report

Quoted By: >>12109939 >>12110035

Are Lebesgue measures/integrals required if you want to truly understand statistics and probability?

Anonymous

View Same Google iqdb SauceNAO Screen Shot 2020-06-28 at 7.47.5 (...).png, 1MiB, 1018x842

Anonymous Sat 12 Sep 2020 00:09:36 No.12109880 Report

Quoted By: >>12109901

Anonymous

Anonymous Sat 12 Sep 2020 00:16:38 No.12109901 Report

Quoted By:

>>12109880
This looks retarded lol

Anonymous

Anonymous Sat 12 Sep 2020 00:30:15 No.12109939 Report

Quoted By:

>>12109642
yes if you want to read what other people write

Anonymous

Anonymous Sat 12 Sep 2020 00:57:01 No.12110035 Report

Quoted By: >>12110806

>>12109642
no not at all. all job stats are on reimann integrable functions. you can know what a measure space is and the basic parlence without taking a bona fide course on measure theory and studying shit like radon measures, haar measures, non measureable sets etc

Anonymous

Anonymous Sat 12 Sep 2020 02:14:56 No.12110209 Report

Quoted By: >>12110280

>>12108917
Infinitesimals don't exist bro jeez

Anonymous

Anonymous Sat 12 Sep 2020 03:02:46 No.12110280 Report

Quoted By: >>12110890

>>12110209
They exist so much there are like five different formulations in common use.

Anonymous

Anonymous Sat 12 Sep 2020 05:31:24 No.12110529 Report

Quoted By:

>>12105513
>Are lattices the highest IQ algebraic structure?
>not quantales

wew

Anonymous

Anonymous Sat 12 Sep 2020 05:34:38 No.12110534 Report

Quoted By:

>>12107545
doctors are normies larping as scientists

Anonymous

Anonymous Sat 12 Sep 2020 05:36:31 No.12110540 Report

Quoted By:

>>12108121
equality is not decidable on R

Anonymous

Anonymous Sat 12 Sep 2020 06:00:48 No.12110583 Report

Quoted By: >>12110598

Do I actually need all the background trigonometry has? Like I know most basic concepts like unit circle and such but I was wondering if I can just learn the formulas for calculus and do just fine?

Anonymous

Anonymous Sat 12 Sep 2020 06:04:37 No.12110598 Report

Quoted By:

>>12110583
For differential calculus, you'll only need the basics. For integral calculus, you'll use more like double angle formulas and such, but nothing extensive.

Anonymous

Anonymous Sat 12 Sep 2020 06:55:07 No.12110724 Report

Quoted By: >>12110808 >>12111039

This question blew my mind, it seems pretty difficult but if you draw a "picture" of the underlying schemes the answer is obvious.
Let $A = \mathbb{C} [x,y]/(xy)$ and $B = \mathbb{C} [x,y]/(xy^2)$ . For which $f \in A$ and $g \in B$ are the localisations $A_f$ and $B_g$ isomorphic?

Anonymous

Anonymous Sat 12 Sep 2020 07:38:30 No.12110806 Report

Quoted By:

>>12110035
Convergenve in probability makes no sense without measure theory. Heck defining random variables and probability measures make no sense without it.

Anonymous

Anonymous Sat 12 Sep 2020 07:39:32 No.12110808 Report

Quoted By: >>12110877

>>12110724
I don't know what a localization is lol

Anonymous

Anonymous Sat 12 Sep 2020 08:12:02 No.12110877 Report

Quoted By: >>12110979

>>12110808
https://en.wikipedia.org/wiki/Localization_(commutative_algebra)
Localising by $f$ is basically saying you are now allowed to divide by $f$ . Elements of the localisation $A_f$ are "fractions" of the form $\frac{a}{f^n}$ where $a \in A$ . Two fractions $\frac{a_1}{f_1}$ and $\frac{a_2}{f_2}$ are equivalent if there exists an $m \in \mathbb{N}$ such that $f^m (a_1f_2-a_2f_1)=0$ in $A$ . This is basically the normal equivalence for fractions except you have this extra $f^m$ term which helps you avoid dividing by zero when $A$ is not an integral domain.

Anonymous

Anonymous Sat 12 Sep 2020 08:16:09 No.12110890 Report

Quoted By:

>>12110280
Not in standard analysis tho.

Anonymous

Anonymous Sat 12 Sep 2020 09:15:06 No.12110979 Report

Quoted By: >>12111039

>>12110877
Not this guy but I've come across this several times but never got an intuition for it.

Is there some low-dimensional (but higher than 1 dimensions) algebra or module or space X, maybe even a matrix algebra, with a localization where the things one localizes w.r.t. are not just 0 and the rest? E.g. some 2 or 7 element set one uses in this process. I'd like X becomes after a non-trivial example. What it's elements are and how many there are and such. thx

Anonymous

Anonymous Sat 12 Sep 2020 09:50:27 No.12111039 Report

Quoted By: >>12111132 >>12111136

>>12110979
Think more of simple rings.
In $\mathbb{Z}$ for instance, you can localize with respect to 5 and you get $\mathbb{Z}\frac{1}{5}$ .

Another classic exemple is you take a prime. 5 again for instance, and you localize everyone that isn't a multiple of five. Then you get $\mathbb{Z}_5$ , the ring of 5-adic integers, whose only prime number is 5.

>>12110724
We the schemes they define clearly have the same underlying sets, but one is reduced and the other isn't. Now, there's only one structure of reduced scheme in general for a given underlying set, so any localisation of the second set that is reduced will work.
This means we have to eliminate xy from the second ring.
So any localisations $A_f$ and $B_g$ where f is the image of g in $B/(xy)$ and g is a multiple of y.

Is that correct?

Anonymous

Anonymous Sat 12 Sep 2020 10:57:54 No.12111132 Report

Quoted By: >>12111136

>>12111039
>Z(1/5)
What's that?

>localize everyone that isn't a multiple of five
this means only those elements survive in a quotient?
I don't know much about the p-adics

Anonymous

Anonymous Sat 12 Sep 2020 11:01:02 No.12111136 Report

Quoted By: >>12111142 >>12111229

>>12111039
>Then you get \mathbb{Z}_5, the ring of 5-adic integers
I'm baked as fuck but I'm pretty sure this is wrong, the same notation is used but those rings are different (-1 has square roots in the p-adics for example).

>So any localisations AfAf and BgBg where f is the image of g in B/(xy)B/(xy) and g is a multiple of y
That's basically the tricky part, there are more that come from scaling based change of coordinates though.

>>12111132
>What's that?
The integers but you can divide by 5 :^)

>this means only those elements survive in a quotient?
The integers but you can divide by everything that isn't a multiple of 5 :^)
Like the rationals but you can't divide by 5

Anonymous

Anonymous Sat 12 Sep 2020 11:08:33 No.12111142 Report

Quoted By: >>12111145

>>12111136
>Like the rationals but you can't divide by 5
So 5 is not in it anymore (or, if it is still in it, I can't divide 5 by 5 anymore)?

Anonymous

View Same Google iqdb SauceNAO Jack_and_Ellen_Yoho_BC_1971.jpg, 67KiB, 440x726

Anonymous Sat 12 Sep 2020 11:09:36 No.12111143 Report

Quoted By:

I'm trying to phrase the uncountability of PN in second order arithmetic - can you verify my thinking...

Naturally, I phrase it as non-existence of a bijection between N and (N->{0,1}), which we can uncurry to (N x N) -> {0,1}.
We can speak about those as functions by applying a pairing n->(k,m) twice (those functions are encoded as subsets of N and thus we're still second order).
Now I just need to express the bijection property.

A bijectionN N->{0,1}) as encoded by ((N x N) x {0,1}) means

for all m,n, if
??? profit ???
then m=n
I still need to figure out the ??? part in terms of triples

Anonymous

Anonymous Sat 12 Sep 2020 11:10:06 No.12111145 Report

Quoted By: >>12111147

>>12111142
5 is in
1/5 is not
43/6 is in
36/10 is not

Anonymous

Anonymous Sat 12 Sep 2020 11:11:49 No.12111147 Report

Quoted By: >>12111165 >>12111229

>>12111145
Okay thanks. In what sense is this a "localization"? Seems like you removed info about 5.

Anonymous

Anonymous Sat 12 Sep 2020 11:24:07 No.12111165 Report

Quoted By: >>12111230

>>12111147
You probably have no idea what a scheme is but Spec $A_f$ embeds as an open set in Spec $A$ so it is a "local" piece of information. Localising at a prime is the same as the stalk at that prime, which is even more "local" information.
Often when localising you get a local ring (https://en.wikipedia.org/wiki/Local_ring) but I'm not sure what terminology came first.
>Seems like you removed info about 5
In fact what you're really doing is removing information about all the ideals except (5) (and powers of 5). For example since 4 is invertible the ideal (4) becomes the trivial ideal (1). You add more elements but the ring becomes simpler as a result.

Anonymous

Anonymous Sat 12 Sep 2020 12:15:38 No.12111229 Report

Quoted By: >>12111230

>>12111147
5 is the only remaining prime ideal, so you can study how some equation relates to 5 as a prime without having other primes getting in the way.

>>12111136
Ah yes, I somehow forgot. You get the 5-adics as the completion of $\mathbb{Z}_5$ , not directly as the localisation.>>12111136

No, you're right, I talked way too fast.
You'd still have to take the completion of that $Z_5$ to get the 5-adic numbers.

Anonymous

Anonymous Sat 12 Sep 2020 12:17:17 No.12111230 Report

Quoted By: >>12111232 >>12111257

>>12111165
>>12111229
Okay, so it's a kind of trivialization ("field-ification") of everything else

Anonymous

Anonymous Sat 12 Sep 2020 12:17:41 No.12111232 Report

Quoted By:

>>12111230
Exactly

Anonymous

View Same Google iqdb SauceNAO 1969-dispatch-greg_hill-is_schoo (...).jpg, 922KiB, 1600x2029

Anonymous Sat 12 Sep 2020 12:31:28 No.12111249 Report

Quoted By: >>12111922

>>12097896

Anonymous

View Same Google iqdb SauceNAO a0e2j.jpg, 24KiB, 440x431

Anonymous Sat 12 Sep 2020 12:34:28 No.12111257 Report

Quoted By: >>12111292

>>12111230
Yes! If we consider an integral domain, then the trivial ideal is prime. We may now localise with respect to that and this is precisely the field of fractions.

Anonymous

Anonymous Sat 12 Sep 2020 12:53:12 No.12111290 Report

Quoted By: >>12111517

>>12106288
Yes. It is even true that both the real and imaginary part of a holomorphic function are smooth. Should be somewhere in any introductory book to complex analysis

Anonymous

View Same Google iqdb SauceNAO anidemon.png, 1MiB, 1920x1080

Anonymous Sat 12 Sep 2020 12:54:51 No.12111292 Report

Quoted By: >>12111302

>>12111257
okay, good to know. maybe I read some AG sometime

Anonymous

View Same Google iqdb SauceNAO 7868946f.jpg, 101KiB, 1280x720

Anonymous Sat 12 Sep 2020 13:02:59 No.12111302 Report

Quoted By:

>>12111292
Just your basic ring theory, but if you wish to walk the AG path I will not stop you.

Anonymous

Anonymous Sat 12 Sep 2020 13:06:57 No.12111307 Report

Quoted By:

>>12109014
https://ncatlab.org/nlab/show/generalized+element

Anonymous

Anonymous Sat 12 Sep 2020 13:08:24 No.12111308 Report

Quoted By:

>>12108917
>infinitesimal
stopped reading there

Anonymous

Anonymous Sat 12 Sep 2020 14:52:43 No.12111517 Report

Quoted By:

>>12111290
Thank you.

Anonymous

Anonymous Sat 12 Sep 2020 16:16:59 No.12111728 Report

Quoted By:

1466282

Anonymous

Anonymous Sat 12 Sep 2020 17:39:05 No.12111922 Report

Quoted By:

>>12111249
Why are americans so fucking insane

Anonymous

Anonymous Sat 12 Sep 2020 19:34:38 No.12112301 Report

Quoted By:

>>12112291
Neue

Anonymous

Anonymous Sat 12 Sep 2020 19:40:33 No.12112329 Report

Quoted By: >>12112912

$\mathbb{Q}$ is a metric space, right?

Anonymous

Anonymous Sat 12 Sep 2020 22:45:12 No.12112912 Report

Quoted By:

>>12112329
Yes

Anonymous

Anonymous Sun 13 Sep 2020 01:03:40 No.12113223 Report

Quoted By:

Just did my first quiz for discrete math and got a shitty grade. Is this class hard or I'm just retarded?

Capcode	All Only User Posts Only Moderator Posts Only Admin Posts Only Developer Posts
Show Posts	All Only With Images Only Without Images
Deleted Posts	All Only Deleted Posts Only Non-Deleted Posts
Ghost Posts	All Only Ghost Posts Only Non-Ghost Posts
Post Type	All Only Sticky Threads Only Opening Posts Only Reply Posts
Results	All Grouped By Threads
Order	Latest Posts First Oldest Posts First

Your latest searches