[ 3 / biz / cgl / ck / diy / fa / ic / jp / lit / sci / vr / vt ] [ index / top / reports ] [ become a patron ] [ status ]
2023-11: Warosu is now out of extended maintenance.

/sci/ - Science & Math


View post   

File: 400 KB, 910x510, Mikhail-Gromov.png [View same] [iqdb] [saucenao] [google]
11659522 No.11659522 [Reply] [Original]

Talk maths, formerly >>11641742

>> No.11659630
File: 37 KB, 388x555, ninaleen.jpg [View same] [iqdb] [saucenao] [google]
11659630

If someone wants to read along, today I'm going to study this paper on Mathematical Software Systems.
And later maybe some of the more specialized papers linked therein therein.

https://arxiv.org/abs/2002.04955
https://arxiv.org/pdf/2002.04955.pdf

It's a survey text, in progress, in the field of
https://en.wikipedia.org/wiki/Mathematical_knowledge_management

>> No.11659933

Im struggling with a question if anyone could help me that would be awesome. If in a sample space s there are 8 possible outcomes
s={bbb,bbg,bgg,bgb,ggg,ggb,gbb,gbg} we can find events where set m={bbg,bgg,bgb,ggb,gbb,gbg} and n={bgg,ggb,gbg}. If in a single outcome b is 11/9 more likely than g, what is the probability of m and n? Thanks im new to working with probabilites.

>> No.11659963

i have studied mathematics today

>> No.11660043
File: 62 KB, 1107x355, stats.png [View same] [iqdb] [saucenao] [google]
11660043

>>11659933
working this problem more I missed something. set n should also have a ggg case so n={bgg,ggb,gbg, ggg}.

>> No.11660045

>>11659522
>tfw no Dieudonné theory over Spec Z

>> No.11660070
File: 71 KB, 767x359, ruRz30p.png [View same] [iqdb] [saucenao] [google]
11660070

>>11659963
Good job, anon. Which field?

>> No.11660156

>>11659630
Looks interesting, might take a look at it later today. Do you work on any software or is this just a personal interest?

>> No.11660270
File: 740 KB, 1974x1202, pie.png [View same] [iqdb] [saucenao] [google]
11660270

>>11660156
Well, I work on related software in the a low-key kind of way. Some years ago I was thinking a lot on how to organize personal notes and how they relate to the logical aspects of mathematical data itself and I had set up a wiki with an interactive graph showing the connections

https://graph.axiomsofchoice.org/?to=linear_approximation

Around 14, when I learned lambda calculus for the first time, I came across one of the authors of that paper (Farmer, who back then worked on Lisp looking systems with "undefined" predicates and whatnot).
I just came across that paper yesterday when I looked him up after a long time.

>> No.11660365
File: 88 KB, 1154x778, Screen Shot 2020-05-11 at 2.23.08 PM.png [View same] [iqdb] [saucenao] [google]
11660365

I'm a literal dumbass and I can't remember how to do this one problem and I don't have my textbook with me. I doubt that anyone will be willing to do it, but I might just get lucky and have a nice person here.

>> No.11660391
File: 24 KB, 509x493, 08c9fd01.jpg [View same] [iqdb] [saucenao] [google]
11660391

>>11660365
The x-coordinate corresponds to the cosine, so that allows us to eliminate b. Next, if it was a, then the leftmost point would be where the x-axis ends, as then the x-coordinate would be -5. Not happening, thus not a. If it was d, then the rightmost point would have its x-coordinate be 2-2cos(0)=2-2=0, but that is not happening either. Only c is possible.

>> No.11660397

>>11660391
Thank you very much anon, you're a kind person.

>> No.11660408
File: 46 KB, 600x450, c1876e71.jpg [View same] [iqdb] [saucenao] [google]
11660408

>>11660397
Nah, my motive was a selfish search for a quick sensation of being able to do even something.

>> No.11660418

>>11660408
Well, I'm still thankful that you did it for me, so I will regard you as kind.

>> No.11660652
File: 1.81 MB, 478x251, 1580809536483.gif [View same] [iqdb] [saucenao] [google]
11660652

What's the probability [math]n[/math] (or rather [math]m \leq n[/math]) random vectors of [math]\mathbb{R}^n[/math] will be linearly independent?

>> No.11660674

>>11660652
Ok, that would probably be [math]1[/math], right? The so far generated subspace has measure zero. What about [math]\mathbb{Z}^n[/math], then? Or [math][a,a][/math]?

>> No.11660675

>>11660652
1

>> No.11660679

>>11660674
>Or [a,a]?
meant to be [math][-a,~a][/math]

>> No.11660697

>>11660652
>of [math]\mathbb{R}^n[/math]
The correct question is for [math]S^{n-1}[/math].
>>11660674
>What about Zn
The correct question for that one is sorta convoluted and left as an exercise for the reader.

>> No.11660722
File: 99 KB, 519x500, distribution.png [View same] [iqdb] [saucenao] [google]
11660722

>>11660674
>Z^n

>> No.11660737

>>11660697
The issue here is that anon didn't specify a distribution, and there is no uniform distribution over either R^n or Z^n?

>> No.11660768

>|A| denotes norm, order, cardinality and determinant

Fuck maths

>> No.11660774
File: 132 KB, 1050x902, gigachad2.jpg [View same] [iqdb] [saucenao] [google]
11660774

>>11660768
Do you not see the analogy between all of those? All of them mean the size of A.

>> No.11660785

>>11660768
You can do this with about every symbol, though.

>>11660774
although order and cardinality doesn't map into a field

>> No.11660799

>>11660774
In what sense is the determinant of a matrix its 'size'? Genuinely wondering though

>> No.11660803

>>11660785
>although order and cardinality doesn't map into a field
[math]\mathbb{R}[/math] is a field.

>> No.11660811

>>11660799
>In what sense is the determinant of a matrix its 'size'?
The determinant is the signed volume of the transformed unit n-parallelepiped.

>> No.11660818
File: 43 KB, 480x197, maths_question-1.jpg [View same] [iqdb] [saucenao] [google]
11660818

$1.00 ÷ 3 = ???

>> No.11660822

>>11660799
In the sense that a linear map changes the size of every object by the same factor. The size of any volume 1 object transformed under T is the absolute value of the determinant of T. The determinant is by how much it scales objects.

>> No.11660827

>>11659522
Guys, I want to study dynamical systems theory.

>> No.11660831

>>11660737
Yes.
On R^n it doesn't really matter since you can just pass to S^n-1 tho, which is compact and admit the good old uniform distribution.
That doesn't work for Z^n, so you have to do a whole rodeo about considering the open balls around 0 and letting the radius go to infinity.

>> No.11660833

>>11660818
Be pragamatic. 30,30, and 40p or 35x2 and 30p

>> No.11660837

>>11660831
> S^n-1 tho, which is compact and admit the good old uniform distribution
In what sense is it uniform? In the sense that it's invariant under rotational symmetries of S^n-1?

>> No.11660838 [DELETED] 

>>11660818
[math]$0.\bar{333}[/math]

>> No.11660843
File: 57 KB, 1420x946, 13-wojak_00.w710.h473.2x.jpg [View same] [iqdb] [saucenao] [google]
11660843

>>11660818
[math]$0.\overline{333}[/math]

>> No.11660844

>>11660837
>In what sense is it uniform?
it gives 1 over the whole space

>> No.11660851

>>11660837
Yes.

>> No.11660858

>>11660652
>>11660674
>>11660679
>>11660697
>>11660722
>>11660737
ok, yeah, the question is very retarded, but let's at least consider the most boring version of [math]\mathbb{Z}_{p}^n[/math] with uniform distribution.

>> No.11660861

>>11660697
>S^{n−1}
what is it, I'm el retardo

>> No.11660869

>>11660818
$1 for me, $0 for the others

>> No.11660882

>>11660858
p^(nxn) / ((p^n - 1)(p^n - p) ... (p^n - p^(n-1)))

>> No.11660888

>>11660882
I meant the inverse of that:
((p^n - 1)(p^n - p) ... (p^n - p^(n-1))) / p^(nxn)

>> No.11660892

>>11660803
huh?

>> No.11660893

>>11660861
It's the n'th suspension of the space of 2 points.

>> No.11660898

>>11660892
>huh?
Which part did you not understand?

>> No.11660939

I thought the guy in ops photo was mr lahey

>> No.11660964

>>11660888
There doesn't seem to be a nice closed form for the limit of this as n-> infinity that I can find.
The value of this infinite product for p = 2 shows up in a couple references if you google it but they never say anything about a closed form.

>> No.11661015

Let [math]\omega [/math] be the set of natural numbers as usually defined in set theory then [math]\omega^+[/math] exists, but is there an element [math]\alpha \in \omega[/math] such that [math]\alpha^+ = \omega [/math]?

>> No.11661051

>>11661015
No. w is not a successor ordinal. What you're asking is the equivalent to "is there a largest natural number?". NO YOU DOOFUS

>> No.11661055

>>11661015
Is it enough of an answer to point out that ω is a limit ordinal as opposed to a successor ordinal?

>> No.11661077

>>11661051
>>11661055
prove it

>> No.11661101

>>11661077
Assume that there is a largerest number n.
Then n+3 is largerer than n+2, which is largererer than n+1, which is largerererer than n, and thus by transitivity n+2 is larger than, and consequently n isn't the largerest number, although it might be the largest.

>> No.11661108

I finished a maths degree and want to continue self studying topics I find interesting. Issue is, I'm so used to handholding in uni and don't really know how to learn solely from a textbook. Usually I just write down the theorems and work out examples, but I am curious if I am not taking away as much. How do other anons digest maths textbooks?

>> No.11661110

>>11661101
huh?

>> No.11661126

>>11661110
>he doesn't know largerness theory at the advanced undergraduate or early graduate level

>> No.11661147
File: 14 KB, 306x460, understanding analysis.jpg [View same] [iqdb] [saucenao] [google]
11661147

can i go from this book to complex analysis? if so, what books do you recommend?

>> No.11661177

>>11661108
>How do other anons digest maths textbooks?
I try to prove whatever I can. Usually I skim through the examples, though it would be beneficial to either work out the details for a given example or just read them. I do the exercises which were assigned by a professor at my university who taught the corresponding class. Also, don't bother copying down proofs unless you worked out the details or intend of studying them carefully.

>> No.11661216

>>11661147
Read Rudin :)

>> No.11661224

>>11661216
brain too small

>> No.11661286

Physics guy here. What undergrad math books do you strongly recommend? I've already done the first set of calculus courses and a differential equations course offered by my university.
I saw the list of topics recommended for reading, but is there a recommended book list or am I on my own?

>> No.11661294
File: 1.37 MB, 1140x4777, 1384823862862.png [View same] [iqdb] [saucenao] [google]
11661294

>>11661286
/mg/ approved

>> No.11661434

>>11661147
complex analysis gamelin

>> No.11661441

>>11661286
Linear algebra, analysis real and complex,topology, functional analysis, Group theory, PDE, representation theory, algebraic topology and differential geometry.

>> No.11661455

>>11661286
What kind of physics interest you?

>> No.11661479

>>11661455
>What kind of physics interest you?
String theory

>> No.11661488

>>11661479
ok kid
>>11661294 unironically

>> No.11661495

>>11661479
Holy shit
Yes >>11661294

https://physicstoday.scitation.org/doi/10.1063/PT.3.2980
>String theory has, even among theoretical physicists, the reputation of being mathematically intimidating. But many of its essential elements can actually be described simply. This article aims to answer a few basic questions. How does string theory generalize standard quantum field theory? Why does string theory force us to unify general relativity with the other forces of nature, while standard quantum field theory makes it so difficult to incorporate general relativity? Why are there no ultraviolet divergences in string theory? And what happens to Albert Einstein’s conception of spacetime?

>> No.11661496

>>11661479
Seconding >>11661294 unironically.

>> No.11661595

>tfw you realize you have to wake up tomorrow
bros...

>> No.11661637
File: 93 KB, 708x797, TURN ON CNN.png [View same] [iqdb] [saucenao] [google]
11661637

https://arxiv.org/pdf/2005.04568.pdf
>The Chi Function, Tau Function, and Riemann Zeta Function
>Jianyun Zhang

>The fundamental relationship ζ(s)=χ(s)ζ(1−s) reveals that no special function is more suitable than the chi function χ(s) to study the Riemann zeta function ζ(s). When t is sufficiently large, the modulus and argument of χ(σ+it) are monotone about σ and t respectively, which accomodates the construction of a Riemann surface for the multivalued z=χ(s). The inverse of χ(s), which is branched and much similiar to the logarithm function, is introduced as tau function s=τ(z). Then ζ(s)=ζ∘τ(z) can be studied by its different branches, with a much simpler relationship in single-valued domains, which finally leads to the conclusion about the nontrivial zeros of ζ(s).

>> No.11661651

>>11660844
That's not what "uniform" means. Any probability space has measure 1.

>> No.11661816

>>11660818

you can't divide a dollar by three

>> No.11661819
File: 93 KB, 645x729, 4c9.png [View same] [iqdb] [saucenao] [google]
11661819

>>11661651
>That's not what "uniform" means. Any probability space has measure 1.

>> No.11661894

Any book suggestions on algebraic k theory or representation theory?

>> No.11661903

>>11661894
representation theory is a gigantic bloated hydra of a subject
what kind of representation theory do you want

if you don't know the answer to that question, then Etingof (and his dozen coauthors) is probably a good option

>> No.11661949

>>11661903
Yeah, it is. I'm mostly interested in locally compact, semi-simple lie groups

>> No.11662119

>>11661949
>locally compact, semi-simple lie groups
all Lie groups are locally compact, you don't need to qualify them

but anyway, Hall's book is a very nice intro for basic Lie theory. The section on Lie algebras in particular is just about the only treatment I know that does it properly without being an inscrutable Bourbakian spergmaster

>> No.11662165
File: 90 KB, 847x944, 20168-875012322.jpg [View same] [iqdb] [saucenao] [google]
11662165

Biobrainlet here. I want to learn about network analysis, regression modelling, and basically data science. I'm going to have a shit ton of free time when I graduate. I was thinking the main topics I need to cover are linear algebra, basic statistics, and bayesian modelling. Is there anything you guys would add to the game plan? Books you like? I've taken up to calc III but I realized it's not very useful for anything I want to do too late, unfortunately.

>> No.11662241

How many hours a day do you guys dedicate to maths?

>> No.11662242

>>11662241
>How many hours a day do you guys dedicate to maths?
24

>> No.11662251

>>11661819
Uniform is really a geometric or group theoretic concept. It requires one to have some notion of preserving the measure under pullback by so called "geometry-preserving maps." So on a circle or a sphere, the uniform probability measure is a multiple of the Lebesgue measure, because it is invariant under rotations of sets on those spaces. For things like the unit interval you can't really define it this way, since you can't translate things wherever you'd like in a unit interval. But you get the idea that sets which "geometrically" look the same should have the same probability/measure.
You can think about the density (radon nikodym derivative) of the measure if you're sitting somewhere inside an R^n, and think of it like the density being constant.

>> No.11662258

>>11662119
>all Lie groups are locally compact
>he thinks Lie groups are finite dimensional

>> No.11662297
File: 57 KB, 960x540, 13486283682.jpg [View same] [iqdb] [saucenao] [google]
11662297

>>11662258
what was meant by this post

>> No.11662386
File: 7 KB, 462x491, 1586187350800.png [View same] [iqdb] [saucenao] [google]
11662386

>>11662251
>>>11661819 (You) #
>Uniform is really a geometric or group theoretic concept. It requires one to have some notion of preserving the measure under pullback by so called "geometry-preserving maps." So on a circle or a sphere, the uniform probability measure is a multiple of the Lebesgue measure, because it is invariant under rotations of sets on those spaces. For things like the unit interval you can't really define it this way, since you can't translate things wherever you'd like in a unit interval. But you get the idea that sets which "geometrically" look the same should have the same probability/measure.
>You can think about the density (radon nikodym derivative) of the measure if you're sitting somewhere inside an R^n, and think of it like the density being constant.

>> No.11662392
File: 48 KB, 645x729, 8d6.jpg [View same] [iqdb] [saucenao] [google]
11662392

>>11662297
>what was meant by this post

>> No.11662511

>>11661434
Based. Good exercises too.
>>11662392
The blind lead the blind in /mg/

>> No.11662868

I am Serge Lang.

>> No.11662924
File: 46 KB, 723x664, adb4a19d.jpg [View same] [iqdb] [saucenao] [google]
11662924

>>11662241
Subconsciously at least the 18 hours I am awake.

>> No.11662970

Have you analyzed functions of several complex variables today, /mg/?

>> No.11662999

>>11662970

Would I be 'wrong' to say that complex functions are about rotations and real spaces are about translations?

>> No.11663062

How insane is the idea of enrolling in a mathematical analysis MS without doing the BS?
Obviously learning the undergrad material from literature.
Looking at the undergrad courses, I don't relly like the idea of doing the undergrad.

>> No.11663072

>>11663062
"insane" is too dramatic a word
it's just stupid

>> No.11663077

>>11663072
And what if I go from a related undergrad? Say, physics. Just don't wanna do the math BS.

>> No.11663078

Trying to implement this prime testing algorithm and I'm struggling to understand the 'witness' part

> odd composite n has many witnesses a. However, no simple way of generating such an a is known. The solution is to make the test probabilistic: we choose a non-zero a in Z/nZ randomly, and check whether or not it is a witness for the compositeness of n. If n is composite, most of the choices for a will be witnesses, and the test will detect n as composite with high probability. There is, nevertheless, a small chance that we are unlucky and hit an a which is a strong liar for n. We may reduce the probability of such error by repeating the test for several independently chosen a.

https://en.wikipedia.org/wiki/Miller%E2%80%93Rabin_primality_test

In simple words, what do I do to generate witnesses?

>> No.11663082

>>11663078
The witness is simply a counterexample.
Maybe first try understanding why the algorithm works and only than implement it.

>> No.11663091

>>11663077
Why are you so convinced you'll like graduate math if you're this insistent on avoiding undergrad math? It's just the same shit but with added autism

>> No.11663100

>>11663091
I just fell like I know a lot of it already looking at the tests and syllabi. It seems like it wouldn't be too challenging and I don't want to waste the years.
Physics is better in that it may give me more new knowledge.
Don't wanna sound arrogant and say the undergrad is easy, maybe many of the exercises throughout the study would be challenging and benefitial.
I also want to go for analysis specifically.

>> No.11663104

>>11662868
why are you a meme mister Serge?

>> No.11663117

>>11663082
I get the general idea, ut I'm trying to make sure I don't make a mistake when I select witnesses. Is it okay if I just choose a few random primes smaller than the number I'm testing? Are there any other conditions I need to meet?

>> No.11663124
File: 132 KB, 240x270, 1581597949302.png [View same] [iqdb] [saucenao] [google]
11663124

thoughts on Tao?

>> No.11663125

>>11663124
Tao is a meme

>> No.11663128

>>11663125
reddit take

>> No.11663133

>>11663100
>and I don't want to waste the years.
If you've actually taught yourself the equivalent of a math Bachelor's without ever attending university you ought to know that you're not restricted to learning only the stuff that's taught to you in classes.

>> No.11663138

>>11663128
Cope

>> No.11663140

>>11663128
no, falling for the tao meme is the reddit take

>> No.11663142

>>11663117
>Is it okay if I just choose a few random primes
ehh, you don't choose primes, simply numbers less than the tested number.
With Rabin, you get a quarter prob. of saying it's prime while it's composit with every every number you test.
You may also look into Rabin-Miller.

>> No.11663158

>>11663133
so what you are saying is that learning the graduate material from books is the option for a person like me?

>> No.11663165

>>11663158
I think some reading comprehension classes would benefit you greatly

>> No.11663197

>>11663165
>you ought to know that you're not restricted to learning only the stuff that's taught to you in classes
I agree they would benefit me, because this isn't clear to me. If you think you've answered my question, I didn't get it.

>> No.11663209

>>11663197
I'm suggesting the idea that it's a "waste of years" to do a math undergrad because you already know the stuff in the lectures is silly. No one is forcing you to ONLY learn the stuff that's currently going on in the classes you're writing. If you actually did teach yourself an entire undergrad worth of math you've been learning what you wanted independently for years. There's no reason to magically stop reading because you're taking classes now.
Nobody is even forcing you to attend a specific class. If you want to go to sit in the graduate classes and seminars as a freshman, it's not like they're going to kick you out.

>> No.11663213

>>11663209
Good take, but that still takes far longer than the grad course and it forces me to do both the bachelor and the master thesis.

>> No.11663221

>>11663213
>but that still takes far longer than the grad course
So? Most people with academic goals would kill for the chance to spend 3-4 years at a university with their only responsibilities being to take some tests they can already pass. Why deliberately skip the fun part of university so you can rush to the "obligated to grind out 80 hours of work weekly with very minimal freedom" part?
Besides, you were fine with the timeframe and amount of work when it was a physics degree.

>> No.11663223
File: 40 KB, 298x396, 1545387132.png [View same] [iqdb] [saucenao] [google]
11663223

Thoughts on this book?

>> No.11663238

>>11663223
I think you should read it and find out.

>> No.11663245
File: 107 KB, 1906x1067, f96ba7fc.jpg [View same] [iqdb] [saucenao] [google]
11663245

>>11663223
Who else tried to solve every equation by multiplying by 0 as a kid? Surely you did the same, right?

>> No.11663251

>>11663245
In 9th grade I trisected an angle and brought it in to show my math teacher
In my defense, it was based on a homework problem he assigned that was wrong (one of those things where the figure given in the problem can't actually exist), but it still goes in my cringe scrapbook

>> No.11663258

>>11663251
>one of those things where the figure given in the problem can't actually exist
I like the triangle with sides 1, 1 and 3. You learned your lesson, though. Question authority.

>> No.11663279

>>11663221
I will give it some more thinking. Thanks for the answers. I understand it's dumb to rush to the MS without a math BS.
>Besides, you were fine with the timeframe and amount of work when it was a physics degree.
That's because physics sounds packed with new knowledge. I neglected it badly in high school.

>> No.11663282

>no yukariposts
/mg/ is worthless now

>> No.11663308
File: 140 KB, 321x292, 1577688553959.png [View same] [iqdb] [saucenao] [google]
11663308

>have been attempting to prove that symmetrical matrices only have real eigenvalues for literally hours
>still nothing
Im a brainlet arent I

>> No.11663336
File: 65 KB, 856x1360, Hartshorne.jpg [View same] [iqdb] [saucenao] [google]
11663336

Hi /mg/, I'm starting a PhD next year and wanted to read this over the summer before starting. I've been working through the exercises and notice that I keep getting stuck on notions in commutative algebra that I haven't seen before. Is it worth working through Atiyah-Macdonald or something similar first or should I just learn what I need as it comes?

>> No.11663351
File: 77 KB, 1024x922, db9d3c82.jpg [View same] [iqdb] [saucenao] [google]
11663351

>>11663336
It depends on the person. I would probably go with Hartshorne as far as I could and check the details from Atiyah-McDonald or Eisenbud etc. when I'd get stuck, but would this be the optimal way for you to do it is something I can't say anything certain about.

>>11663308
What have you tried?

>> No.11663355

>>11663308
if you've already been taught about inner product spaces recently, then you may have brainletism
otherwise no

>> No.11663386

>>11663351
Well I found out the if [math]\lambda[/math] is an eigenvalue of a symmetrical matrix A with eigenvector [math]v[/math], then [math]\overline{\lambda}\text{and} \overline{v}[/math] are also eigenvalue and eigenvector of A.
So what Ive been trying to do is isolate the imaginary value of [math]\lambda[\math] by either adding of multipling some variations of [math]Av = \lambda v[/math]. What Im trying to get is either [math]Im(\lambda) = 0 [/math] or getting something like [math]\lambda^2 = \norm{v}^2[/math]
It all leads to nowhere though

>> No.11663388

>>11663308
When day is dark and night is cold, always remember that [math]\lambda \in \mathbb{R}[/math] if and only if [math]\lambda = \overline{ \lambda}[/math]

>> No.11663390
File: 213 KB, 1920x1080, 76tyui.jpg [View same] [iqdb] [saucenao] [google]
11663390

Reminder to geometers:
https://www-app.uni-regensburg.de/Fakultaeten/MAT/sfb-higher-invariants/index.php/Regensburg_low-dimensional_geometry_and_topology_seminar
1½ hours till showtime.

>> No.11663412

>>11663351
Thanks, hadn't really looked into Eisenbud but seems very helpful!

>> No.11663462
File: 101 KB, 1920x1080, a6bf419b.jpg [View same] [iqdb] [saucenao] [google]
11663462

>>11663386
Suppose you have [math]Av = \lambda v[/math], and then you take the conjugates and get [math]A \overline{v} = \overline{\lambda} \overline{v}[/math]. What happens if you compare [math]\overline{v}^T Av, v^TA \overline{v}[/math]? Applying the wise words of >>11663388 will then give you what you want.

>>11663412
No problem!

>> No.11663473

As someone with 0 experience in proof-based math, where do you guys suggest I start? My HS only really taught us to plug and chug. None of my college math has been proof-based either. I am worried I am behind my peers, as some of them had proof-based geometry in HS

>> No.11663488

>>11663388
>>11663462
thanks finally got it

>> No.11663605

>>11663473
My first experience with proofs was in discrete math and linear algebra, so I'd go with that. I'd start with Discrete Mathematics by Rosen since it starts with chapters on logic and set theory. Try to pick up Linear Algebra by the Lays after and the harder problems of each chapter are usually proofs.

>> No.11663730

>>11663062
Donald Knuth only attended graduate courses in his undergrad studies and he received a MS for that.

>> No.11663957

https://youtu.be/QNYF-fiLB4c?t=47
What does your supervisor look like when you make progress with your work? Mine looks like this.

>> No.11664239

>>11663957
>blank stare
>"good job."
>goes back to talking about math

>> No.11664265

>>11663282
this

>> No.11664433

>>11663308
>for literally hours
Not that anybody believes you tried for hours, but..
Have you tried proving it for 2x2 matrices by hand and then generalize?

>>11662119
>>11662258
>>11662297
Clearly he was implying that if you think of Lie groups in a context that goes beyond matrix representations, then compact at all isn't as attainable anymore.

>>11662999
Yes in the sense that the real line is part of the complex plane?

>>11663957
Since when does Israeli Sabbath pop music exist and why does it sound like a New Orleans brass band player trying to make it big in Brazil?

In any case, I don't work in Set Theory.

>> No.11664455

I'm not sure if I should ask here or in /sqt/ so I'll ask in both. I'm a massive brainlet when it comes to probability theory.
I am taking measurements in some system, I will either get a "success" or a "failure" with some unknown probability.
I claim, that in at least 70% of all cases I will get a "success"
How many measurements do I have to take to confirm or reject that claim? (for example I take 1000 measurements and get more than 70% successes, how likeley does that make my claim to be true?)

>> No.11664474
File: 76 KB, 1134x720, 06d9caf4.jpg [View same] [iqdb] [saucenao] [google]
11664474

>>11664433
>Since when does Israeli Sabbath pop music exist
At least from 2015 onward.
>In any case, I don't work in Set Theory.
Neither do my sugardaddy or I. Nice digits, btw.

>> No.11664482

>>11664474
Correction: 2002, the video was uploaded 2015.

>> No.11664510
File: 110 KB, 905x894, 1432076525264.png [View same] [iqdb] [saucenao] [google]
11664510

>>11663282
>>11664265
You lads have reminded me someone once mentioned making a 30 year old Yukarifag meme, Yukarifag found the idea funny, and it ultimately never happened, so I feel like we owe him.
I don't really have any good ideas, tho.
I wanna crop this post: >>/sci/thread/S11522896#p11533578 and add it in, but warosu can't latex, and reposting it so I can crop it is a legit retarded solution.

>> No.11664579

>>11664433
>Clearly he was implying that if you think of Lie groups in a context that goes beyond matrix representations, then compact at all isn't as attainable anymore.
You know the word "locally" is there for a reason, right?

>> No.11664591

Any reference for global existence and uniqueness of N body problems in classical mechanics?

>> No.11664601

>>11664510
>archive link
I always wonder: Is there a reason to not simply >>11533578 ?

>> No.11664633

>>11664601
>Is there a reason to not simply >>11533578 ?
Obviously

>> No.11664644

How can I convert KBs into MBs by multiplication? So I've googled this and sure enough, the KB value multiplied by 0.001 is the same as if I were to divide it by 1000. However I want to calculate in binary, and dividing the KB value by 1024 gives a different result than multiplying it by 0.001024. I'm bad at math and I can't understand why, please help.

>> No.11664653

>>11664601
I'm pretty sure you're seeing the post in either warosu's or fireden's archive, I have absolutely no idea if there's a difference and I'm projecting my lack of knowledge onto the remainder of this thread, so just linking it is more convenient

>> No.11664703

>>11664579
...infinite dimensional spaces are very rarely locally compact. unless you're equipping them with weak (non-manifold) topologies.

>> No.11664722

>>11664703
infinite dimensional spaces are not manifolds

>> No.11664887

>>11664722
>infinite dimensional spaces are not manifolds
they're not?

>> No.11664891
File: 5 KB, 890x47, file.png [View same] [iqdb] [saucenao] [google]
11664891

wtf this mean? [math]f=\int \mathrm da[/math] with respect to some measure or something

>> No.11664895

>>11664644
1/1024 is not .001024
if you're not trolling, I'm assuming you're thinking this happens because 1/1000 = .001 = .001000. But by that logic, 1/2000 = .002, so 1/2000 = 2 * 1/1000 which is not actually the case (proof left as an exercise for the reader)

>> No.11664897

>>11664887
read the definition of a manifold

>> No.11664899

>>11663336
Eisenbud is way too long and has too much. You can cover Atiyah/Macdonald in 2-3 weeks depending on commitment

>> No.11664947

>>11664887
Locally homeomorphic to a finite dimensional space.

>> No.11664983

>>11664897
From where? An early graduate differential topology book? I didn't realize that was the canonical source for mathematics definitions.
>>11664947
Ah yes, thank you for quoting an obvious definition. It is what an undergrad means when they say the word "manifold." However, there are many people who study things which are locally homeomorphic to common infinite dimensional spaces, and those people also call their objects "manifolds." In particular, it is common to refer to infinite dimensional groups with local smooth structure as infinite dimensional lie groups, and to their lie algebras as infinite dimensional lie algebras. It is common to adopt nomenclature from finite dimensions to infinite dimensions for the calculus of variations as well.
It's just a word. People can mean different levels of generality when they use it.

>> No.11664995

>>11664703
He didn't say Hilbert or Banach manifold, so I'm assuming he's modelling them after an arbitrary topological vector space.

>> No.11664996

>>11664891
homomorphism of integral domains?

>> No.11665000

>>11664983
>In particular, it is common to refer to infinite dimensional groups with local smooth structure as infinite dimensional lie groups
They are referred to as "infinite-dimensional Lie groups" rather than Lie groups because an infinite-dimensional Lie group is not a Lie group.

>> No.11665020
File: 1.80 MB, 1202x910, physics.png [View same] [iqdb] [saucenao] [google]
11665020

Threadly reminder to share your hobbys and interests with physicists.

>> No.11665023

>>11664983
i-i'm not wrong i just use words differently!!

>> No.11665030

>>11664895
No, I wasn't trolling, I'm just bad at math as I said, and I was thinking about this in the wrong way apparently. Thanks for clearing that up anyway.

>> No.11665033

>>11665023
>told a physicist that [math]\infty + 1[/math] practically exists
wonder what weird shit theyre going to cook up with that

>> No.11665054

>>11665033
Well, a physicist's infinity is what a mathematician would call "pretty fucking big", so it does indeed exist for them.

>> No.11665061

>>11660939
F

>> No.11665070

>>11664653
>I'm pretty sure you're seeing the post in either warosu's or fireden's archive
As long as it's still in the official archive (noticed how threads don't immediately 404 anymore since last year?), the link goes to the official archive.
Even for the guys without 4chanX.

>> No.11665091

>>11665033
Even [math]\infty[/math] doesn't exist "practically".
All infinities in physics lose their infinity, once you take a closer look.

[math]\infty[/math] exists theoretically, but practically only as a close-gap measure.

>> No.11665098
File: 2.91 MB, 1653x2816, 1588020772008.png [View same] [iqdb] [saucenao] [google]
11665098

What are some interesting "dead fields" of math? I like reading up on fields that were once active but now dormant. Anything good? Pic not related.

>> No.11665103

>>11665098
diophantine equations

>> No.11665114

>>11665098
point-set topology

>> No.11665131

>>11665098
finite field theory

>> No.11665149

>>11665103
It's not dead so much as it's been absorbed into other fields, mainly algebraic geometry

>> No.11665172

>>11664474
>sugardaddy
Post bussy.

>> No.11665184

>>11665098
S-source?

>> No.11665213

>>11665098
I think transcendental number theory is a particularly interesting example because it's largely petered out not due to declining interest (many really simple, basic questions are still open) but due to being so goddamn hard that nobody can prove anything interesting anymore.

>> No.11665236
File: 35 KB, 720x720, no.jpg [View same] [iqdb] [saucenao] [google]
11665236

>>11665172
Blue board. And, really... you wouldn't call your funder your sugardaddy?

>> No.11665325

I just realized that I hate formal math. I hate proofs and everything involved with proofs. I appreciate the applications of math so that is why I am double majoring in Math and CS. I already finished my Math degree.

I just HATE it.

>> No.11665340
File: 89 KB, 1280x720, in the shape of an l on her forehead.jpg [View same] [iqdb] [saucenao] [google]
11665340

>>11665325

>> No.11665367

>>11665236
I don’t have to suck the dick of my funder for money. Also, imagine caring about getting banned when you can turn your router on and off.

>> No.11665408
File: 96 KB, 1920x1080, ugyilk.jpg [View same] [iqdb] [saucenao] [google]
11665408

>>11665367
My internet comes from a socket in the wall, so I can't do that. I can shut my brain down, though. Nighty night~

>> No.11665669
File: 5 KB, 257x196, TURN ON CNN.jpg [View same] [iqdb] [saucenao] [google]
11665669

>>11661637
https://arxiv.org/pdf/2005.05741.pdf
>The Riemann hypothesis via the Mellin transform, power series and the reflection relations
>Filippo Giraldi

>A proof of the Riemann hypothesis is proposed by relying on the properties of the Mellin transform. The function Gη(t) is defined on the set R¯+ of the non-negative real numbers, in term of a special power series, in such a way that the Mellin transform G^η(s) of the function Gη(t) does not vanish in the fundamental strip 0<Res<1/2. In this strip every zero of the Riemann zeta function ζ(1−s) is a zero of the function G^η(s). Consequently, it is proved that no zero of the Riemann zeta function ζ(s) exists in the strip 1/2<Res<1. The reflection relations, which hold around the line Res=1/2 for s≠0,1, prove that no zero of the Riemann zeta function ζ(s) exists in the strip 0<Res<1/2. In conclusion, it is proved that no zero of the Riemann zeta function ζ(s) exists in the strip 0<Res<1 for Res≠1/2.

>> No.11665743

>>11665669
The "6 pages of completely random analytic manipulations with an error in it somewhere" is my least favorite kind of RH proof, I think.

>> No.11665779

my REU got fucked, any suggestions for undergrad math projects that don't need professor supervision I can work on instead this summer? I absolutely hate any cs/data analysis type work, but if something in applied math is preferable, mathematical modelling (nonlinear ODE and probabilistic models) is fine, though any datasets that I can find are geared toward data analysis and I'm not sure where to find useful material on my own. my preference is for neuroscience applications but I'll look into any suggestion that isn't cs or stats.

>> No.11665888

Analysis = Spergs & Autismos
Combinatorics = Chads & Ubermenschen

>> No.11665918 [DELETED] 

>>11664510
reminds me of >>11493089

>> No.11665952

>>11665779
I’m going to try working with a professor or grad student at my school. Why can’t you do that?

>> No.11665970

>>11665888

i find analysis more satisfying because it involves more topology and physical intuition.

>> No.11665986

>>11665970
For me, physical intuition is a crutch that gets destroyed in any vector space with a number greater than 3 in its upper right corner. If you like it, that's fine I guess, but just recognize the limitations of using geometry in studying math.

>> No.11666001

>>11665986

yes, this is true. i don't think it's useful to get hung up on physical intuition, but it's a nice bonus sometimes.

>> No.11666058

>>11665000
Infinite dimensional lie groups are simultaneously groups and manifolds (infinite dimensional ones). Such objects are clearly lie groups.

>> No.11666203

>>11660270
What type of software do you work with exactly? Are you talking about computer algebra?

>> No.11666208

is there a way to express irrational numbers as exact constants instead of as a series of infinitly repeating division?

>> No.11666310

>>11666208
Yeah, you take a symbol like e or pi with a previously unrelated meaning and define the infinite series as that symbol.

>> No.11666312

>>11666208
>exact constants
As oposed to inexact constants?

>> No.11666452

>>11666310
>>11666310
>>11666312
I found a way to get the sqrt of 2 expressed in terms of symbolic relationships.. is this new ground?

at the end of the reduction I got 2/sqrt2 = sqrt 2
at its longest it was... too big for one page

>> No.11666456

>>11666452
what the fuck are you talking about

>> No.11666470

>>11666456
let's say instead of using numerical division to approximately represent the sqrt of 2, we used ratios and relationships of things that were exact, and at the end we got this big monster that expressed exactly the square root of 2, without any infinite division

I mean it's just algebra, and I don't want anyone to steal muh shit so I'm. being cryptic, but the numbers checked out. I had to spend a few days to get it.
could also be nothing new, its really just a curiosity. a nifty proof for a certain thing could be gotten with some more labor, I was considering just getting a whiteboard and sitting outside the locql math dept, but that out of the question now

>> No.11666472 [DELETED] 

>>11666452
>>11666470
lookup algebraic vs transcendental numbers and stop being retarded

>> No.11666474

>>11666470
Schizo fuck off.

>> No.11666488

>>11666472
>>11666474
either sqrt2 = 1.414..
sqrt2=2/sqrt2
or it's sqrt2=linear equation that boils down to sqrt2=2/sqrt2

what's the problem?

>> No.11666496

>>11666488
The problem is that your post lacks any sort of coherence and so I have no fucking clue what you are claiming. The decimal representation of sqrt 2 has no conflict with the identity sqrt2=2/sqrt(2). I have no idea what you mean by linear equation that boils down to 2/sqrt2. You are either clueless about what an irrational number is or you forgot to take your meds.

>> No.11666527

>>11666496
I got some big equation that says sqrt2=autism, no exponents on the variables, and it Checks out once u cancel all the terms and run the numbers. to get the terms in a position to cancel was laborious. wot did I find?

>> No.11666548

>>11666527
No exponents on the variabled? What fucking variables? You are still making no fucking sense. Sqrt2 is irrational and that's that.

>> No.11666558
File: 215 KB, 800x2560, yes.png [View same] [iqdb] [saucenao] [google]
11666558

0/0 is 0 and so is 1/0. Prove me wrong.

pic related

>> No.11666571

>>11666558
>0/0 is 0 and so is 1/0.
In which wheel?

>> No.11666577

>>11666571
I'm not smart enough to know about wheels. Are they like rings? Because if so I still don't know anything about them. I am going to say the normal one that has more then one element.

>> No.11666578

>>11666548
the 3 unique independent variables, each with their own constants, and all related amongst themselves in very specific ways, I managed to manipulate into a form that exactly represents the sqrt of 2 ofc

>> No.11666582

>>11666577
>I am going to say the normal one that has more then one element.
What do you mean?

>> No.11666591

>>11666582
Whenever i bring this up people always say "well yes, in a ring with 1 elements" and then explain to me what a ring is and i only partially understand it. Basically, i believe that they are saying since the only option for 0/0 to be is 0, it is the only way for what i say to be true, which is in my opinion a shitty answer as they know it is not what i am asking for, and its a cop out to having to actually show what i claim is incorrect.

>> No.11666593

>>11666578
You are retarded

>> No.11666594

>>11666591
Also, from what i understand a ring is just a set with operations attached to it. I have no idea what a wheel is but have heard the term in other conversations.

>> No.11666599

>>11666593
sigh

>> No.11666760

I ask a question about lie groups and I see a reply chain of people arguing over who the retard is. Spoiler: It was me.

>> No.11666770
File: 57 KB, 662x689, 7afe6275.jpg [View same] [iqdb] [saucenao] [google]
11666770

>>11666760
Don't Lie to us!

>> No.11666785 [DELETED] 

12y + 9x
3(4y+3x)
What is a practical application for this shit and did I do it correctly. I never made it as far as my kid in school but trying to help now because of corona.

>> No.11666792

12y + 9x
3(4y+3x)
What is a practical application for this shit and did I do it correctly? I never made it as far as my kid in school but trying to help now because of corona.

>> No.11666832

>>11666770
I entirely forgot that lie groups are locally compact. It looks like two different anons wanted to defend me, but they were also goofs. Thanks to the anon who suggested Hall's book; it is nice and easy.

>> No.11666854
File: 84 KB, 1280x720, ryys10.jpg [View same] [iqdb] [saucenao] [google]
11666854

>>11666792
You have 12 cows and 9 piggies, you want to distribute them evenly in 3 pens. Then you put 4 cows and 3 pigs in each. [math]\mathbb{P R A C T I C A L M A T H E M A T I C S}[/math]

>>11666832
Hall's book is good, indeed.

>> No.11666858

Is combinatorics Math or its application?

>> No.11666859
File: 338 KB, 1016x774, 1581120319843.jpg [View same] [iqdb] [saucenao] [google]
11666859

Is category theory really a meme? Because the more I read about it the more enticing it becomes.

>> No.11666863
File: 230 KB, 500x342, CT.png [View same] [iqdb] [saucenao] [google]
11666863

>>11666859
It's like smoking. Some people use smoking as a relaxing method, but then they get addicted to it. As a tool CT has quite a lot of firepower, but if you go far enough, you may become like the ncatlabbers.

>> No.11666869 [DELETED] 

>>11666203
That graph was hosted together with graphviz but I'm tinkering on my own.
Just python scripting so far. I'm happy if people are interested / a coding project.

>>11666859
Live is a meme.
Like any math subject, and that's true for algebra even more so, you can dive down into it till obscurity. It's not special in that regard. Like any algebra subject, most of the contemporary insights in the literature take far too much working knowledge to even understand the problems. And unless you do algebraic geometry/topology, the "category theory" itself is only comprised of a handful of theorems.

>> No.11666874

>>11666203
That graph was hosted together with graphviz but I'm tinkering on my own.
Just python scripting so far. I'm happy if people are interested / a coding project.

>>11666859
Life is a meme.
Like any math subject, and that's true for algebra even more so, you can dive down into it till obscurity. It's not special in that regard. Like any algebra subject, most of the contemporary insights in the literature take far too much working knowledge to even understand the problems. And unless you do algebraic geometry/topology, the "category theory" itself is only comprised of a handful of theorems.

>> No.11666876

>>11666854
>piggies
I eat kosher. Can you provide an example that uses money or gold?

>> No.11666889
File: 32 KB, 400x500, f49cf5e3.png [View same] [iqdb] [saucenao] [google]
11666889

>>11666876
Your kosher diet is on a shaky basis if the first thing that comes to mind is eating those animals, but okay. You have 3 companies each of which produce 4 units of gold and have 3 employees. Combining those, you earn 12 units of gold and have 9 employees. Just stop eating animals.

>> No.11666921

>>11666889
I can learn from this. I will try to spare some animals.

>> No.11667013

Uhm weird question but... if space is curved, then would we actually measure pi when testing a circle?
What I mean is that on a curved manifold with the geodesic metric the the circumference of a circle of radius 1 does not have to be 2pi

>> No.11667115

>>11667013
A measurable "circle" irl is at best a sequence of atoms [math] x_i [/math] aligned to be a given distance [math] r [/math] away from a center atom [math] x_c [/math].

So pic a center atom and pick a radius of [math] r [/math] and try to place another atom [math] r [/math] unit lengths away from it? What's your length unit?

Anyway, whatever standard deviation [math] \sigma_r [/math] you'll get out of your precision error, you won't have a reason to believe that your resulting [math] \pi [/math]-measurement is accurate beyond about the number [math] \lceil \dfrac{r}{\sigma_r} \rceil [/math] of digits.

>> No.11667122
File: 30 KB, 1079x601, huh.png [View same] [iqdb] [saucenao] [google]
11667122

sorry for being a mathlet retard, I was shit in school. whats the answer for this? I tried but my answer wasn't one of the available ones

>> No.11667149

>>11667122
Please ask in the stupid questions thread /sqt/ instead.

>> No.11667265

I'm applying for an undergrad program and need to write a study plan. If I try to talk about research areas that seem interesting will I seem like a pseud since I don't actually know much about them? Otherwise how should I fill up like ~350 words for how I want to study maths as an undergrad?

>> No.11667286

>>11667265
No. It's an undergrad application, I'm pretty sure they don't even look at that. Write about whatever interests you and don't spend too much time on it.

>> No.11667295

>>11667265
>350 words
That's less than a page, bro.

>will I seem like a pseud
You're not a high-school girl or politician. As a general rule of thumb, in life, don't practice meta-think like that.

>> No.11667306

Anyone have a good rec for a book on game theory? It can be mathy or brainlet as long as it's well written and interesting.

>> No.11667349

>>11667306
Beck - Combinatorial Games.
I only skimmed through it as a reference for some research but it seemed pretty good desu

>> No.11667383
File: 41 KB, 331x499, pierce_confidence.jpg [View same] [iqdb] [saucenao] [google]
11667383

>>11667349
I'll be sure to check it out. Thanks anon.

>> No.11667409 [DELETED] 

>>11666527
I kind of understand you despite the autism. Did you look up algebraic numbers? I think it's what you're describing.

>> No.11667423

I have a video lecture, a written script and exercise sheets.
1. Watch the lecture and take notes
2. Go over notes and try to understand everything
3. Do exercise sheets with help of notes and scripts.

I feel like I dont have a good review system. If I want to go back because I forgot something I have to go over the notes. As far as I know rereading is not very effective. Do you have some active recall system to review lectures apart from more exercises?

>> No.11667494

>>11667423
I don't understand why you think this isn't effective - it already sounds like a very compact "low effort" approach to things. The obvious answer would be to write along more. I mean what else could you do to get more out of it??

>> No.11667499

>>11661294
What is this autism?

>> No.11667505

>>11667423
what i do is:
stop the video every 10-15 minutes close my eyes and try to recall everything from those 10-15 minutes i will also make my notes during that time
after the lecture ends i look over my notes structure them better (i use anki so i will do them in question - answer format) test myself on the example problems from the lecture (if there were any)
after this i try to imagine myself as a lecturer and try to give a lecture about the stuff i just watched to imaginary audience and i am allowed only use use notes made by myself and if i not sure about something and it isnt in my notes i go back to the lecture
after all that i go and do exercises

>> No.11667517

>>11667505
What do your anki decks look like? Can you give an example of a card?

>> No.11667541
File: 27 KB, 925x651, ankii.png [View same] [iqdb] [saucenao] [google]
11667541

>>11667517
something like this, font is too big on pc but im usually doing reviews on my phone

>> No.11667655

>>11667541
>brainlet set theorists

>> No.11667677
File: 21 KB, 390x488, 78a8069257cc216e9e7d964c99ee298b.jpg [View same] [iqdb] [saucenao] [google]
11667677

>In the first half of the 22nd century, the central government had become corrupt, with Romulan operatives infiltrating the Vulcan High Command. Some Vulcans, the Syrannites, attempted to reinstate and develop the original teachings of the Vulcan philosopher Surak. But around 2140, another small group decided that Surak had not developed logic with sufficient thoroughness.
>This group of thinkers argued that all deductive reasoning should be formalized, all inductive reasoning should be Bayesian with explicit probabilities on hypotheses, and all decision-making should maximize utility.
>This group, who called themselves the Pure Logic movement, moved to Xir’tan and set up a commune there. They began a program of formal concept analysis so that all words would have precise definitions. Before each meal they bowed, seemingly in prayer, but actually to optimize their activities to come. Children were schooled in an even more disciplined way than usual: less high-tech than the skill domes of the 2200s, but with an intense focus on logic, semiotics, probability, and statistics.
>Conflicts erupted in 2200 between what we would call Jaynesian-Bayesians and hardcore subjective Bayesians. The former advocated entropy-maximizing priors. The latter argued that no prior counts as “right” without further assumptions, so one is free to start with any prior.
>As the Pure Logic movement became established, they spread and set up communes the main continent, especially in Gol, Xial and Raal. They started influencing the political establishment, first locally and then at the federal level.

>> No.11667684
File: 11 KB, 300x168, download.jpg [View same] [iqdb] [saucenao] [google]
11667684

>As this happened, factions with radical positions gradually gained influence. Especially important were the subjective Bayesians who argued that ethics could not be logically derived, so that instead of maximizing utility, a rational agent was free to maximize any chosen quantity. Their motto was remarkably similar to a saying credited to Hume:
>From an “is” one cannot derive an “ought”.
>Going further, the most extreme subjective Bayesians adopted spreading the Pure Logic movement as their only goal. All decisions were to be evaluated based on how much they furthered the spread of logical thinking. They took a vow to this effect, and pressed this vow on other citizens as a prerequisite for holding office of any sort. Their opponents dubbed them “Logic Extremists”, and the term stuck.
>In 2226, in a hard-fought political struggle, these extremists triumphed and completely pushed the Jaynesian-Bayesians and moderate subjective Bayesians out of power. Two years later V’Arak took control: a charismatic leader who asserted with 100% prior probability that the Federation was trying to subvert Vulcan culture and stop the spread of the Pure Logic movement.
>Any attempt to reason with V’arak and his supporters, or compromise with them, was interpreted as further evidence of an increasingly elaborate Federation conspiracy. Most Vulcans repudiated this stance, and as the Logic Extremists’ public support shrank they turned to terrorism.
>The violence came to a head around 2256, when V’latak (shown below) attempted to assassinate Sarek before the peace talks on Cancri IV, saying:
>My sacrifice will be a rallying cry to those who value logic above all. Vulcans will soon recognize and withdraw from the failed experiment known as the Federation.
>At this point support for the Logic Extremists rapidly dropped and the movement began to dissipate, though Patar still managed to infiltrate Section 31.

>> No.11667687
File: 1.08 MB, 640x400, s9gj98.gif [View same] [iqdb] [saucenao] [google]
11667687

>> No.11667721

>>11667655
rude....

>> No.11667803

How can I show that a function doesn't have a limit? I know how I can prove that a function has a limit but no idea how to disprove it.

>> No.11667813

>>11667803
Approach the point from different directions.

>> No.11667820

>>11667803
You prove a negation of P by showing that assuming P leads to a contradiction

>> No.11667823

>>11667803
Do you know how to show that a sequence doesn't have a limit? If you do, then just take a sequence of x_n such that x_n->x and f(x_n) does not have a limit. Then lim y->x f(y) does not exist.

>> No.11667841
File: 2.95 MB, 498x280, vulkan.gif [View same] [iqdb] [saucenao] [google]
11667841

>>11667803

>> No.11667852

>>11667823
>x_n->x and f(x_n) does not have a limit.
and x_n->x? or is f(x_n) enough? I thought x_n-> should have a limit because that limit is x* from the initial function: f(x) for x->x*

>> No.11667956

if a sequence has two limits, for example 1 and -1, does that mean it has none? I am thinking of the sequence sin(n)

>> No.11667967 [DELETED] 

>>11667956
It doesn't have two limits, it doesn't have even a single limit. Unironically approach it like >>11667820 said

>> No.11667986

>>11667967
but I was talking about a sequence not function this time. I wanted to do what you(?) said >>11667823
f(x_n) is sin(n) in my case and I wanted to show that it has no limit but wolfram alpha tells me lim_(n->∞) sin(n) = -1 to 1

>> No.11667996 [DELETED] 

>>11667986
(That was my first reply to you.)
The sequence doesn't have a limit either.
>but wolfram alpha tells me lim_(n->∞) sin(n) = -1 to 1
That's either retarded or using some other notion of limit, and not the usual delta-epsilon one.

>> No.11667998

>>11667986
Fucking idiot. Sequences are functions from the natural numbers to in this case the reals.

>> No.11668045

>>11667996
>That's either retarded or using some other notion of limit
all right, thanks. so I can prove that the sequence is divergent with the delta-epsilon method, right? or is there a better way to do it

>> No.11668147

>>11668045

Easy methods are show it's unbounded or find two subsequences that are convergent but have different limits

>> No.11668154

^ in fact that's a complete characterization of sequences that fail to converge in R (use compactness/contradiction to prove this)

>> No.11668207 [DELETED] 

>>11668154
cool

>> No.11668257

How do I into divisors? I literally don't have a clue how to approach this subject, no intuition. How do you formally "add" varieties or whatever and get meaningful information. What can I think when I am given a divisor?

>> No.11668278

>>11663336

skip that shakuhachi-thing and jump straight into EGA/SGA/FGA

you will thank me later

>> No.11668284

>>11665020

is that book even readable by a "normie"?

>> No.11668298
File: 2.06 MB, 2041x1680, py33ke03f8241.png [View same] [iqdb] [saucenao] [google]
11668298

So this might sound really stupid, but I don't know who I should ask this.

I'm in engineering degree and my physics teacher -who is very profound in math and kind of a math nerd if you will - just asked us if we believe that if the set of all sets that are members of themselves does contain itself or not and he really confused me with that.
I expected him to explain it further like he normally does and I don't want to look like an idiot asking about it 15 minutes later.

To me, its a bit like the racist joke "A Brit once told me that all Brits always lie", but math shouldn't have such paradoxic things in it.

Sorry for bad engrish btw.

>> No.11668301

I always was good at math, but teachers and professors made it so boring that I lost interest.

>> No.11668379 [DELETED] 

>>11668301
whoa what a fukkin genius omg

>> No.11668395
File: 62 KB, 693x282, file.png [View same] [iqdb] [saucenao] [google]
11668395

do I need Calc 2 for this?

>> No.11668457

>>11668298
What the paradox you get from this set tells you is that the "set of all sets that are members of themselves" can't actually exist (at least in regular foundations, before some set sperg corrects me), because it has contradictory properties.

This was an issue in formal mathematics in the early 1900s because people were using an axiom that DID allow them to build this set, which meant their axiom was wrong and they had to patch it.

>>11668395
almost certainly no

>> No.11668465

>>11667409
>>11667409
>All numbers that can be obtained from the integers using a finite number of complex additions, subtractions, multiplications, divisions, and taking nth roots where n is a positive integer (radical expressions), are algebraic.
from the wiki, exactly what I was looking for as this is exactly what I did to nab sqrt2

>> No.11668470

>>11667494
How would a high effort approach look like?

>> No.11668472

>>11668457
*I misread your question a little
the foundational crisis in the 1900s was about the set of sets which _don't_ contain themselves, not those that do
this set is slightly different (but still contradicts set axioms)

>> No.11668476

>>11668465
Then you did nothing at alo as you can use nth roots and sqrt2 is a fucking root.

>> No.11668478

>>11668298
this is called "Russel's Paradox". You can find the contradiction on Wikipedia. Long ago, matbematicans used Naive Set Theory, which was a theory that ended up not being consistent due to this paradox. Modern mathematicians use a theory called ZFC which is much much more restricted and seems to be consistent as far as we know, but it can never be shown due to Gödel's second incompleteness theorem.

here's a TL;DR: there are many many different theories on what it means to be a set. Naive set theory was kind of the first, but also ended as a failure because it was too strong for its own good.

you can rank the "strength" of a set theory by how big sets are allowed to get. Naive set theory allowed you to make a set of all sets, which is much too big of a set and destroyed the theory. ZFC and other set theories limit you to smaller sets that will not cause contradictions.

it's essentially the case that in set theories, if theory A lets you create a massive set that is too large to be created in theory B, then theory A can prove more things(but you run the chance of it being inconsistent)

>> No.11668496

>>11668476
no, it wasn't any algebraic wizardry, and I didn't take n roots
in fact no rooting was needed
the whole thing was geometrically based and I used algebra to isolate terms

>> No.11668508

>>11668496
>in fact no rooting was needed
woah you mean [math]\sqrt{2}[/math] is rational? Greeks BTFO

>> No.11668519 [DELETED] 

>>11668508
>>11668476
>>11668496
I think he means he described sqrt(2) (call it s) as:

(2/s) = s

Which is really the same as s^2 - 2 = 0, which is the polynomial that shows its algebraic. Taking roots is not really needed to describe algebraic numbers.

>> No.11668605
File: 380 KB, 1280x720, MKM2.jpg [View same] [iqdb] [saucenao] [google]
11668605

>>11659630
>>11660156
https://youtu.be/Pp85jeBCDmc

>> No.11668612

>>11668519
This is just speculation as he cannot form a coherent sentence. Yes you can express an equation without roots that contain roots as the answer, but I don't see what he finds so amazing about that.

>> No.11668653

>>11668612
I know I'm being a faggot, and I'd love to just post the pages, but I honestly think this could get me somewhere in life and if I just gave it away to everyone to appreciate, which I really want to do because Im that kind of person, I risk being sheisted of a personal accomplishment

I can say it wasn't simple and at its largest the equation took up several pages, as there were some substitutions that ended up expanding into enormous nasty things that then needed to be combined and manipulated into a form that would cancel kindly

2/s=s was the reduction I used to check my work, for a day I kept getting 2/s=3 until I found my mistake

>> No.11668660
File: 1.37 MB, 264x264, 1248238468262.gif [View same] [iqdb] [saucenao] [google]
11668660

>>11668653

>> No.11668670

>>11660827
Read Wiggins/Arnold/Perko/Devaney+Smalin

>> No.11668682

>>11668660
I know, If I find something similar that shows me what I found wasn't unique or new, I'll post the autism. thars why I'm asking, is there anywhere something that resembles what I'm alluding to

a large monic equation that is a complex set of operations of integers that describes exactly what happens to produce the number that when multiplied by itself is 2

even if I posted just the initial geometry, and none of the autism, I'd be sheisted. I checked all the proofs of a certain thing, and none of them are mine, at the least I came up with a nifty new proof of something that doesn't need proving and that alone could get me something, I'm a fucking neet nobody concerned about my future, I'm leveraging everything I have and giving nothing for free, I'm running out of options

>> No.11668686

>>11668682
>a large monic equation that is a complex set of operations of integers that describes exactly what happens to produce the number that when multiplied by itself is 2
why yes, there is such a thing. it's [math]x^2-2 = 0[/math] .

>> No.11668698

>>11668686
yeah but that's boring and gives no intuition with the geometry
also I'm retarded, not single variable monic
multi variable, nothing > 1 on the exponents
3 unique variables, but more like 10 individual variables. I was very autistic I admit

>> No.11668712 [DELETED] 

>>11668682
Man, pretty sure you really have autism or some disorder, and your development is probably shit. Sorry to be harsh bro but this sounds like stupid random shit we all did when we were 14 and which lead nowhere. I'm willing to take a guess that you don't usually speak to a lot of people? It would probably do you well. Take care.

>> No.11668715

>>11667505
>>11667423
trying to imagine what having working memory this poor would be like and I'm drawing a blank. i would imagine its like walking around concussed and high all the time

>> No.11668723

>>11668698
no one is going to be able to have a helpful conversation with you because you won't post what you did and you're too retarded to write coherently about basic algebra
what you are describing is either trivial or impossible, nobody can tell you which unless you stop being a retard.

>> No.11668731
File: 12 KB, 201x216, 558fd4dc.jpg [View same] [iqdb] [saucenao] [google]
11668731

>>11668715
What does having a good working memory feel like?

>> No.11668738
File: 28 KB, 450x450, compound_C&amp;O__cuboctahedron.png [View same] [iqdb] [saucenao] [google]
11668738

>>11668712
sure it's simple, sure it useless, I do have friends, and I'm larping as an autismal lord, because autism is hard to figure out, it's a skill you should work on it once you've ironed out your own social skills

anyways, it's a deadlock, without posting im wasting our time. I'll post it when I've relaxed about it, whenever I've found someone I can trust who can tell me is a steaming pile of curious nothing. then we can all be like oo that's nifty but totally useless together. but for my own psyche I gotta make sure it useless first

>> No.11668745

>>11668738
try to learn english before you come back too

>> No.11668762

>>11668745
no the issue is your English sucks and so does your concept of language. once you've mastered conveying an idea in a way that's easily understandable to another, you then refine and become progressively more cryptic so only someone who already knows what you're talking about can know what you're talking about

>> No.11668764 [DELETED] 

>>11668738
ok, have fun

>> No.11669441

How does one acquire this mathematical maturity that many authors presume that the reader of their book(s) possesses?

>> No.11669456

>>11669441
"develop mathematical maturity" is the polite, mathematically correct way of saying "git gud scrub"

>> No.11669467

>>11669456
Yes, but how do I "git gud"? Solely reading or writing the occassional proof does not suffice as gaining maturity.

>> No.11669481 [DELETED] 

>>11669441
just keep reading

>> No.11669602

>>11669467
Just don't be casul.

>> No.11670324

Why mathematcs sucks so badly when it comes to iterative problems?

>> No.11670358

>>11670324
The set of all elementary recursively enumerable sets is infinitely smaller than the set of all uncomputable sets.

>> No.11670620

>>11669441
>do problems
>read proofs
>do proofs
>repeat

>> No.11670659

>>11670620
I fail at step one haha :)

>> No.11670691
File: 2.90 MB, 4032x3024, 20200514_044350.jpg [View same] [iqdb] [saucenao] [google]
11670691

>>11667122
Hey king, math Ph.D and field medalist here.
I must say, your question is indeed very deep and one that made me question the very foundations of mathematics. But I believe I have the solution. It should be 5.40 sterlings. Here we use freedom dollars but of course, units don't matter. I apologize for replying so late, I hope the results are still useful to you.

>> No.11670722

>>11670358
>the set of all uncomputable sets
Watch out!
That may very well be uncomputable itself, and then you run into trouble with ZFC.

>> No.11670740
File: 16 KB, 600x315, q5OL30E.jpg [View same] [iqdb] [saucenao] [google]
11670740

>>11670691
>that handwriting
Do Amerisharts really not know how to write in cursive?

>> No.11670759

>>11670722
of course it is, whether a set is uncomputable [sic?] (CE) is undecidable

>> No.11670765

>>11670759
>sic?
I'm pretty sure it's incomputable, but since the guy I was replying to said uncomputable, I attempted not looking like an autist, and let it slide.

>> No.11670777

>>11670740
As a field medalist and math Ph.D I always use latex. Besides, I am not American, I just came here a couple months ago temporarily.

>> No.11670781

>>11670765
No, my point was that in descriptive set theory, you say a set is Computably Enumerable (abbreviated as CE and, previously, recursively enumerable, RE).
And so instead of uncomputable, I'd just say not CE

https://en.wikipedia.org/wiki/Recursively_enumerable_set

>> No.11670952

>>11670777
There's no way a EuropeChad wouldn't know cursive, so you must be some African or Asian subhuman. In that case I take it back, it's impressive enough that you know how to write at all.

>> No.11670972

>>11670952
Many thanks. I am glad I impressed you.

>> No.11671035
File: 23 KB, 480x480, 74eacda0.jpg [View same] [iqdb] [saucenao] [google]
11671035

>>11670691
Assuming you really were a PhD and [F]ields medalist, you would obviously be an anal-yst. Barbarian.

>> No.11671173

I want to become a janitor at the local university but can't seem to find any job postings for those types of jobs. Working there would probably allow me to take courses there for cheap. I already have my degree in math, so I wanted to take some 4th year courses for fun.

>> No.11671188

>>11671173
Do you want a certificate for the courses or just to attend them? In the latter case, can't you just go to the lectures and pretend you belong there?

>> No.11671210

>>11671188
I would like to hand in homework and take the tests to see how well I did, so I'd need to be officially registered. The problem is, taking a course or two means they are right in the middle of the day 3 times a week and I need a full-time job to pay rent. I'm having trouble seeking a job that can enable this.

Thought about tutoring, but is it possible to get enough clients to pay bills? I'm not sure about it, plus what about winter break and summer.

>> No.11671231
File: 75 KB, 622x647, 0110181889.jpg [View same] [iqdb] [saucenao] [google]
11671231

>>11671035
Why yes indeed I am an anal-yst. I like all kinds of anal. Real anal, complex anal, functional anal.
But I am sorry, I actually lied about being a PhD and a fields medalist. But you know what they say, dress up for the job you want, not the job you have. So I lie to strangers on this Serbian motorcycle forum about the job I have in the hopes that it will become my job in the future. Anyway, peace.

>> No.11671246
File: 48 KB, 872x536, 29c7f262.jpg [View same] [iqdb] [saucenao] [google]
11671246

>>11671210
I see. I have nothing more to teach you.

>>11671231
I knew it! My 666th sense is operational.

>> No.11671577

>>11671210
>Thought about tutoring, but is it possible to get enough clients to pay bills?
Don't know about your uni, but mine has small exercise groups for the entry level courses.
Usually students that passed those a few years earlier do those, and receive an acceptable pay in return.
If I had done two of those at the same time, that would have sufficed to pay the bills.
Since you also correct the exams, it's an occupation for the entire semester. That depends on your uni more than anything, though.

>> No.11672017

>>11670740
>cursive
1870 called, it wants its obsolete second script back

>> No.11672657

>>11672017
What? Cursive is the only way most people know how to write, and it's the most natural. We're not machines, why should we use ugly, blocky letters in real life?
I was only taught cursive in school, just like everyone else around me.
Keep seething, Amerishart

>> No.11672682

>>11672657
I was taught cursive in school but now I write in blocky letters only because it's easier to read it.

>> No.11672713

>>11672682
>he doesn't write in cursive just to intentionally make it hard for others to read
Never gonna make it

>> No.11672717
File: 2.13 MB, 4608x3456, IMG_20200514_225745.jpg [View same] [iqdb] [saucenao] [google]
11672717

>>11672657
>>11672682
Shitty handwriting gang represent

>> No.11672725

>>11672717
part of becoming an adult in western culture is developing your own braindamaged degenerate-cursive scrawl that only people who've known you for at least a year can read

>> No.11673788

>>11672657
I'm Canadian, don't pretend you're better than me eurofag. Cursive is equally as natural as printing, but 90% less legible.