[ 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: 181 KB, 400x226, 1501052686621.gif [View same] [iqdb] [saucenao] [google]
9616595 No.9616595 [Reply] [Original]

What are you studying, /mg/?

>> No.9616599

Check the catalog, nerd

>> No.9616603

>>9616599
There is no /mg/ thread there. Only some reddit trash.

>> No.9616605

Physics major here trying to count all groups of order 3 (up to an isomorphism). It's hard as fuck.

>> No.9616611

>>9616605
There's only one you moron.

>> No.9616617

>>9616605
>It's hard as fuck.
Do you need to swear?

>> No.9616619

>>9616605
mega brainlet

>> No.9616620

>>9616605
Hint: 3 is prime.

>> No.9616625

>>9616620
wrong since 3*19=57
you must be grothendieck

>> No.9616642

>>9616617
>>9616611
>>9616619
so this is the level of conversation from math majors with their 300k starting

>> No.9616712

>>9615581
what are you talking about?

>> No.9616746

Actual /mg/ thread here >>9616470

>> No.9616812

>>9616746
But /mg/ isn't a reddit thread? So this seems to be the legitimate one.

>> No.9616852
File: 97 KB, 1024x768, me.png [View same] [iqdb] [saucenao] [google]
9616852

Who ENS here?

>> No.9616856

>>9616812
>But /mg/ isn't a reddit thread? So this seems to be the legitimate one.
Scholze is the personification of redd*t

>> No.9616857

>>9616852
You.

>> No.9616886

>>9616856
It doesn't matter what you think. Reddit threads encouraging off-topic discussion and redditry such as despising the anime culture of this website will not be tolerated.

>> No.9616889

What are some applications of vector spaces which do not have a basis?

>> No.9616890
File: 298 KB, 2149x3035, (you) and me.png [View same] [iqdb] [saucenao] [google]
9616890

>>9616857
Please be my friend.

>> No.9616897

>>9616889
>vector spaces which do not have a basis
There is no such thing silly anon.

>> No.9616907

>>9616889
Appart from the memes, functional analysis deals with this shit, i.e. linear spaces with eveb an ubcoubtable basis such as function spaces. It's used in fourier analysis and harmonic analysis which is useful for PDE, but yea
>>9616897
All vector spaces have a basis no matter how much the retards here yell.

>> No.9616930
File: 164 KB, 800x1000, 59617530_p0.png [View same] [iqdb] [saucenao] [google]
9616930

>>9616890
My answer will depend on what exactly you study.

>> No.9616939

>>9616712
Don't listen to that physicist

>> No.9616944

>>9616939
You seem to know what he's talking about. Can you share this information with me?

>> No.9616973

>>9616907
>Appart from the memes, functional analysis deals with this shit, i.e. linear spaces with eveb an ubcoubtable basis such as function spaces.
I said no basis, not uncountable basis.

>> No.9616981 [DELETED] 

>>9616973
No such thing sweetie

>> No.9617047

>>9616981
Most vector spaces do not have a basis unless you assume it does

>> No.9617052

>>9617047
>Most
What do you mean by this? Can you provide one example?

>> No.9617060

>>9617052
>What do you mean by this? Can you provide one example?
The real vector space of functions [math] \mathbb{R} \to \mathbb{R} [/math]

>> No.9617067

>>9617052
He's just some retarded troll ignore him.

>> No.9617076

>>9617067
>He's just some retarded troll ignore him.
I'm not a "he".

>> No.9617098

>>9617076
Yea, you are just a faggot

>> No.9617103

>>9617060
Prove that it doesn't have a basis.

>> No.9617115

>>9617060
It definitely has a generator set

>> No.9617126

>>9617115
>It definitely has a generator set
That is not a basis.

>> No.9617129

>>9617098
>faggot
Why the homophobia?

>> No.9617130

>>9617103
>Prove that it doesn't have a basis.
The burden of proof is on you.

>> No.9617136

>>9617126
It has a subset that is linearly inependent and that spans the whole space.

>> No.9617141

>>9617136
>It has a subset that is linearly inependent and that spans the whole space.
The burden of proof is on you.

>> No.9617145

>>9617141
isnt (1) the basis??

>> No.9617148

>>9616617
>>9616973
>>9617047
>>9617060
>>9617076
>>9617129
>>9617130
>>9617141
Reminder to report and ignore the retard.

>> No.9617152

>>9617145
>isnt (1) the basis??
What function "(1)" is meant to denote? And why does it generate the whole space?

>> No.9617153

>>9617141
https://proofwiki.org/wiki/Vector_Space_has_Basis yea I know, it's a "popsci" link, hilarious, but just to prevent any newb falling for you bullshit.

>> No.9617155

>>9617153
see >>9617148

>> No.9617157

>>9617152
>And why does it generate the whole space?
hmm because you can multiply 1 for every number and you get the whole R

>> No.9617161

>>9617157
You are also retarded my dude. The space is all the functions, not all the real numbers.

>> No.9617164

>>9617126
[math]\forall x\in \mathbb{R}[/math] let [math]V_x: \mathbb{R}\rightarrow \mathbb{R}, V_x(y)=\chi _{\{ x\} }(\{y\})[/math], these functions are clearly linearly independent, and [math]\forall f:\mathbb{R}\rightarrow\mathbb{R}, f=\int_{\mathbb{R}}f(x)\cdot V_x(x)dx[/math]

>> No.9617171

>>9617161
>The space is all the functions, not all the real numbers.
They are isomorphic vector spaces.

>> No.9617174

>>9617171
Not in any way or form.

>> No.9617177

>>9617164
Sorry, there isn't supposed to be an (x) after V_x at the end there.

>> No.9617185

>>9617177
Commit sudoku

>> No.9617187

>>9617185
Alright, I'll look for my puzzle magazine first thing in the morning.

>> No.9617192

>>9616595
interval calculus :$

>> No.9617195

>>9617171
>They are isomorphic vector spaces.
The burden of proof is on you.

>> No.9617198

>>9617164
>∀x∈R let Vx:R→R,Vx(y)=χ{x}({y}), these functions are clearly linearly independent, and ∀f:R→R,f=∫Rf(x)⋅Vx(x)dx
That's not necessarily a linear combination.

Next?

>> No.9617203

>>9617161
>The space is all the functions
uhm... so if we multiply every function by the costant function 1 we will get all the space

>> No.9617211
File: 41 KB, 645x773, you.gif [View same] [iqdb] [saucenao] [google]
9617211

>>9617203

>> No.9617214

>>9617211
explain to me what i did wrong

>> No.9617216

>>9617214
>explain to me what i did wrong
Everything.

>> No.9617219

>>9617216
ok, so you have no argument lmao

>> No.9617222

>>9617219
>ok, so you have no argument lmao
There is no notion of multiplying functions in this vector space.

>> No.9617227

>>9617222
then how the fuck are you supposed to generate the space if you can't have a linear comb

>> No.9617230

>>9617219
The field are the reals, multiplying by the identity function is not a fucking linear combination, is a whole new operation.
>>9617227
By reading definitions carefuly

>> No.9617231

>>9616852
Which one? T'es un feuj ?

>> No.9617247

>>9617227
>then how the fuck are you supposed to generate the space if you can't have a linear comb
You can have linear combinations.

>> No.9617251

>>9617230
>multiplying by the identity function is not a fucking linear combination
>multiplication is not linear
Are we reaching new level of retardness or what?

>> No.9617257

>>9617251
"the identity function" is not a scalar in the vector space.

>> No.9617260

>>9617257
so what is a scalar in that vector space?

>> No.9617261

>>9617251
But the space of functions doesn't form a field you inbred retard, so you cannot form a vector space of the space of those functions over itself.
>>9617260
The real, as the set of real numbers which are not the same as the spacw of real valued functions.

>> No.9617262

>>9617260
>so what is a scalar in that vector space?
Any real number.

>> No.9617273

>>9616595
[eqn]
x^2 - 5 = 2\\
\frac{d(x^2 - 5)}{dx} = \frac{d2}{dx}\\
2x = 0\\
x = 0
[/eqn]

>> No.9617275
File: 927 KB, 1500x1775, serre.jpg [View same] [iqdb] [saucenao] [google]
9617275

>>9617164
>infinitely many summands
>linear combination

>> No.9617278

real not reddit thread here >>9616470

>> No.9617279

>>9617275
https://en.wikipedia.org/wiki/Hilbert_space#Orthonormal_bases
>In the infinite-dimensional case, an orthonormal basis will not be a basis in the sense of linear algebra; to distinguish the two, the latter basis is also called a Hamel basis. That the span of the basis vectors is dense implies that every vector in the space can be written as the sum of an infinite series, and the orthogonality implies that this decomposition is unique.

>> No.9617281

>>9617279
>an orthonormal basis will not be a basis

>> No.9617290

>>9617281
I'm not >>9617164, but perhaps you should've clarified ahead of time that you meant a basis in the general sense and not in the specialized sense that "basis" is often used to mean in the context of discussing a Hilbert space like R → R

>> No.9617292

>>9617290
I said "vector space" and "basis", not "Hilbert space" and "orthonormal basis".

>> No.9617302

>>9617292
well, ok

>> No.9617306
File: 354 KB, 946x488, Screen_Shot_2015-08-30_at_6.18.06_PM.png [View same] [iqdb] [saucenao] [google]
9617306

>>9616595
Is he actually this stupid, or is he just doing it for attention?

>> No.9617307

>>9617302
>well, ok
Which inner product can you put on this space of functions to get a Hilbert space?

>> No.9617312

>>9617307
oh right, oops

>> No.9617322

>>9617306
He's a pretty decent researcher apparently.
Just very autistic about foundational stuff I guess.

>> No.9617333

>>9617322
to be fair the rise of set theory in mathematics is basically an endorsement of autism

>> No.9617335

>>9617322
"Autistic" is a bizarre way of describing it, given that being literally autistic myself has probably been one of the biggest factors in me actually learning & understanding foundations

>> No.9617401
File: 31 KB, 946x603, 1485902483584.jpg [View same] [iqdb] [saucenao] [google]
9617401

Recapping some basic alg topo as a bedtime book.

>> No.9617657

FRUMP

>> No.9617666

>>9617401
may your dream sequences be exact

>> No.9617681

how hard would it be to learn multivariable calc on my own? ive just finished integration at uni.

>> No.9617699

>>9617681
How much linear algebra do you know?

>> No.9617708

>>9617699
not much. should i learn that first? is there anything i should look into before starting linear algebra/multi-variable calculus

>> No.9617710

>>9617708
*anything else?

>> No.9617718

>>9617708
Intro-level multivariable calculus is like 80% calculus + linear algebra. I may be forgetting something, but I think you should be able to at least learn some important basics as long as you're comfortable with single-variable derivatives and with vectors and linear transformations.

>> No.9617720

>>9617681
>>9617708
Hmm, you don't really did that much libear algebra, or you can learn it as you need it, also what is your goal? I.e. are you a mathematician?

>> No.9617734
File: 185 KB, 1692x948, 1515448590555.jpg [View same] [iqdb] [saucenao] [google]
9617734

>>9617401
What bedtime book are you using?

>> No.9617757

>>9617335
How does this impact anything? You're a single autist.

>> No.9617770

>>9617718
cool! not really sure what linear transformations are either yet. i probably know them, just not by name.

>>9617720
i hope to be one! im a first year math major

>> No.9617782

>>9617770
>im a first year math major
>not really sure what linear transformations are
How does this even happen?

>> No.9617800

>>9617770
A linear transformation is something that maps vectors to other vectors and which is "linear", which has several equivalent definitions. The standard one in the context of formal math—albeit maybe not the most enlightening one—is that a function [math]f[/math] from one vector space to another is called "linear" if
1. for any vectors [math]v, w[/math] in the source space, [math]f(v + w) = f(v) + f(w)[/math], and
2. for any vector [math]v[/math] in the source space and scalar [math]a[/math], [math]f(av) = af(v)[/math].

There are better explanations, but it'd take a while to explain, and a proper source would probably do it better than me anyway.

>> No.9617809

>>9617770
>>9617800
A few simple examples—rotations about the origin are linear, as are reflections through lines/planes that pass through the origin. Uniform stretching along one or more axes is also linear.

>> No.9617820

>>9617666
>?
that's so cute

>> No.9617859

>>9617782
i’m kind of behind on my Math knowledge. also, just finished my second quarter: haven’t done much at uni yet.

>>9617800
so, like a function but for vectors instead of numbers? thanks, I’ll look into it!

>> No.9617863

>>9616852
fuck is ens

>> No.9617873

>>9617859
it *is* a function! a function is just an association of inputs to outputs, no matter what kind of thing you're working with. also, to be clear, linear functions are a *specific kind* of functions between vectors, just like how continuous functions are a specific kind of function.

>> No.9617933

>>9617863
Embarrassed Nude Shitposter

>> No.9617939

Can't you define for non orientable manifolds if you consider the boundry of your manifold not just the geometric boundry, but the the induced boundry sent from the domain of parametrization? Maybe not differential forms, but other types of integrals on your manifold.

>> No.9617952

>>9617939
manifolds are not intrinsically parameterized

>> No.9617959

>>9617952
I know, but obviouslly to extend these concepts and theorems, you will lose the intrinsic setting, but some theorems giving intrisinct information may still work, like the gauss bonnett theorem, or maybe I'm confusing shit, but I belive this may be related to surgery theory. I suppose a more concrete question is could I get somethibg like stokes theorem with integretion defined from an integral defined with just the metric tensor?

>> No.9617965

>>9617130
Zorn's Lemma.

>> No.9617968

>>9617965
see >>9617148

>> No.9617970

>>9617968
Please refrain from spamming.

>> No.9617971

>>9617965
>Zorn's Lemma.
So you can not prove every vector space has a basis unless you assume every vector space has a basis.

>> No.9617972

Basic Mathematics by Lang. Living in a third world country only teaches you how to plug and chug equations

>> No.9617974

>>9617972
>Basic Mathematics by Lang.
Lang is a meme.

>> No.9617975

>>9617959
Integration on a Riemannian manifold is done w.r.t. the volume form defined by the metric.

The existence of a non-zero volume form is the same thing as the existence of an orientation.

>> No.9617979

>>9617975
You can use Riesz representation theorem to show a measure can be defined and that it's a volume form iff it's orientable.

>> No.9618020

>>9617873
Got it! Thanks, anon!

>> No.9618115

>>9617974
It may be a meme, but it sure is quite helpful. What textbooks can you suggest apart from him and Gelfand?

>> No.9618156
File: 1.92 MB, 1936x1936, 20180325_103244.jpg [View same] [iqdb] [saucenao] [google]
9618156

>>9617666
Thanks. I guess they were.

>>9617734
This one.

>> No.9618218 [DELETED] 

S

>> No.9618220 [DELETED] 

A

>> No.9618221 [DELETED] 

G

>> No.9618222 [DELETED] 

E

>> No.9618224 [DELETED] 

T

>> No.9618226 [DELETED] 

I

>> No.9618230 [DELETED] 

H

>> No.9618232 [DELETED] 

S

>> No.9618233

S

>> No.9618235 [DELETED] 

H

>> No.9618236 [DELETED] 

I

>> No.9618237 [DELETED] 

T

>> No.9618239 [DELETED] 

T

>> No.9618240 [DELETED] 

O

>> No.9618241 [DELETED] 

O

>> No.9618242 [DELETED] 

B

>> No.9618245 [DELETED] 

L

>> No.9618246 [DELETED] 

I

>> No.9618336

combo!

>> No.9618349

What are some advanced calculus topics after multivariate/vector calculus?

>> No.9618372

>>9618115
Axler

>> No.9618450 [DELETED] 

[eqn]\int_{0}^{\infty}dR \int_{0}^{\pi}d\lambda \int_{0}^{2 \pi} \frac{8 \thinspace \text{sin}(\lambda)}{(2 - \text{cos}(R - \lambda - \phi) + \text{cos}(R + \lambda + \phi))^{3}} d\phi[/eqn]

Any ideas on how to prove this bullshit converges? Numerical integration seems to suggest that it does, but I don't know how to prove it.

>> No.9618458

[eqn]\int_{0}^{\infty}dR \int_{0}^{\pi}d\lambda \int_{0}^{2 \pi} \frac{8 \thinspace \text{sin}(\lambda)}{(2 - \text{cos}(R - \lambda + \phi) + \text{cos}(R + \lambda + \phi))^{3}} d\phi[/eqn]

Any suggestions on how to prove that this integral converges? Numerical integration seems to suggest that it does, but that's not a proof.

>> No.9618561 [DELETED] 

>>9618458
Okay, I don't know why they thought this shit converges numerically, because it fucking doesn't. Any hints on how to prove it diverges at the origin, for example?

>> No.9618624

>>9617863
a bunch of academic thieves/embezzlers/jews

>> No.9618628

>>9618624
Someone wasn't accepted to the ENS.

>> No.9618631

>>9618349
differential geometry
although you'll need to learn some topology first
Lee's topological manifolds is good, and it's written with preparation for his smooth manifolds book in mind, which I haven't read but have heard good things about

>> No.9618647

>>9618628
No shit. I didn't sit the entrance exam yet. But I'll be there in a year. I still despise the ENS and everyone involved in it (except for me). I'll just pretend to be friends for a while until the day of the rope comes about and the fourth reich is set up

>> No.9618649

>>9618631
>Lee's topological manifolds is good, and it's written with preparation for his smooth manifolds book in mind, which I haven't read but have heard good things about
I vouch for both of them, and recommend the interested anon to do all the exercises and problems.

>> No.9618652

>>9618647
Could you explain yourself without using those ebin maymays? Also, why do you want to go if you hate the place so much? Don't you have principles?

>> No.9618663

>>9618458
>Numerical integration seems to suggest that it does
Are you sure about that?

>> No.9618667

>>9618652
People at the ENS get the opportunity to obtain the few PhDs that are actually worth it, i.e. PhDs that are not just some glorified technician degree. Those who get glorified technician degrees are usually foolish outsiders hired by the ENS to do menial tasks. They're essential cheap manual labor. Cattle. They do not produce research because they don't have time to do this. They are merely tasked to help with technical problems, teaching, or code-monkeying for the jews, while the jews have enough free time to actually think about problems related to the field. This ends up with jews getting glowing research and others getting nothing, because they were too busy being cattle and not doing actual research. And this cycle goes on and on. Cattle get no acknowledgements and are deemed not adept enough. The thing is, research ain't easy when you have no teaching to do and no technical problems to solve. But it is really hard when you have to teach and spend the remaining time fixing stupid shit, especially when you are directly competing with the dirty jews with zero teaching load and zero code-monkeying to do. I'm not even gonna comment on the blatant (((nepotism))).
Only people from the ENS get tenure, the others are just weeded out with a useless "PhD" which isn't even a real PhD.

I don't want to be cattle, so the only way is to join this thief organization. (Also, it is state-sponsored, students get paid by us, taxpayers, simply to study and steal other people's work).

I have principles, but sometimes you've got to do what you gotta do to survive when the population is so brainwashed as to believe that jews have France's best interest in mind.

The world has become a joke. I love maths and science, but hate those involved in it.

>> No.9618672

>>9618458
Why do you care about this integral?

>> No.9618673

>>9618667
sounds like you're just salty that jews are smarter than you

>> No.9618678

>>9618663
I was told that was the case, but I've been trying to get approximate results with Mathematica and it gives huge answers with almost as big error estimations. I'm starting to think it diverges, but I don't know.

>>9618672
A proffessor of the Physics Department at the university I study is developing a physical theory for the kinematics of elementary particles with spin, and this integral appears somewhere in there. My friends told me about it and I decided to give it a try.

>> No.9618683

>>9618673
we'll see in a year, nigger-lover

>> No.9618686

>>9618667
Where have you heard all of this if you're not inside? The chans? I remember people talking about the ENS, but didn't pay much attention (and was in French, which I'm not that familiar with). Also, why do you say that the PhDs they give to outsiders are worthless? And why not go to some other country?

>> No.9618695

>>9618686
I know it by looking at what people become when they don't get in an ENS.

Why should I have to leave my home country to the jews? I am French and white, this is my country, not Israel's. They can fuck off (and they should before shit hits the fan). In my country, there's free healthcare. This is not common at all, and my parents paid for it through their hard work (and I will for forty years too soon enough), so I should be able to benefit from it. I could go to some other country and get a PhD, but it will be much harder to get a job in academia either from said country (because I'll be an outsider and no country is dumber than France when it comes to immigrants/traitors) or from France (because I'll be "gone" in the eyes of the jews. Some nigger or jew will take my job instead)

>> No.9618702

>>9618695
>I know it by looking at what people become when they don't get in an ENS.
What do they become?
>Why should I have to leave my home country to the jews?
Why shouldn't you?

>> No.9618707

>>9618702
They become high school teachers.

Because I'm not a cuck, they are a mere percent of the total population. If the average person weren't so dumb they'd invest in ovens. Also, it's a matter of principles, you can't just let people steal everything from you, including your past. I've never been abroad and lived my whole life in France. Everyone I know is French and France is my culture (except for the cuckoldry fetish which seems to have cut a wide swath in there, I wonder why)

>> No.9618714
File: 273 KB, 1822x1024, cuck.png [View same] [iqdb] [saucenao] [google]
9618714

>>9618707
>being cucked by ideology so hard that you become convinced you're not a cuck

>> No.9618723

>>9618714
The reason we're cucked is the shared stupidity of average people, which is helped by waves of migrants diluting the average iq and jews controlling media, not because of my mediocrity as an individual. Also, I'm pretty sure I'd beat this 112 iq if I took a real iq test.

>> No.9618727

>>9618624
>>9618667
>>9618673
>>9618695
>>9618702
>>9618707
>>9618714
>>9618723
>>>/pol/

>> No.9618741
File: 63 KB, 791x446, 019f7c45.png [View same] [iqdb] [saucenao] [google]
9618741

I visited my granny today. She was too tired to discuss category theory with me this time. Sad times.

>>9618723
Preach, sister!

>> No.9618939
File: 1.19 MB, 780x1202, self-induced brainletism.png [View same] [iqdb] [saucenao] [google]
9618939

motivate me to do maths please

>> No.9618943

>>9618939
come up with your own topic of study and motivate yourself you lazy piece of shit

>> No.9618950 [DELETED] 
File: 13 KB, 672x108, 2018-03-25-200145_672x108_scrot.png [View same] [iqdb] [saucenao] [google]
9618950

>>9615187
>Let [math]\mathbf F[/math] be a subfield of [math]\mathbf C[/math]. If [math]\mathrm{Vect}_\mathbf F\,B[/math] is dense in [math]\mathbf H[/math] for its euclidean norm, then for all [math]\mathbf x\,\in\,\mathbf H[/math], [math]\left( \left\langle \mathbf b \mid \mathbf x\right\rangle\,\mathbf b \right)_{\mathbf b\,\in\,B}[/math] is summable and [math]x\ =\ \sum_{\mathbf b\,\in\,B} \left\langle \mathbf b \mid \mathbf x\right\rangle\,\mathbf b[/math]
What do I do next? Only a finite number of coordinates of [math]y[/math] are non-null btw, that's why I can use the inner product like that.

>> No.9618952
File: 13 KB, 672x108, 2018-03-25-200145_672x108_scrot.png [View same] [iqdb] [saucenao] [google]
9618952

>Let [math]\mathbf F[/math] be a subfield of [math]\mathbf C[/math]. If [math]\mathrm{Vect}_\mathbf F\,B[/math] is dense in [math]\mathbf H[/math] for its euclidean norm, then for all [math]\mathbf x\,\in\,\mathbf H[/math], [math]\left( \left\langle \mathbf b \mid \mathbf x\right\rangle\,\mathbf b \right)_{\mathbf b\,\in\,B}[/math] is summable and [math]x\ =\ \sum_{\mathbf b\,\in\,B} \left\langle \mathbf b \mid \mathbf x\right\rangle\,\mathbf b[/math]
What do I do next? Only a finite number of coordinates of [math]y[/math] are non-null btw, that's why I can use the inner product like that.

>> No.9618953
File: 466 KB, 1200x550, smack a ho.gif [View same] [iqdb] [saucenao] [google]
9618953

>>9618939
Study or you will never understand Fomenko's mathematical works.

>> No.9619026
File: 75 KB, 850x638, sob.jpg [View same] [iqdb] [saucenao] [google]
9619026

>>9618953
fug :DDDD ok dad

>> No.9619058
File: 89 KB, 299x224, LawvereMulryRosenthal.png [View same] [iqdb] [saucenao] [google]
9619058

>>9616595
>tfw you realize that semantics is left-adjoint to syntax

Show me your comfiest adjunctions, /mg/

>> No.9619059

>>9619058
That's not true

>> No.9619074

>>9619059
Prove it

>> No.9619098
File: 29 KB, 741x568, 1476340446001.png [View same] [iqdb] [saucenao] [google]
9619098

Is it possible to study maths after university? I mean, just out of interest

>> No.9619099

>>9619098
No, jewish people suck out your math skills after graduation.

>> No.9619100

>>9619074
not him, but the burden is on you really

>> No.9619206

>>9619099
they do it well before graduation though, right at birth due to race mixing

>> No.9619312

I am in Calc 1 and getting shit on by integrals. At what point did it "click" for you guys? I have the exam in ~1 month and really want to get 100 on it

>> No.9619453

>>9619312
I never got it until calc3 where my Prof was more proof bases. So maybe look into "why" you're doing the integral?

>> No.9619502

ENS poster, are you still here ? I'll be moving from Canada all the way to France to try and study there, got any tips to share ?

>> No.9619516

>>9616852
Former Lyon reporting

>> No.9619521

Brainlet here, why does the Riemann Zeta function converge for negative integers ?

>> No.9619583

>>9619521
Check this one out
https://www.youtube.com/watch?v=sD0NjbwqlYw

>> No.9619627

>>9619583
Thanks

>> No.9619664
File: 73 KB, 700x394, DYbYQ2RW4AAKfdW.jpg [View same] [iqdb] [saucenao] [google]
9619664

hey /mg/ do you have any hobbies outside math?

university math takes all my time so all I do is math with the occasionnal procastination when I'm tired, like right now.

>> No.9619677
File: 60 KB, 736x736, 1492041498354.jpg [View same] [iqdb] [saucenao] [google]
9619677

>>9619664
Yes. I go for walks, play board games with my family when I visit them, shitpost, listen to music, etc. Those and math are my hobbies.

>> No.9619835
File: 66 KB, 500x333, 1520898481260.jpg [View same] [iqdb] [saucenao] [google]
9619835

>>9619677
sweet. I was hoping to hear more "serious" hobbies from math-anons, like music creation, drawing, programming, etc.

but your hobbies sound comfy, I like you.

>> No.9619862
File: 111 KB, 1280x720, 1492377672525.jpg [View same] [iqdb] [saucenao] [google]
9619862

>>9619835
I'm incapable of anything important, so I just do the comfy stuff. Nevertheless, good night to you, poster of nice animals.

>> No.9619907
File: 27 KB, 550x535, 0000000.jpg [View same] [iqdb] [saucenao] [google]
9619907

>>9619664
d-does vidya games count

>> No.9619935

>>9619664
mostly read some shit (old school scifi, sometimes elements, sometimes principia) talk shit with my electrical eng bud (poor ol shit) and procrastinate actually doing math despite it being my favorite shit baka

>> No.9620076
File: 103 KB, 588x800, 1515812718226-1.jpg [View same] [iqdb] [saucenao] [google]
9620076

>>9619935
do you read greg egan? I just started dichronaut and it's amazing

>>9619862
you too!

>>9619907
vidya is the activity that makes me the most relaxed.
I get way too autistic with books and end up excited instead of calm.

>> No.9620131

>>9619058
product-hom adjunction is basic but extremely comfy

>> No.9620213

I'm too fucking stupid for this shit. There is really no point in studying mathematics unless you have mathematical talent in the top 0.25%. I used to think I was smart but now I realise that I'm nothing at all, it's just that everyone else is even more stupid.

>> No.9620284

>>9620213
https://mathoverflow.net/questions/43690/whats-a-mathematician-to-do/44213

William Thurston was an inhuman genius, so really think about his response.

>> No.9620301
File: 102 KB, 421x307, 1498013264299.png [View same] [iqdb] [saucenao] [google]
9620301

>>9620284
>I find that mathematics is made by people like Gauss and Euler

>> No.9620323

>>9620284
Good answer, I didn't like how he got too philosophical at the end but his initial statements give us brainlets hope and motivation to do more math.

>> No.9620335

>>9618647
>I still despise the ENS and everyone involved in it (except for me).
so this is the power of critical thinking...

>> No.9620336

>>9617126
Why not take uncountable summations over the set of kronecker deltas?

>> No.9620337

>>9620336
>Why not take uncountable summations over the set of kronecker deltas?
Linear combinations in vector spaces are finite sums.

>> No.9620340
File: 27 KB, 275x296, cat_in_garbage_can.jpg [View same] [iqdb] [saucenao] [google]
9620340

>Do okay in math, definitely not a strong suit
>Love Econ
>Major in it
>Meet advisor
>So how good are you with math?
Fuck guys, I just want to learn about the economy.

>> No.9620342

>>9617971
I'm not the person you are replying to, but what is meant by "Zorn's Lemma" as a response is presumably that if you assume AoC, then we can use that axiom to "find" a basis in the existential sense.

This string of though is slightly different from assuming the existence of a basis outright. Mostly because a mathematician may find it more plausible to assume AoC than existence basis as an axiom. In the end though, this is essentially philosophy. If you don't like it, then there are a lot more concrete areas of math. (I don't mean that as an insult. Mathematics is a large subject, I think there is room for many different research perspectives.)

>> No.9620346

>>9620340
Everything practical is modeled by math because math is only thing simple enough for human beings to understand unambiguously. You're just going to have to grow to deal with that fact.

(I am not saying math is simple, I am saying that everything is very complicated and math is the simplest thing which is still complicated.)

>> No.9620358

>>9618723
Most students at the ENS aren't jews, you stupid algerian.

>> No.9620360

>>9620342
>I'm not the person you are replying to, but what is meant by "Zorn's Lemma" as a response is presumably that if you assume AoC, then we can use that axiom to "find" a basis in the existential sense.
>This string of though is slightly different from assuming the existence of a basis outright. Mostly because a mathematician may find it more plausible to assume AoC than existence basis as an axiom.
It is circular reasoning to assume what you are meant to prove. There is an absence of evidence regarding the existence of a proof that every vector space has a basis without assuming every vector space has a basis (but this is not evidence of absence).

>> No.9620367

>>9620360
Actual brainlet tier comment. Empty logic is what all axiomatic mathematics boils down to. The logical formalism is just a means to a way of understanding; human intuition is prime.

>> No.9620373

>>9620360
>absence of evidence
>circular reasoning
>evidence of absence
Refer to >>>/lit/ if you wish to discuss such topics.

>> No.9620375

>>9620367
>axiomatic mathematics
As opposed to what?

>> No.9620378
File: 57 KB, 645x729, brainlet.jpg [View same] [iqdb] [saucenao] [google]
9620378

>>9620373
>>absence of evidence
>>circular reasoning
>>evidence of absence
>Refer to >>>/lit/ if you wish to discuss such topics.

>> No.9620383

>>9620378
Ontologically speaking, you should refer to the deep board known as >>>/lit/ if you wish to discuss "evidence" and "circular reasoning".

>> No.9620385

>>9620383
>Ontologically speaking
We only speak mathematically here.

>> No.9620388

>>9620375
>>9620385
>>>/lgbt/

>> No.9620391 [DELETED] 

>>9620388
>>>>/lgbt/
Why the homophobia?

>> No.9620405

>>9620391
What's with the "why the _____?" meme?
I swear I only see it on this board

>> No.9620406
File: 1018 KB, 1920x1080, greenery and cat.jpg [View same] [iqdb] [saucenao] [google]
9620406

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

>> No.9620410

>>9620405
Just report the retard. All of these are his posts, you can check the archive to see the full extent of this mental illness.
>>9616617
>>9616889
>>9616939
>>9616973
>>9617047
>>9617060
>>9617076
>>9617129
>>9617130
>>9617141
>>9617174
>>9617195
>>9617970
>>9617971
>>9617974
>>9620360
>>9620375
>>9620385
>>9620391

>> No.9620411

>>9620410
One of those posts is about correcting some retard who thought a vector space of functions was 1 dimensional.

>> No.9620412 [DELETED] 

>>9620410
>All of these are his posts
This is false, and I'm not a "his".

>> No.9620416

>>9620411
>One of those posts is about correcting some retard who thought a vector space of functions was 1 dimensional.
Which is of course a mathematical absurdity, since every vector space is infinite dimensional.

>> No.9620419

What does /mg/ feel about Platonism?

>> No.9620459

>>9620419
Define "platonism".

>> No.9620466

>>9620459
>Define "platonism".
I'm not looking for answers from the uninformed.

>> No.9620488

>>9620466
see >>9620388

>> No.9620496

>Got an A- in Real Analysis and a B in probability theory

Will I ever go to Grad school, /mg/?

>> No.9620501

>>9620496
Your grades in engineering don't really matter in grad school unless you mean engineering grad school, in which case you should ask in a more appropriate place.

>> No.9620503

>>9620501
Engineering? What
Obviously, I mean maths

>> No.9620504

>>9620503
Why would you mention real analysis and probability theory if you meant math?

>> No.9620505

>>9620504
What is a "mathematics course" if those are "engineering"?

>> No.9620507

>>9620505
>mathematics
This is not well-defined.

>> No.9620512

>>9620505
Check any mathematics department.

>> No.9620515

>>9620416
one algebraic dimension you brainlet

>> No.9620522

>>9620512
https://www.math.ucla.edu/ugrad/courses
>Math 131AH: Analysis (Honors)
>Math 170A: Probability Theory
UCLA department of Mathematics. What are you trying to do

>> No.9620525

>>9620515
>one algebraic dimension you brainlet
This does not contradict what I wrote.

>> No.9620526

>>9620522
Seems like mathematics departments also teach engineering in your country and are thus not mathematics departments. That's pretty sad.

>> No.9620530

>>9620526
Can you provide an example of a mathematics department in your country?

>> No.9620536

>>9620530
Try asking on >>>/int/ if you want to discuss what countries people are from. It's a board created precisely for that purpose.

>> No.9620537

>>9620536
unsurprising non-answer

>> No.9620542

>>9620536
So you can't. I see.

>> No.9620543

>>9620410
>you can check the archive to see the full extent of this mental illness.
Imagine the kind of person who reads an archive of /sci/

>> No.9620546

>>9620537
>>9620542
Off-topic discussion is not encouraged. Try making a thread on >>>/int/ and linking it here.

>> No.9620588

>>9619664
lift and play lacrosse

>> No.9620589

>>9620505
Anything with the prefix "algebraic" or suffix "algebra" and every subfield. This includes tautological cases like "algebraic commutative algebra" and so on.

>> No.9620590

What is this physishit leaf/chink's problem? This general has been abolutely dog shit these last few months. Even by /sci/ standards.

>> No.9620606

>>9620590
>What is this physishit leaf/chink's problem?
You just listed them.
>This general has been abolutely dog shit these last few months.
And that's probably going to continue if the poor creature doesn't take its medication.

>> No.9620696

>>9620526
Because in Mathematics you're pretty much limited to becoming a professor or a researcher where both are extremely hard to aquire. To have a sort of back up for your future it's good they have engineering stuff in case you are unable to find job in previously mentioned areas or if you just want a more well-paying job.

>> No.9620713

>>9620696
Having "back up" for people who make choices which aren't the best in their particular circumstances isn't an excuse to try and shit up math departments with unrelated stuff like "real analysis" and "probability theory". You do realize that actual engineering schools exist, right? Just go to those if you want a more well-paying job.

>> No.9620719

>>9620713
You seem pretty retarded. Mathematics major is a very risky one, you have no idea how hard it is to get admitted to researching or compete to become a professor with hundreds of other applicants in very limited amount of universities. Getting some engineering knowledge could give you a stable job to occupy you while you keep applying to research or something so you don't become homeless and regret your degree decision right after. I know quiet a few mathematicians who didn't get their positions as researchers when first applying but kept applying for 2-3 years postdoc and worked as programmers/engineers in meanwhile. Now they're researchers and left their engineer/programming jobs.

>> No.9620731

>>9620719
>Mathematics major is a very risky one
Every non-retard who signs up for one knows that. How does this imply that your risky choices are somehow not your responsibility?
>Getting some engineering knowledge
Do that elsewhere. You wouldn't study chemistry in a philosophy department. Similar reasoning applies to any two distinct fields.
>I know quiet a few mathematicians who didn't get their positions as researchers
I'm not surprised that you know quite a few people who aren't smart since you seem to be like that yourself. Now fuck off to some other board if you wish to discuss off-topic trash such as your low intelligence and inability to be a researcher, i.e. a mathematician. I suggest trying out >>>/adv/.

>> No.9620732

>>9620076
I just looked that up, screw my rapidly deteriorating funds I have a book to read, I usually read zany scifi (Brian Aldiss) but Greg Egan looks like some good stuff.

Know what you mean with the book 'tisms, I get so into a book I end up taking long to read good ones cause I keep getting so exited I just pace round the place for like hours. :^)

>> No.9620737

>>9620731
Must be hard not having any friends

>> No.9620738
File: 40 KB, 500x336, facepalm4.jpg [View same] [iqdb] [saucenao] [google]
9620738

>>9620731
>Every non-retard who signs up for one knows that.
Where did I imply that they don't know? It is their responsibility, but that doesn't mean it's wrong to give them good credit.
>Do that elsewhere. You wouldn't study chemistry in a philosophy department. Similar reasoning applies to any two distinct fields.
No. It's good to be competent in other areas too. And that's a very retarded counter-argument, chemistry won't give you nearly as a wide range of job fields to apply to as engineering, and chem is more irrelevant to philosophy than engineering is to math.
>I'm not surprised that you know quite a few people who aren't smart since you seem to be like that yourself. Now fuck off to some other board if you wish to discuss off-topic trash such as your low intelligence and inability to be a researcher, i.e. a mathematician.
If you think it's about being "smart" then you are completely fucking retarded, you should kill yourself for that. It's the industry's fault, there's no high demand for mathematicians they have to compensate for the lack of positions in some way, and having a stable job until you can start your math career is a very good one. There are people way smarter than you'll ever be (honestly you seem pretty retarded so I assume it's a lot) but struggle to find a position because of the lack of demand, but eventually they'll get in and do some research. Having a job on the side so you don't become a hobo or have to do some other major isn't a bad backup plan.

>> No.9620739

>>9619664
Listening to music, singing, reading

>> No.9620781
File: 62 KB, 381x302, 1517986503167.jpg [View same] [iqdb] [saucenao] [google]
9620781

>>9620737
Yeah. It seems like the guy is having a pretty rough time. Maybe someday he will learn to accept himself and his engineering passion without trying to shit up other fields.

>>9620738
>chemistry won't give you nearly as a wide range of job fields to apply to as engineering
That's beside the point. Chemistry and philosophy are merely placeholders for any two distinct fields (which engineering and mathematics are, regardless of what you and other engineering filth tries to claim). You seem to be incapable of tackling basic abstractions. No wonder you can't get a job as a researcher.
>No.
So you think that math departments are an appropriate place for engineering merely because retards like you can't make proper life choices such as going to engineering school or learning engineering on the side (outside of math departments) if they can't handle the risks involved with majoring in mathematics? I don't think someone who really believes that everyone has to accommodate his poor decisions can be reasoned with.
>chem is more irrelevant to philosophy than engineering is to math
In what way precisely is engineering (something which isn't used in math) "relevant" to math?
>If you think it's about being "smart" then you are completely fucking retarded
Not having extremely low intelligence is a prerequisite which clearly neither you nor your friends possess.
>Having a job on the side so you don't become a hobo or have to do some other major isn't a bad backup plan.
Try actually reading my posts before replying to them. I never claimed that having a job on the side is a bad backup plan for those who aren't in any way mathematically exceptional. But having a side job is clearly possible without trying to poison math departments with engineering. That should be obvious even to someone like you.

>> No.9620782
File: 340 KB, 720x866, 1521599201615.jpg [View same] [iqdb] [saucenao] [google]
9620782

>>9620732
fucking same, are you me?

anyway I'm glad I made you discover something!

>> No.9620802

>>9620781
I can't even. It's so sad to see how stupid you are, yet ironically act smart.
Just go back to memeddit please and be the person everyone dislikes because of how autistic he is irl, you aren't worthy of anything

>> No.9620805

>>9620781

>Yeah. It seems like the guy is having a pretty rough time. Maybe someday he will learn to accept himself and his engineering passion without trying to shit up other fields.
It was directed towards you

>> No.9620822

>>9620802
I might be stupid, but I'm clearly above your level of mental retardation since I can understand simple things such as the distinction between engineering and math.
>you aren't worthy of anything
Says someone who has deep and unresolved personal issues regarding not being able to get the job he initially wanted.

>> No.9620838

Is stochastic processes more maths or stats related? I see it being offered in 4th year by my university without any stats prerequisite whatsoever.

>> No.9620878

>>9620838
I have a lot of that in my comp sci program and we only get one or two stats course before

>> No.9620987

I pissed in my beer and drank it. Couldn't tell the difference in taste. Give me a formula for this feel.

>> No.9621131

>>9619664
Ham radio and watches if these even count.

>> No.9621242

Why does linear algebra feel so boring

>> No.9621281

>>9620713
How the fuck is Real Analysis and Probability Theory not math? They're crucial stepping stones to learning Measure Theoretic Probability, which is what you're going to need to know if you want to do any deep work in probability or stochastic processes. NB: the shit without any applications

What do you consider to be maths? Algebra? Topology? There's more out there than just abstract shit that no one cares about

>> No.9621288

>>9620838
Depending on how it's done, it could be one of the more pure math courses you ever take. It's not stats related, it is its own field, but the theory gets used sometimes in stats.

It's pretty cool stuff. Take it if you're not scared of potentially writing proofs

>> No.9621290

>>9621242
Because linear algebra is boring

>> No.9621295

>>9621281
Don't reply to the spammer.

>> No.9621306

>>9621281
>They're crucial stepping stones to learning Measure Theoretic Probability
It's not surprising that engineering topics would be a stepping stone to learning more engineering topics.
>What do you consider to be maths? Algebra? Topology?
Those and their subfields would be almost the entirety of math. Correct.
>There's more out there than just abstract shit that no one cares about
Yes, clearly there is non-abstract stuff outside of mathematics. Why did you feel the need to mention this?

>> No.9621309

>>9620416
>>9620525
>>9620507
>>9621295
see >>9620388

>> No.9621311

>>9621281
>Falling for the bait.
They the same stuff every thread. Ignore it and move on.

>> No.9621320

>>9621311
>They the same stuff every thread.
Truth doesn't really change from thread to thread so I wouldn't expect anything else.

>> No.9621347
File: 79 KB, 874x684, 1495951465752.jpg [View same] [iqdb] [saucenao] [google]
9621347

>tfw your name will never be remembered for anything significant
>you will never contribute anything to modern mathematics

>> No.9621366
File: 140 KB, 286x277, 1521254691176.gif [View same] [iqdb] [saucenao] [google]
9621366

>>9621347
Oh boohoo, crybaby. Instead of crying you should be trying or simply as a quitter dying!

>> No.9621368

>>9621347
cheers
at least we can enjoy it

>> No.9621423
File: 103 KB, 1920x1080, why was I even born?.jpg [View same] [iqdb] [saucenao] [google]
9621423

>>9621347
>the only things I have to my name are two lame ass articles that are so mediocre no one has referenced them and I am embarrassed of telling anyone I wrote them
>failed postdoc after only 4 months
>back to being a neet
>my money will run out in 2 months tops
>can't seem to find the will to get a job
>have no idea what I even want to do at this point

Is suicide such a cowardly option ?

>> No.9621428

>>9621423
In certain situations I wouldn't consider it to be cowardly but in yours I would.

>> No.9621438

>>9621131
>watches
what, collect watches?

>> No.9621443

>>9621428
Why ? I am nothing more than an alcohol consumption machine at this point. I pissed my bed yesterday. From where I'm standing, it takes a lot of courage to just end it all. I keep fantasising about suicide but I don't even seem to be capable of jumping off a roof or tying a rope around my neck and jumping off a tree.

>> No.9621457

>>9621423
try actually killing yourself it's not that easy

>> No.9621502
File: 174 KB, 1024x872, 416c7ad1.jpg [View same] [iqdb] [saucenao] [google]
9621502

>>9621423
I loved your proof of how the Riemann hypothesis is false, especially the choice of basing it on the clever method of proof by tautology.

>> No.9621512

>>9621438
Yeah, I also masturbate to them.

>> No.9621542

>>9621443
Do you still like mathematics though?

>> No.9621549

If a book mentions a tensor product of commutative rings but doesn't mention over which ring the tensor is being taken of, can I assume it's the integers?

>> No.9621563

>>9621549
Yes.

>> No.9621576
File: 160 KB, 1280x720, 1492462745806.jpg [View same] [iqdb] [saucenao] [google]
9621576

>>9621549
Is it a tensor product of their additive groups? Do you know if there is a ring homomorphism from one ring to the other? In the first case you can use integers and in the second one use the domain of the homomorphism, as that turns the other ring into a module over itself.

>> No.9621601
File: 26 KB, 505x146, 88ab8945bdd383884a0595fa457ca32c.png [View same] [iqdb] [saucenao] [google]
9621601

>>9621576
No mention at all, so I'm going to assume integers

>> No.9621646
File: 40 KB, 500x349, )).jpg [View same] [iqdb] [saucenao] [google]
9621646

>>9621601
Oh, you are just using the rings' internal structures there! No idea what it is over, but I'm not sure if that's even relevant. Just go with integers.

>> No.9621650

>>9620589
>Anything with the prefix "algebraic" or suffix "algebra" and every subfield.
The burden of proof is on you to show that those are mathematics courses.

>> No.9621659

>>9621549
>tensor product of commutative rings
This is a mathematics thread.

>> No.9621661

>>9621650
>>9621659
>>>/lgbt/

>> No.9621665

>>9621661
>>>>/lgbt/
Why the homophobia?

>> No.9621684

>>9621665
Don't reply to the spammer.

>> No.9621694

>>9616852
Ca traine sur /sci/ a l'ENS ?

>> No.9621696

>>9621665
>>9621684
see >>9621661

>> No.9621775

What's the name for how (1-x)^2 = (x-1)^2 ?

>> No.9621777

>>9621775
That (-1)^2=1?

>> No.9621787

>>9621777
No, just how to equations that are seemingly opposite have the same result
Or is this only the case for this one example and not a rule of sorts?

>> No.9621792

>>9621787
if (a/b)^n = 1 then a^n=b^n
since ([x-1]/[1-x])^2=(-[1-x]/[1-x])^2=(-1)^2=1, you have (x-1)^2=(1-x)^2

>> No.9621795

>>9621787
Maybe symmetry, which is something all metrics share, but in itself it's too week of a property to study symmetric Operations alone.
>wuts a metric
>wuts an operation
Google it nigger

>> No.9621798

>>9621775
>>9621787
A function f:R -> R is said to be even if f(-x)=f(x) for all x in R. This in particular implies that f(1-x)=f(-(1-x))=f(x-1) and is a property of the squaring function.

>> No.9621799

>>9621798
Oh yes, this.

>> No.9621848

>>9618458
Isn't the integrand periodic in the variable R?

>> No.9621925

>>9621792
>>9621795
>>9621798
Thanks

>> No.9621930

I HATE LINEAR ALGEBRA
AAAAAAAAAAAAAAAAAAAAAAAAAAA

>> No.9621937

>>9621930
why, anon? It's fairly comfy, if a little dry

>> No.9621938

>>9621930
Brainlet detected.

>> No.9621984

Which of these are mathematics, and which are not?

>Algebraic Geometry; Algebraic Topology; Analysis of PDEs; Category Theory; Classical Analysis and ODEs; Combinatorics; Commutative Algebra; Complex Variables; Differential Geometry; Dynamical Systems; Functional Analysis; General Mathematics; General Topology; Geometric Topology; Group Theory; History and Overview; Information Theory; K-Theory and Homology; Logic; Mathematical Physics; Metric Geometry; Number Theory; Numerical Analysis; Operator Algebras; Optimization and Control; Probability; Quantum Algebra; Representation Theory; Rings and Algebras; Spectral Theory; Statistics Theory; Symplectic Geometry

>> No.9622022
File: 3.10 MB, 240x180, 1462225491679.gif [View same] [iqdb] [saucenao] [google]
9622022

>>9621984
all of them since technically everything can be expressed in mathematics

>> No.9622025

>>9622022
>everything can be expressed in mathematics
Why is that true?

>> No.9622030

>>9622025
>Why
Please refer to >>>/x/ and >>>/lit/ for discussing such topics.

>> No.9622034

>>9622030
>Please refer to >>>/x/ and >>>/lit/ for discussing such topics.
The burden of proof is on you.

>> No.9622057
File: 9 KB, 282x223, 1503839510887.jpg [View same] [iqdb] [saucenao] [google]
9622057

>>9622025
Words can be described using formal languages, a subset of mathematics.

Logic is a subset of mathematics.

All known disciplines of science can be described using words and logic (as far as I know).

Therefore all of those are mathematics.

>> No.9622063

>>9622034
i hate this meme

>> No.9622067

>>9622057
>Logic is a subset of mathematics.
Wrong. Only some subsets of logic are subsets of mathematics.

>> No.9622071

>>9622067
subcategories*

>> No.9622073

>>9622067
Provide a counterexample.

>> No.9622074

>>9622071
A set is by definition a certain kind of category.

>> No.9622084

>>9622073
Take the complement of the class "categorical logic".

>> No.9622087

>>9622067
>logic
>mathematics
Neither of these are sets, and so the "subsets" you speak of do not exist.

>> No.9622094

>>9622067
>>9622071
>>9622073
>>9622074
>>9622084
>>9622087
sometimes I like to imagine what it would be like to see a good-faith discussion here

>> No.9622097 [DELETED] 

How can one introduce an "imaginary" number [math]e \in \mathbb{R}^{\mathbf{im}}[/math] (where [math]\mathbb{R}^{\mathbf{im}}[/math] stands for some "imaginary" version of [math]\mathbb{R}[/math]) such that [math]e > 0[/math] and [math]e^n = 0[/math] for some [math]n[/math] in the standard non-imaginary naturals?

>> No.9622099

How can one introduce an "imaginary" number [math]e \in \mathbb{R}^{\mathbf{im}}[/math] (where [math]\mathbb{R}^{\mathbf{im}}[/math] stands for some "imaginary" version of [math]\mathbb{R}[/math] ) such that [math]e>0[/math] and [math]e^n = 0[/math] for some [math]n[/math] in the standard non-imaginary naturals?

>> No.9622102

>>9622097
>>9622099
trying real hard to find a difference between these posts other than the ) having a space before it in the second one

>> No.9622104

>>9622099
Something like this?
https://en.wikipedia.org/wiki/Dual_number

>> No.9622122

>>9622104
But [math]\mathbb{R} \lbrack x \rbrack / (x^2)[/math] won't be a field. I guess I would have to introduce the notion of an "imaginary" field which is probably worth doing in and of itself.

>> No.9622131

>>9622122
It's a pretty elementary result that fields do not have nonzero nilpotent elements in classical mathematics. You might be interested in this, though https://ncatlab.org/nlab/show/Kock-Lawvere+axiom

>> No.9622134

>>9622094
>good-faith discussion
What do you mean?

>> No.9622138

>>9622134
to begin with, it might involve not saying things like
>A set is by definition a certain kind of category.
which are clearly only intended to provoke a reaction
hopefully it should be clear that i'm referring to the form and subtext of that quote, not to its semantic content (not that there is much)

>> No.9622141

>>9622131
I don't mind assuming classically false axioms. The link seems pretty cool. I will look into it.

>> No.9622145

>>9622138
Why should people not say that?

>> No.9622155

>>9622141
ysk that this theory does not actually posit the existence of any nilpotent elements. it just lets you deduce things from statements about nilpotent elements that are classically just vacuously true. Here's a friendly-ish intro: http://www.math.cornell.edu/~oconnor/sia.pdf

>> No.9622177

>>9621937
>It's fairly comfy
how so?

>> No.9622187

>>9622145
"Presenting something as an undeniable fact which your interlocutor presumably will not think is an undeniable fact" is a classic smugness tactic

>> No.9622190

>>9622177
not the person you're replying to, but most things in linear algebra are really well-behaved and tractable compared to lots of places

>> No.9622191

Sup you brainlets

>> No.9622192
File: 1.22 MB, 400x400, 1520422190748.gif [View same] [iqdb] [saucenao] [google]
9622192

hey /math/

how do you guys see yourselves being born smarter than others?

Do you think, like : "heh, it's me it had to happen, I wouldn't know how being a brainlet feels like, must suck" ?

you guys are fucking lucky.

I enjoy reading about science and trying to understand some mathematical topics with channles like 3blue1brown.

Anyway I love you guys. I wish I would be able to study maths but I simply am not.

Don't forget you're kinda lucky. I'll go back to lurking and pretend I'm a mathfag.

>> No.9622195

>>9622190
>tractable
Can you elaborate? As in tractable for brainlets?

>> No.9622198

>>9622192
>sad_pepe_with_gun.png

>> No.9622205

>>9622195
tractable for brainlets is tractable for everyone..?..?

>> No.9622213

>>9622205
Sure, but it being tractable for brainlets doesn't necessarily make it comfy for non-brainlets.

>> No.9622215

>>9622205
>completely unrelated
fucking brainlet

>> No.9622218

New thread. >>9622175

>> No.9622237

>>9622195
As in, specific classes of problem in linear algebra tend to be very solvable (well, for finite-dimensional stuff)—most things are very finitary, or algorithmically approachable, or easy to find classifications for. By contrast, there tend not to be broad classifications or algorithmic approaches to things like solutions of differential equations or homotopy groups of spheres, even in finite dimensions.

>> No.9622245

>>9622192
Have you tried sitting down and working through actual material? Browsing wiki pages is generally incomprehensible if you aren't already familiar with the relevant topics, and pop-math content is generally not even *supposed* to give actual understanding.

>> No.9622761

>>9622192
>you guys are fucking lucky.
must be why people here talk about killing themselves so often huh

>> No.9622933

>>9616595
functions

>> No.9624135

>>9616605
embarrassment