/sci/ - Science & Math

>>9594173
(2^2)-1=3

I must learn all differentia/riemannian geometry and lie theory. Please help me.

Watch yourselves! The category theorists are plotting an armed revolution! They figured out how to weaponize Yoneda's Lemma!

How high were they?

>>9594265
That's pretty usual.

>>9594304
First time I've seen it.

>>9594252
It's more of a coup actually. And we have already been successful, check the news.

>>9594173
Undergrad Complex Analysis. Its pretty easy but the class isnt that rigorous. I asked for book recommendations and my profeasor leant me Alfhors. So Ive been working through that and its fun. Also I recently got Conways Functions of One Complex Variable so I have that to look forward too.

>>9594173
I am helping a friend with a question for a comp science degree application.

The question states:
If SKU = 153 , SHIP = 156 , and STORE = 231. What is the value of UNICORN?

I've tried googling the solution, finding a pattern with the letters and numbers, different combinations for the three number sets for a UPC code or anything really but found nothing.

Currently the best answer I have is that unicorn is a term in the financial industry for a company valued at >$1b.

Another retarded solution I had was inserting the numbers given into the nine 0s in the >1b definition, resulting in $1,153,156,231.

Also this is from a university program sponsored by Shopify and they have an internal communication system called UNICORN but that still does not answer the question.

Any ideas?

>>9594400
What kind of question is that? Too ambiguous.

Is pi a prime number?

>>9594407
It is a question for a university program application.

I'm honestly not sure why they are asking this or if there even is a correct answer.

I think they are simply trying to test how you solve problems during the interview stage where they review your answers.

>>9594400
>>9594414
Why are you spacing your posts in this retarded way?

>>9594414
That university is weird, don't go there.

>>9594415
I didn't really think about it, just do it out of habit. I think at some point they told us to space shit out to improve readability.

>>9594417
I'm not going there it is a friend who was having a problem answering this question on their application.

The university is not considered the best for its location but the program does offer fully paid tuition, paid internship and a comp science degree.

>>9594400
>comp science degree
Ask in the >>>/g/hetto/.

>>9594409
Assume "pi" exists, then "pi" is both prime and not prime.

>>9594173
Algebra and Trig. Really rusty on them all and been wanting to brush up.

I want to research low dimensional topology, so I am studying Riemann surfaces right now. How do I get into mapping class groups and Teichmuller spaces?

>>9594511
This is a nice paper https://arxiv.org/pdf/1311.2758v1.pdf

Really emphasizes the connections to dynamics, which is cool.

Queuing theory (1-persistent CSMA) and it's making me sad because I have difficulty with it

>>9594415
He's being considerate to all the dyslexic kids and retards who get intimidated by real paragraphs, we're on /sci/ after all.

>>9594376
Pretty beautiful mathematics imo. Serves as a good intro to algebraic topology too.

>>9594409
yes because i use pi to represent my primes in number fields

>>9595127
>Serves as a good intro to algebraic topology too.
How is clogging your brain up with garbage a good introduction to algebraic topology?

Just got an offer for a good uni PhD without any funding - I could apply next year but meh. Also my adviser looks like a pretty young associate professor and they're giving me until September to accept the offer. Is this a good idea?

I was thinking, since this is my first offer, could I start using it as leverage to make other unis start accepting/rejecting me a bit faster? Cos i havent heard anything from any other

>>9595185
to prepare yourself for the garbage yet to come

>>9595242
Why would you prepare yourself for more complex analysis if you want a good introduction to algebraic topology?

>>9595190
Where the heck are you going to get the money? I wouldn't even consider it.

>>9595301
From zįm's parents, obv.

>>9595301
My parents could probably afford to pay my maintenance and i can apply for a government loan, but yeah kinda sucks.

>>9595301
>>9595354
What percentage of phds gets funding?

>>9595354
Get a job

>>9595372
depends on the uni. In the UK, unless you're going to the creme of the creme or the shit of the shit, it's about 50%.

>>9594173
Real analysis, which I can do fine, and basic abstract algebra, which is far more difficult for me than it should be. To be honest, though, I suspect it's because I find algebra less interesting.

>>9595380
>it's because I find algebra less interesting
Ah, the usual non-self-aware-brainlet excuse.

>>9595380
I find concrete abstract algebra (ie: discussion of specific groups, properties, etc) pretty boring but when adjoined to category theory it's pretty beautiful

How is a coordinate singularity defined mathematically?

>>9595422
>concrete abstract algebra
This is blatantly nonsensical even if we forget that the term "abstract algebra" is itself retarded.
>discussion of specific groups, properties, etc
What do you mean?

>>9594173
Calculus

>>9595452
Never heard of this field of math. Is it something new?

>>9595441
ie looking at the dihedral group and the symmetries of polygons, alternating groups, etc. Actually, I very much dislike most of group theory.

>>9594173

R-permutation

I am not sure if I can ask her but I am a philosophy student and there is a philosopher I want to read that uses a lot of set theory and category theory, any good easy book to read on these topics?

>>9595681
>set theory and category theory
This is a thread for mathematics.

>>9595681
Most set theory books have a very 'mathematical' approach to it that can make it hard to the non-experienced reader (basically because of their constant use of the 'mathematical proof').

But fuck it. If you already understand logic (if not read The Laws of Truth) and how axiomatic systems work (if not, try Metamathematics) I'd go for Enderton's and Jech's set theory books. Don't know much about category theory though.

Just out of curiosity, is that philosopher Alain Badiou?

And, what do you think were the influences for Schopenhauer's revolutionary thoughts? Orientals+Kant don't seem coherent to me

>>9595783
Thanks!
I'll look up these books.

>Just out of curiosity, is that philosopher Alain Badiou?
Yes, I am studying Ontology and was fascinated with his statement " Ontology is Mathematics"
So I wanted to read his book " being and event " and it's sequel " logic of worlds "


>And, what do you think were the influences for Schopenhauer's revolutionary thoughts? Orientals+Kant don't seem coherent to me
I only Know Schopenhauer from his influence on Wittgenstein, didn't go into him in depth yet.

How can I tell what's mathematical and what is not mathematical if there's no rigorous definition of "mathematics"? I've become increasingly skeptical that category theory is mathematics

>>9594173
When you compute the path integral, what are you physically computing?

>>9594173
Polynomials

>>9596101
>physically computing
Please refer to the physics thread
>>>/toy/physics

THIS WILL NEVER MAKE SENSE TO ME REEEEEEEEEEEEEEEEEEEEEE

Whats a good free online graphing calculator?

I use the first ones to pop up on google and they are all wrong.

>>9596101

>>9596191
It's like your usual single-variable limit, except now you approach the point from any direction on a 2D-plane instead of approaching it from "left and right"

Self-studying basic geometry from Kobayashi&Nomizu. Apart from some mistakes and unconventional definitions (they define wedge product to be just the image of the alternation of tensor product, without the factor of (n+m)!/n!m!, which makes theorems have all these crazy factors), the book is actually pretty good.

Trying to calculate tensors using chopsticks

Hi everyone, I'm a freshman math major who took AP Calc last year but didn't take the AP test because I knew my understanding of concepts was just too weak.
As such I'm currently getting a comprehensive algebra review which is nice, does anyone have any online resources that would allow me to get a solid review of calc one so that I could test out of it next semester?

>>9596191
Why are the most retarded posters also the most obnoxious.

>>9596272
follow the mit course on youtube or download a calc1 text on libgen. stewart if youre engie or science major, apostol if youre math major

Can't I just pay someone to do these fucking math courses. Why the fuck in gods name do I need to know trigonometry for IT?

>>9596312
>Why the fuck in gods name do I need to know trigonometry for IT?
Because if you're too stupid to understand trigonometry you shouldn't be trusted with anyone's computer

>>9596325
>having to learn adv math to turn on a computer.
We need rocket scientists to paint houses next.

>>9596312
Usually for manipulation of algorithms for efficiency and reverse engineering, but typically most cs curriculums use higher math as weeding out.

if derivative gives you the tangent, does an integral transform the tangent graph back into its pre-tangent phase? is that a bad way to think about it?

also, why is the area under a curve useful in the first place? what does it tell me?

>>9596365
The CS class had even more math, I'm going in for a lower level IT, mostly security certs. I'm not really going to be designing anything. The most I will do is tell non tech savvy sales persons to change their passwords

>>9596391
https://www.youtube.com/watch?v=WUvTyaaNkzM&list=PLZHQObOWTQDMsr9K-rj53DwVRMYO3t5Yr

Check this playlist if you really care about the intuition behind it. It's not that long.

>>9596340
>trigonometry
>advanced math

>>9596418
For someone bad at math like me it's rocket science.

>>9596199
desmos is goat

>>9596243
>they define wedge product to be just the image of the alternation of tensor product
b-but it is

Does [math] \sum_{k=0}^{\infty} \frac{dx}{k!} [/math] converge towards a real value ? Is there any way of calculating it ?

>>9596481
Well, [math]\sum_{k=0}^{\infty}\frac{1}{k!}=e[/math]. What exactly is "dx", to you?

>>9596481
So is "dx" approaching 0?
Because if so would the value just be 0

>>9595452
Same. I have an exam on Tuesday( right after spring break of course) so I pretty much canceled all of the plans I had this week to review.

The professor said that they would be checking emails every few days as well as post the answer key for the review.

It's been over a week, no replies to anyone's emails, and no answer key.

I think I'll do alright, but goddamn.

>>9596391
>also, why is the area under a curve useful in the first place? what does it tell me?

>mfw when I calculate the volume of a girls tits by rotating them over my D-axis

>>9596560
Yeah but it's an infinite sum

>>9596614
If dx is constant with respect to k, then for any value of dx your sum is just e*dx, by >>9596514
If dx depends on k in some way you should indicate that more clearly.

>>9596302
Thanks!

Intro to Proofs and Integral Calculus

The Proofs class was hard at first but then became super duper easy I love it.

Integral Calculus is just boring. I hate grinding integral calculations it is so tedious and frustrating sometimes.

I like setting up the problem, though. I just hate punching in the numbers.
I'm not really a "Math is my passion" kind of guy. I'm just doing a Math and Stats program for the sole purpose of developing employable skills. I like Math don't get me wrong, but it's not something I'll be doing on my free time. I'm just getting skills.

>>9595423

>>9596941
>I'm just doing a Math and Stats program
Nothing you mentioned includes any field of math. So you're just doing a "Stats" program. You should discuss that on proper channels, for example >>>/biz/ and >>>/b/.

>>9594173
Graph theory

Numerical linear algebra

>>9595681
This is a mathematical thread, not a thread about "applications" of category theory to things not related to mathematics.
>>9595884
>Alain Badiou
Ask in >>>/lit/. I'm sure their kind can help you.

>>9595884
>Don't know much about category theory though.
Maybe you should spend more time on studying actual math then instead of "Metamathematics" and "The Laws of "Truth""? Or better yet just post on >>>/lit/ instead of this thread?

>>9597104
Category theory is irrelevant to most of mathematics, actually.

>>9597108
>most of mathematics
This is not well-defined. Try using >>>/lit/ and >>>/x/ to discuss this further.

>>9597125
>This is not well-defined.
What do you mean?

>>9597128
>What do you mean?
"mathematics" is not well-defined, thus "most of mathematics" is equally not well-defined.

>>9597133
>equally not well-defined
This is not well-defined. Please refer to >>>/lit/ if you wish to discuss such trash further.

Hey guys. I was wondering if "The Metamathematics of Ontological Truthhood" is a good place to start learning math? I heard it uses set theory so surely it must be good, right? Haven't heard much about category theory though.

>>9597142
>math
This is not well-defined.

>>9597143
It was defined in "The Deeper Meaning of Metamathematics and Set Theory" by Foucalt et al. though? How can it not be well defined? Are you trying to say that Philosophy doesn't use Set Theory? By which I mean "are you trying to say that Philosophy is unrigorous trash?". Haven't heard much about category theory though.

>>9597154
Also see Biandou's Deeper work on the "True Methaphysics of Set Theory and Truth". It is truly an insightful piece of art which uses forcing to make its underlying deeper point.

>>9597154
>It was defined in "The Deeper Meaning of Metamathematics and Set Theory" by Foucalt et al. though?
To be defined is not to be well-defined.

>>9597158
That's some deep philosophy right there, my friend. I will ruminate on this for a while and contact you after reading the chapter of "Methaphysical Classical Logic and its Relation to Platonic Ontological Truth" which mentions this. Actually, first I will go ahead and learn about forcing since it is used heavily in "The Deeper Ontology of Sets".

What is the best book to learn about "Homotopy Kan Extensions"? I'm actually a mathematician but I've never heard of them.
I need to read a philosophy book on "The History of Ontological Sexuality" which makes heavy use of them and meta Grothendieck Universes via meta-forcing.

>>9597176
>What is the best book to learn about "Homotopy Kan Extensions"?
http://www.math.harvard.edu/~lurie/papers/highertopoi.pdf

>>9597190
Uh... It seems to use "Math"? And this "Jacob Lurie" guy doesn't seem to be a philosopher. Is there a text which uses Set Theory and terms from Category Theory to make the deeper point?

>>9596941
Computations are usually the most boring parts of math, but familiarity with the patterns that are being enacted is always important.
So yeah I get it, but tough, get good.

>>9597207
But he wasn't talking about computations in math.

>>9597222
There are no "computations" in math.

>>9597236
>math
This is not well-defined.

>>9597236
Exactly.

>>9594400
Ever figure it out? SKULabs provides ecommerce software to shopify. Seems the words are all connected through shopify.

>>9597108
It's important to what I'm studying, baka. ;(

>>9594173
Taking a class in algebraic topology. Recently finished covering classifying spaces as well as the cohomological Atiyah-Hirzebruch-Serre spectral sequence.

>>9597449
That's what they call a "bot" if I recall correctly. It posts the same thing whenever cats are mentioned. It's not a mathematician so you can ignore it.

>>9594173

How does one deal with test anxiety and practice in general? It's not a question of knowledge, but rather working efficiently.

>>9597616
>How does one deal with test anxiety and practice in general?
Dreadfully.

>>9597616
Just be yourself

>>9597449
>It's important to what I'm studying, baka. ;(
What you are studying is most likely not mathematical then, can you take it elsewhere?

>>9597691

T-t-thanks

>>9597708
>""most likely""
Refer to >>>/lit/ for discussing "probability".
>can you take it elsewhere?
What's confusing you?

>>9597723
>What's confusing you?
Why a non-mathematician (or anyone else) would post about categories in a "Math general".

>he/she calls himself/herself a mathematician but relies on "informal proofs" (non-mathematical objects) instead of something like Coq

>>9597729
In what sense?

>>9597736
>In what sense?
What are you referring to?

>>9597734
Who are you quoting? Who said this?

>>9597737
To your post. To be more specific I mean the post made by this male >>9597729

9597734
>(non-mathematical objects)
>"informal proofs"
These seem like buzzwords to me.

>>9597742
I'm still not clear on what "sense" you mean, there are no "senses" involved in mathematics, that sounds like something in physics, which like categories, does not belong in a "Math general".

>>9597894
>which like categories, does not belong in a "Math general"
What is your post trying to express? Context?

>>9597910
>What is your post trying to express?
That categories are irrelevant to mathematics, and hence do not belong in a "Math general".

>Context?
Mathematics.

>>9597927
>That categories are irrelevant to mathematics
What does this mean? Context? Which categories are irrelevant to mathematics?
>Mathematics.
But I'm serious.

>>9597932
>What does this mean?
Which word are you unfamiliar with?

>Context?
Mathematics.

>Which categories are irrelevant to mathematics?
All of them.

>But I'm serious.
As am I.

>>9597937
>Which word are you unfamiliar with?
How are you jumping to that conclusion? Context?
>Mathematics.
How is that a response to my question?
>All of them.
So mathematics is irrelevant to mathematics? In what context does this make sense?
>As am I.
Do you ever feel like there is a part of you missing?

>>9597946
>How are you jumping to that conclusion?
If you understand each word then the meaning should not elude you, hence there must be a word in "That categories are irrelevant to mathematics" that you are not familiar with.

>Context?
Mathematics.

>How is that a response to my question?
Because the context is mathematics.

>So mathematics is irrelevant to mathematics?
How are you jumping to that conclusion? Context?

>In what context does this make sense?
In the context of mathematics.

>Do you ever feel like there is a part of you missing?
Context? Do you mean physically, mentally, (spiritually)?

>>9597950
>hence there must be a word in "That categories are irrelevant to mathematics" that you are not familiar with.
What makes you think that what I'm saying is not true?
>Because the context is mathematics.
How? Context?
>How are you jumping to that conclusion? Context?
I have meta knowledge. Please at least try to understand that.
>In the context of mathematics.
In what sense?
>Do you mean physically, mentally, (spiritually)?
Do you deny your nature?

>not being an epistemological engineering major

my head hurts when I see walls of text as proof

why can't people use symbols in papers

2nd year linear algebra test coming next week and I absolutely suck at it

What's a book to quickly catchup with the material? The course is up to diagonal decompositions and I barely know how to do RREF

>>9597965
>What makes you think that what I'm saying is not true?
What are you referring to? Nothing in what you quoted says anything about something being "true" or not.

>How?
Because this is the "Math general".

>Context?
Mathematics.

>I have meta knowledge. Please at least try to understand that.
Meta knowledge of what?

>In what sense?
I'm still not clear on what "sense" you mean, there are no "senses" involved in mathematics, that sounds like something in physics, which like categories, does not belong in a "Math general".

>Do you deny your nature?
Do you mean physical, mental, (spiritual)?

>>9595884
I heard Badiou's use of set theory with relation to metaphysics is silly and just wrong

>>9597740
>t. Newfag

>>9598096
>>t. Newfag
Who are you quoting?

>>9597104
if you're quoting me >>9595783 then, sorry, but I'm actually majoring in math, specializing in functional analysis, so your statement is kinda pointless

Who ENS here?

Meth

>>9597708
>algebraic topology
>classifying spaces
>spectral sequences
>not mathematical
haha nice try bud

>>9594400
All of the words that have an S, the corresponding value is divisble by 3.

>>9599031
What makes you mistakenly believe those are mathematical?

>>9599038
they award fields medals for this shit

>>9599045
Is that really all you base it on?

>>9599038
>the fag is still posting
I hate you so much.

>>9599068
>>the fag is still posting
Who are you quoting?

>>9599068
>fag
Why the homophobia?

>>9599071
>>9599075
Die.

>>9599079
>Die.
Are you okay?

>>9599068
Guy is just trying to put forth some important questions to provoke some much needed discussion about the current state of mathematics. It's strange how definitions are supposedly a very important part of mathematics, yet mathematics itself is very poorly defined.

>>9596460
>desmos
Isn't it just a skin of geogebra?

Does the average probability and statistics course cover multivariate random variables in their entirety?

>>9599106
>Guy is just trying to put forth some important questions to provoke some much needed discussion about the current state of mathematics.
I'm not a "guy".

brainlet here, when would I use trig subsitution instead of chain rule and vice versa for integration?

>>9599178
Sorry, my mistake.

>>9599242
>trig substitution
>chain rule
>integration
What does this have to do with math, exactly?

Anyone here use GNU Octave? If so, what are your thoughts on it?

>>9599242
Use trig substitution when you see expressions that look reminiscent of Pythagorean theorem's applications. Ex: integrating the expression "sqrt(25-x^2)" (also, check the Weierstrass substitution, it's pretty rad)

>>9599038
are you implying they're not?
what is mathematics to you?

>>9599525
>mathematics
Not math

>>9599525
>are you implying they're not?
Yes.

I'm a CS major with a focus on computer vision.
Do you guys have any ideas what a differential geometry course would cover? Is it useful information? Is it applicable to computer science or computer vision? Here's the description:

"Possible topics are the basic ideas of topology, description of curves in space, definition and local study of smooth surfaces in Euclidean space (fundamental forms, geodesics, and curvature), global properties of surfaces, gauss-bonnet formula and applications."

I think the topic sounds interesting, but I have no idea what you actually learn. Is it just a combination of differential equations and calc 3 or am I thinking about it wrong?

>>9599620
If it helps, the book is:
A.N. Pressley, "Elementary Differential Geometry." Springer Undergraduate Mathematics Series

Can I get a link to the official /mg/ discord?

Automata theory/regular languages.

Just took like at least two hours in a simple stupid fucking exercise, I feel way too dumb.

>exercise asks for automaton which recognizes the language on alphabet { a, b } where symbols occur in odd numbers
>build dumb automata that fail when strings are larger or when symbols are interleaved
>get frustrated so I start procrastinating and writing/drawing nonsense
>start getting suspicion that this may not be possible, argue to myself that it would require an infinitely growing number of states
>remember even numbers example in textbook
>it's literally the same automaton with just a different final state

>>9599672
>Automata theory/regular languages.
not math

>>9599677
Hello, engineering student

>>9599686
Hello, non-mathematician.

>>9599677
>>9599686
>>9599694
automata theory is computer science
it can be argued as both math and non-math
you're both right and wrong

>>9599702
>it can be argued as both math and non-math
You'll have to demonstrate (preferably arguing as math).

>>9599702
>automata theory is computer science
Mathematics is a very small subcategory of computer science, and so saying "automata theory is computer science" is not enough to conclude that automata theory is mathematics.

>>9599705
>>9599708
Can it not be constituted as a form of graph theory or topology? What about the proofs on decidability? It has all the properties of math without the math (sort of).

>>9599722
>It has all the properties of math
Like what?

The very basics (high school stuff).

Due to a very fragmented upbringing during my high school years, I now have only a very basic understanding of algebra (can rearrange simple equations but have forgotten many of the rules and terms) and SOHCAHTOA-tier trig.

I've obtained a series of textbooks for a distance learning course, intended to take someone of roughly my caliber, refresh their algebra, and teach them up to calculus. I'm trying to study it at roughly the same pace as I would need to if I were actually enrolled in the course.

Things are going okay so far. The series seems to be very well written in terms of difficulty curve/gently introducing concepts before building on them. It does assume that my algebraic fluency is somewhat better than it is (I can solve the problems but it takes me much longer than it should). I'm hoping I can fix that with lots of practice and the help of Wolfram's problem generator.

When I finish this I intend to do linear algebra, for 3D game dev. I tried doing that before, with my current knowledge, but found that although I could understand what a vector is and the concept of multiplying one by a matrix, I had no idea how to derive my own matrices or what it meant to have coordinates in one "space" and "project" them to another. Best to start over to ensure I understand what's going on.

>>9599725
I don't know. It just seems mathy? It's proof based?

>>9599620
You study properties of curves and surfaces. For curves, you learn about curvature, and torsion. Then you learn about surfaces. You can also study curves on surfaces. Properties of curves on surfaces include geodesics, which are paths that locally minimize distance between two points, and special types of curvature such as geodesic curvature. Then you study surfaces, such as fundamental forms, so you can compute notions of curvature of a surface. For example, there is mean curvature and Gaussian curvature. You link things together by the Gauss Bonnet theorem.

>>9599730
>It just seems mathy?
I don't know what you mean.

> It's proof based?
Is Gödel's ontological proof math?

Definition 1: x is God-like if and only if x has as essential properties those and only those properties which are positive
Definition 2: A is an essence of x if and only if for every property B, x has B necessarily if and only if A entails B
Definition 3: x necessarily exists if and only if every essence of x is necessarily exemplified

Axiom 1: If a property is positive, then its negation is not positive
Axiom 2: Any property entailed by—i.e., strictly implied by—a positive property is positive
Axiom 3: The property of being God-like is positive
Axiom 4: If a property is positive, then it is necessarily positive
Axiom 5: Necessary existence is positive
Axiom 6: For any property P, if P is positive, then being necessarily P is positive

Theorem 1: If a property is positive, then it is consistent, i.e., possibly exemplified

Corollary 1: The property of being God-like is consistent

Theorem 2: If something is God-like, then the property of being God-like is an essence of that thing
Theorem 3: Necessarily, the property of being God-like is exemplified

>>9599454
Okay, thank you! What about chain rule? Any tips?

>>9599258
I like memes too anon, but I really want some advice right now

>>9599735
Is it a fun course? Would you recommend it? Did you learn a lot?

>>9599677
>>9599702
>>9599708


Where do you separate computer science and math? Asking for genuine curiosity

>>9599768
I would like to know this as well.

>>9599742
I don't know to be honest.

>>9594173
Basic integrals and their applications. I'm just starting out in higher math, but I hope that one day I'll major in it and understand much more complex fields!

>trying to find proof for Popoviciu inequality for bounded variances for a random process class
>every search result is just a circle jerk of references to several papers not proving anything and just saying "The well known Popoviciu inequality is:"
>all reference the original text
>can't find the original citation online anywhere
CUT MY LIFE INTO PIECES

>>9594173
Number theory.
Instead of the prime counting function, I'm looking at the function that counts numbers that aren't squares or cubes etc. It counts positive integers that are only first powers.

Everybody knows that positive integers can be written as a product of a multiset of primes.
n=(p_1)^(a_1) * (p_2)^(a_2) * ...

A similar result is that every positive integer can be written as a power tower using a sequence of first powers.
n=a^(b^(c^...

There is a way to write the zeta function additively instead of multiplicatively.
zeta(s)-1^-s = (2^-s)/(1-2^-s) + (3^-s)/(1-3^-s) + (5^-s)/(1-5^-s) + (6^-s)/(1-6^-s) + (7^-s)/(1-7^-s) + (10^-s)/(1-10^-s) + (11^-s)/(1-11^-s) + ...

how da fug do I find where x and y starts and ends in an double integral?
integral is (x+y)dydx and D is x=-1 ; y=0 ; y=x^2
am assume x is from -10 to 0 but is y from x^2 to x or from x^2 to 0

>>9599672
>Automata theory/regular languages.
Ask in the >>>/g/hetto/.
>>9599730
>"It just seems mathy?"
Try discussing that in >>>/lit/.
>>9599768
>>9600014
>>9600147
>>9600300
Discuss "computer science" in the boards mentioned above.

>>9600300
>"computer science"
bruh I am studying engineering how the fuck do integrals have anything to do with computers

>>9594409
pi = 2n + 1,
where n = (pi - 1/)2

>>9600331
>engineering
Same thing as far as I'm concerned. Don't post your puke-inducing garbage in these threads.

Is this book worth picking? Do you use the techniques shown here or are they too case-specific?

>>9600356
>Do you use the techniques shown here
No. I'm not an engineer. Try asking in their threads, that would be a lot more effective.

>>9600345
did a computer scientist rape your mom brutally infront of you or something? or was it maybe dare I say it calculus who did it?

>>9600368
Actually I don't think they are even capable of doing such a thing. Try discussing that in the >>>/g/hetto though. They should probably know this stuff better than me.

How the hell do i into spectral algebraic geometry? Laurie is wizard, don't understand half of his book.

>>9600368
I'm pretty sure not-math anon got rejected by his PhD program, so he's wasting his life here trying to justify his failures.
Best to just ignore him, maybe he'll grow up soon. But that's not math, so I wouldn't count on it.

>>9600390
>Best to just ignore him
Indeed. And the best way of doing so would be to fuck off to some engineering thread over at the >>>/g/hetto/.

Computer science is math.

>>9600402
True. I suggest we move to the >>>/g/hetto/ to discuss this with our brethren.

>>9600300
If you manage to write an English sentence you might get an answer.
I don't want to jump to conclusions, but "how da fug do I find where" seems correlated with skin pigmentation.

Im trying to end 400 pages of first order logic so i can read 320 pages of a book about models constructed with the aritmethic of peano so i can finally make a work about the quadratic reciprocity, but actually it's more about proving that the theorem works in any elemental extension of the Z numbers, have any of you heard of some work like these or similar? , my teacher and i we want to publishing as an article if it hasn't been done before

>>9599742
Well is not actually the ideal of infinite automatrons the god-like ideal? and the categorization of all the automatrons that are finite make actually Axioms 1 and 2?, and well axioms 3-6 are a derivation of any structure of first order logic, and furthermore is not actually the automatron theory an extention to theory of structures for any L-lenguage?

>>9600308
>>9600376
/g/ is full of code monkeys and pajeets. Do you think they define what computer science is?

>>9600402
It's unfortunate that the name computer science got hold in the English-speaking world. Computation science (as it's called in my country) or informatics are much more apt names.

Trying to remember my differential equations so I can read this time on Lanchester/Osiprov/Fisk Differential Equations.

>>9600790
>/g/ is full of code monkeys and pajeets.
I couldn't care less. Fuck off to some other board with your non-math topics. Your kind simply isn't welcome here.

>>9600856
>your kind isn't welcome here

By you individually. Mathematics isn't science either. You're just ignorant about computer science.

>>9600885
>By you individually.
This is a thread about mathematics. Posting off-topic trash such as "CS" is discouraged.
>Mathematics isn't science either.
That is irrelevant. The board is called "Science & Math". This thread is called "Math general". It is then clear that "CS" does not belong on this board and thus in this thread as well. I suggest making a thread over at the >>>/g/hetto/ if you want a place to continue discussing "CS" with like-minded "people".

>>9599620
Look through the textbook. You can find it on google. It probably isn't useful to computer science, but I don't know anything about that. Differential geometry is an interesting field but I'm not a big fan of this concrete stuff, the abstract theory more advanced books like Spivak is more interesting, but since you're majoring in computer science it being more concrete would probably be useful since it lowers the prerequisites.

>>9600368
>computer """"scientist""""
>>>/g/

>>9599620
>Is it useful information?
Useful for whom? For CS majors? Try asking that in the >>>/g/hetto/, they would clearly be better at answering questions concerning their "field of study".
>Is it applicable to computer science or computer vision?
See the above remark.

>>9600914
CS is a subset of math brainlet. Thus it is math too

>>9600940
This makes no sense whatsoever. I realize that your kind has an inferiority complex and so you like attaching yourselves to fields which aren't a complete joke, but you should at least try being less blatantly retarded next time. You should have more pride in your field. I suggest making a thread over at the >>>/g/hetto/ to celebrate the deep results you guys obtain on a regular basis.

>>9594409
Pi isn't an integer.

>>9600402
>Computer science is math.
Other way around.

>>9600940
>CS is a subset of math brainlet.
Other way around.

>>9600968
My field? I'm a math student. CS deals with the part of math that is computable e.j. Computable functions

>>9601036
>math
This is not well-defined.

>>9599059
>all
no you dolt

>>9601036
>I'm a math student.
I highly doubt that math is your main subject of study. What do you specialize in?
>CS deals with the part of math that is computable
This is a retarded thing to say. A lot of mathematics can be done constructively and "CS" still doesn't deal with it. It actually doesn't deal with any math since it's a completely separate field.

>>9601088
>no you dolt
Then what else?

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

>>9601088
Don't reply to the spammer.

>>9601129
>Don't reply to the spammer.
What do you mean?

>>9601121
I'm not that guy, but CS originated from math. Back in the 1900s, if you were a computer scientist, you were basically a mathematician that just so happened to work with computers. They used to be heavily related and now they're only somewhat related, depending on the school you attend.

>>9601312
>I'm not that guy, but CS originated from math.
I'm not a "guy".

>>9601312
>but CS originated from math
This isn't true, but that doesn't even matter. "CS" isn't math as of right now and thus should be discussed at >>>/g/.
>you were basically a mathematician that just so happened to work with computers
You seem to have a twisted notion of what a mathematician or even a "computer "scientist"" is.
>They used to be heavily related
"CS" isn't used in math. Math isn't used in "CS". Clearly they are separate.

>>9601320
Okay dude

>>9601357
>math
This is not well-defined.

>>9601357
>Math isn't used in "CS"
Ok buddy, this is how I know you're trolling.

>>9601398
"calculus" and "computations" with "matrices" aren't a part of math. Fuck off to your home board if you want to discuss that and/or "CS".

>>9601430
>"calculus" and "computations" with "matrices" aren't a part of math.
[citation needed]

>>9601432
>[citation needed]
>>>/r/eddit/

>>9601443
Take your unrigorous arguments elsewhere, perhaps a philosophy board.

>>9601398
You didn’t catch on to that 200 posts ago? Hide and ignore him.

>>9594173
Physical stuff - scalar fields on anti de Sitter space. Pretty much fucked up system of partial differential equations

>>9601762
Scalar fields along these lines?
Another ads/cft guy here

>>9601765
kinda, in my case massless. It's for bachelor, so it's pleb tier for now. But yeah - I'm starting to work on it, for now I'm trying to get Einstein's equations from E-H action and writing down Klein Gordon equation for different metrics.

>>9601753
>Hide and ignore him.
I'm not a "him".

>>9601762
>>9601765
>>9601771
Refer to >>>/toy/ and >>>/sci/phg/ for the physics thread, we don't discuss that here.

>>9601794
>we
Speak for yourself.

>>9601753
Not him, but what part of that is ``trolling"?

>>9601773
Keep up the good work, it's about time someone cleansed this thread from all the trash that has been cumulating.

Yours truly,
a secret admirer

Categorical homotopy stuff.

>>9601800
>speak
Zhù didn't speak but wrote.

>>9601812
>Zhù

>>9601817
Yes, and?

2 questions

im in calc3 for context

A) which method do you prefer for calculating the cross product?

B) is there a method to parameterizing 3 variables? or do you just have to find the right trick?

>>9601895
>which method do you prefer for calculating the cross product?
Never had to do that (I'm a mathematician) so I don't have a preferred method.
>is there a method to parameterizing 3 variables?
I wouldn't know. Try asking the folks over at >>>/sci/phg/. They might know the "right trick".

Dummit and Foote Abstract algebra second or third edition? Second is much cheaper

>>9601920
The third edition is pretty cheap at libgen.

>>9601933
That may be so but I'd rather have a physical copy

>>9601913
>I'm a mathematician
Mathematicians use "we", not "I".

>>9595423
It's a singularity in the metric. E.g. see
https://en.wikipedia.org/wiki/Schwarzschild_metric#The_Schwarzschild_metric
>>9596101
It's a sum over all trajectories weighted by the (exponential) of the action functional. Formally speaking you can think of the measure [math]\mathcal{D}\phi[/math] as [math]\bigotimes_{x \in M}d\phi(x)[/math]. For simple (non-gauge coupled) matter fields transforming under representations of a structure group [math]G[/math] (such as the spin group [math]\operatorname{Sp}(1,3)[/math]), the path integration corresponds to the fibre integration over the moduli space [math]\tilde{\Gamma}
= \{\psi \in \Gamma \mid \operatorname{Tr}(f_i(\psi)) = 0, 1\leq i \leq N\}[/math] of sections [math]\Gamma \equiv \Gamma(LM,V \times_G G) \subset LM[/math] (as a subspace of the loop space [math]LM[/math]) of the principal Hermitian [math]G[/math]-bundle [math]H \rightarrow M[/math] with some number [math]N[/math] of boundary conditions [math]\operatorname{Tr} \circ f_i[/math] imposed on [math]\partial M[/math] with [math]\operatorname{Tr}
: H^1(M) \rightarrow H^\frac{1}{2}(\partial M)[/math] the Sobolev trace map, while for gauge fields (such as in the case of Yang-Mills theory) the integration is over the moduli space [math]\tilde{\mathcal{A}} = \mathcal{A}/\sim[/math] of connections [math]\mathcal{A} = \{A \in \Omega^1(M)\otimes \operatorname{Lie}G\}[/math] on a principal gauge bundle [math]P \rightarrow M[/math] satsfying the self-dual condition [math]F = \ast F[/math], which amounts to [math]F^- = \frac{1}{2}(F - \ast F) = 0[/math] where [math]F = \nabla A \in \Omega^2(M)\otimes \operatorname{Lie}G[/math] is the curvature.
>>9601765
There seems to be some typos there. It should be [math]\sqrt{-\operatorname{det}(g)}[/math] in the action and there should not be a total minus sign.

>>9602393
>>9595423
>>9596101
>>9601765
Refer to your containment thread >>>/toy/physics/ if you wish to discuss concrete physical TQFT and deep string theory.

>>9602058
>We’m a mathematician

>>9602434
>>We’m a mathematician
Who are you quoting?

>>9601920
For the hardcover. I think the binding and paper of the second edition is better than the third. I don't think the chapters have been modified too much, though I only looked at rings through galois theory in it.

>>9602393
Does the moduli space of YM-connections even have a decent structure?

>>9599742
Could the mods ban this autist from these generals? He is hurting the discourse.

>>9601920
I recommend getting the first, working on the first chapter ( including every exercise!), and moving onto Lang soon after. The language is just so much cleaner in Lang's (3rd ed.) book. Be prepared to spend a few minutes on each line, culminating to an hour on certain pages.

>>9594400
>I've tried googling the solution,
are u a recruiting agent

r/codes/comments/84sd2s/if_sku_153_ship_156_and_store_231_what_is_the

http://www.obj.ca/article/techopia-deadline-approaching-apply-shopifys-dev-degree

>>9602665
>Could the mods ban this autist from these generals? He is hurting the discourse.
I'm not a "he".

>>9602687
>I recommend getting the first, working on the first chapter ( including every exercise!), and moving onto Lang soon after.
Lang is a meme.

>>9602665
>Could the mods ban this autist from these generals?
What do you mean?

I am the one of the few on-topic posters here.

>>9602630
>>9602687
Thank you, I'll go with the second edition. I'll keep Lang in mind.

Why do people still use latin/greek symbols that are hard to read and write in Maths

>>9602665
Just wait until he makes about 10-15 posts and report them in one go. Probably won't help though.

What linear algebra book do tou recommend for a CS brainlet?

brainlet PDEs for Method of Characteristics question here.
If I have u=g(ξ), and dx/dτ = u^n for n=1,2,3,... - how do I go about integrating/solving this?

>>9601895
>cross product
3 2x2 determinant method
>parametrizing 3 variables
you're not gonna get asked anything that requires too much of you - you will always have to exploit the symmetry. Usually that means parametrizing the surface of integration (eg: hyperboloid/paraboloid) or being able to choose a normal vector at each point in the surface (eg: a sphere or plane).

If it is not at all obvious that there is some symmetry, then it's going to be some application of Stoke's or Divergence theorem

>>9603080
well what are the boundary conditions?

>>9603110

Your parametrising curve is obviously the line x=3. The rest is easy cookbook shit by solving ODEs

>>9603161
I urgently need sleep, but the point I get stuck on isn't the solving - it's determining the parameterising curve. I don't know by what criteria I select it as to be able to solve dx/dtau = u = f(xi) or whatever.

Apologies for the poor formatting - I'm in bed and about to sleep. Will check tomorrow, but I should figure it out soon myself.

>algebra exam
>answer correct at every "hard" questions
>last question is about calculating the determinant of a simple matrix.
>failed at it because i count like a retard
>I failed a perfect
Why me? I just want to kill myself

>>9603172
>how do i parametrise the line [math](-\infty,\infty)\times \{0\}[/math]?
Are you perchance retarded?
Choose [math]\gamma:\mathbb R\to \mathbb R\times \{0\}[/math] by [math]\gamma(s)=(s,0)[/math]

>>9603076
Linear Algebra: A Modern Introduction by Poole
It's fairly standard for brainlets and real math majors

>>9602699
D O X X E D

>>9603005
>greek symbols
>hard to read and write
brainlet

>>9603005
>latin[...] symbols
You mean like the fucking English alphabet you retard?

>>9603713
>fucking
Why the profanity?
>english alphabet
You mean some variant of the Futhark runes? We[math]\dagger[/math] have never seen those in mathematical use, but it seems you have. Please do give us[math]\dagger[/math] a sample.

>>9603180
Mathematicians don't count, so you passed the entrance exam. We am proud of you.

[math]\dagger[/math] see >>9602058

>>9603829
Forgot the ^, silly me~<3

>>9603829
>Please do give us[math]^\dagger[/math] a sample.
But we don't use samples. We use remarks.

>>9604019
We was asking for a text sample.

>>9599672
That's how it is when you start with FSAs, but you get the hang of it pretty fast.

>>9604053
We was mentioning the fact that using samples in written text is in poor taste. The reader should be able to discover them and so called "motivations" on their own. So that user of profanity should not be writing the samples but instead saying them.

>>9604147
We only wanted to see even one occasion of English alphabet (that is, old runes) in a mathematical text. We am most disappointed if ɀ'ô is unable to provide that. This is also something ɀ'ô can't do by simply saying something, as various alphabets lead to similar sounds.

>>9603829

>>9604200
Reminder that Gödel's constructible hierarchy leads to Aryan Supremacy Singularity (ASS).

>>9594173
diff geo

>>9597937
this guy shitposts the exact same fucking thing every /mg/ and contributes little. don't worry about them. ct is applicable to a large chunk of certain kinds of mathematics, and does little other than basic organization for others. don't get too caught up in your tools kids.

>>9594173
functional analysis, analysis on manifolds and measure theory

>>9604329
>this guy shitposts the exact same fucking thing every /mg/ and contributes little.
I'm not a "guy".

>>9604329
>ct is applicable to a large chunk of certain kinds of mathematics
[citation needed]

>>9604329
>ct is applicable to a large chunk of certain kinds of mathematics
Which is pretty much of all mathematics which is currently known to exist.

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

>>9604211
You may act like a nazi online but irl you wouldn't resist a bbc you whore

Do all vector spaces have a basis?

>>9604483
Depends on your choice.

>>9604392
Most rude. I expect a formal apology.

>>9604483
>Do all vector spaces have a basis?
All finite dimensional ones do, but only a small minority of infinte-dimensional ones do

>>9604483
Yes, by definition. Otherwise it's just a module over some ring which happens to be a field.

>>9604494
>>9604492
>>9604497
It has a basis, that is, it has a linear ibdependebt substet whos span is all the vector space.

>>9604507
>It has a basis, that is, it has a linear ibdependebt substet whos span is all the vector space.
Yes, all finite dimensional have a basis, but only a small minority of infinte-dimensional ones do.

>>9604507
And why would that be?

>>9604510
No, in ZFC all vector spaces have a basis.
>>9604513
http://planetmath.org/everyvectorspacehasabasis

>>9604507
>it has a linear ibdependebt substet whos span is all the vector space
Sounds like something engineers would say. I don't understand this language.

>>9604516
>assume Zorn’s lemma
Please reread this >>9604492

>>9604516
>in ZFC
Irrelevant trash.

>>9604516
>No, in ZFC all vector spaces have a basis.
Such a statement can not be proven, it's only true if you assume it to be true.

>>9604530
Right and wrong. Those mathematicians that dislike the supposed "lack of rigor" in physics should also reject statements proven assuming generalized RH/CH.

>>9604518
That's actually a pretty abstract definition of a basia. An engineer would tell you that a basis are three linearly independent unit vectors or some retarded shit. https://en.m.wikipedia.org/wiki/Linear_span
>>9604525
>>9604528
So what? Mathematicians use ZFC all the time so it's still true in there, even if you disagree with it philosophically.

>>9604516
>http://planetmath.org/everyvectorspacehasabasis
Any non-popsci links?

>>9604533
>.m.
Please phonepost somewhere else.

>>9604533
>Mathematicians
What are those?

>>9604533
>Mathematicians use ZFC all the time
They don't, hence "irrelevant".

>>9604538
Constructivists are but one of the many schools of mathematics, but they are not the mayority in any sense or form.

>>9604533
>An engineer would tell you
And how do you happen to know this? Do you often come in contact with them?
>or some retarded shit
The shit you posted is no less retarded.

>>9604533
>So what? Mathematicians use ZFC all the time so it's still true in there, even if you disagree with it philosophically.
Then you should have said something like:
>every vector space has a basis if you assume the axiom of choice holds
or
>yes if you use ZFC
but instead you came in telling us every vector space has a basis. Now you are retreating to your ZFC universe where you think you can be safe from my all-seeing gaze, but you have already humiliated yourself. Go to sleep and apologize to us when you have woken up.

>>9604541
>The shit you posted is no less retarded.
Do you need to swear?

>>9604544
There have been few times in my academic carreer that I had to specify I was using ZFC, because non autists usually assume it.

>>9604540
Where does my post mention "constructivists"?

>>9604546
>There have been few times in my academic carreer that I had to specify I was using ZFC, because non autists usually assume it.
You might as well have wrote "every vector space has a basis if you assume every vector space has a basis".

>>9604546
Is this poster really trying to tell us ɦé-ê is interacting with neurotypical folk? Next amerimutts?

>>9604552
Every vector space has a basis if you assume that every set has a choice function. It's also true that every set has a choice function if you assume that every vector space has a basis, but it's not trivial to show that.
>>9604556
Maybe not regular folk, but my peers are not faggots obssed with anime,.

>>9604559
>faggots
Why the homophobia? How is homosexuality even related to this conversation? It seems like you are trying to make me look bad by giving me that stigma or alternatively trying to find intimacy online.

>>9604567
>>faggots
>Why the homophobia? How is homosexuality even related to this conversation? It seems like you are trying to make me look bad by giving me that stigma or alternatively trying to find intimacy online.
Maybe, or maybe I'm just calling you a faggot.

>>9604571
But why would you call me a faggot?

>>9604573
Why do we do anything we do? Why do you compulsively post anime in a math thread?

>>9604559
>Every vector space has a basis if you assume that every set has a choice function. It's also true that every set has a choice function if you assume that every vector space has a basis, but it's not trivial to show that.
Actually it is trivial by definition, since the axiomatic system requires 0 work to go from an object to an isomorphic object within the category of axioms.

>>9604581
How do you know it's compulsive? You seem to be assuming quite a lot of extra, just like you assumed ZFC.

>>9604587
So using an anime pic in every reply you make in this general is not compulsive for you? I suppose you have a pretty specific definition of compulsive, just lile you cynically called me out for assuming "ZFC" even if it's the standard.

>>9604581
>Why do you compulsively post anime in a math thread?
Why would someone not post anime on a website about sharing anime images? Why don't you post some anime as well?

>>9604590
>even if it's the standard
It might be the standard in the "engineering community", but people here neither know nor care about that.

>>9604593
>people here neither know nor care about that.
Speak for yourself.

>>9604592
/r/anime is just around the corner.

>>9604593
Your delusional mind is not the same as "all people here".

>>9604596
Never heard of it. Are you trying to advertise your website here? You should be doing that in >>>/g/ instead.

>>9604599
How am I deluded for not following engineering conventions?

>>9604590
>I suppose you have a pretty specific definition of compulsive
An action is compulsive when it is impossible to avoid it. I could easily post without pictures.
>you cynically called me out for assuming "ZFC" even if it's the standard
How is something being a standard an argument that is supposed to make me believe in the existence of bases of all vector spaces?

>>9604613
>>9604608
>>9604603
Is everything ok anons?

>>9604618
Not really. Why did you ask?

>>9604620
Anime is fun and all, but this scapism in starting to make feel sad. Why not go full throtle into math with your autism? It works for me.

>>9604624
I can't find any motivation for it because I know I will never use it after I get my degree done in a few months.

>>9604636
>I will never use it after I get my degree done in a few months.
Why not?

>>9604645
That's when I have to become an adult and get a job or be unemployed, and neither of those will have any interesting math stuff in them.

>>9604650
What about jobs (or rather job) which have interesting math stuff in them?

>>9604665
Is there a job where algebraic topology is used other than data analysis? I don't know if I could do that as I have no programming experience at all.

>>9604673
Yeah, it's called academia.
>data analysis
I said "interesting math stuff". I doubt they use algebraic topology or sheaf theory in any non-trivial way.

>>9604712
I don't fit in. I have no place in academia.

>>9604719
You just need to accept ZFC :^)

New thread.
>>9604727

>>9604735
Shut up nerd, this shit is dead.

>>9604734
Or just leave math behind. It was a phase, and phases pass. Mistakes like bad study choices were made, but that's life. Life sucks and then you die, I guess.

>>9604719
What makes you think so? You probably fit in even less in other places.

>>9604743
And anime is eternal?

>>9604743
>Mistakes like bad study choices were made
What do you mean?

>>9604746
Low IQ, even lower ability to sustain stress. But it is true that I would fit even less in other places. I discussed that with my dad and he said he'll pay for my upkeep during my studies if I get a PhD because he's literally worried since I don't fit in.

>>9604747
I haven't watched anime for ages. I'd call it a waste of time, but here I am posting on 4chan. It would look quite stupid to say that.

>>9604751
I should probably have done some programming courses, but it's too late now.

>>9604766
>Low IQ
How low are we talking exactly?