What kind of math are you studying today?

# /mg/ - Math general

Other urls found in this thread:

**arxiv.org**

**youtube.com**

**math.harvard.edu**

**en.wikipedia.org**

**obj.ca**

**planetmath.org**

**en.m.wikipedia.org**

**veekyforums.com**

(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?

That's pretty usual.

First time I've seen it.

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

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.

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?

What kind of question is that? Too ambiguous.

Is pi a prime number?

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.

Why are you spacing your posts in this retarded way?

That university is weird, don't go there.

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.

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.

comp science degree

Ask in the /g/catalog#s=hetto%2F.

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

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?

This is a nice paper **arxiv.org**

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

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

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

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

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

to prepare yourself for the garbage yet to come

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

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

From zįm's parents, obv.

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

What percentage of phds gets funding?

Get a job

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%.

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.

it's because I find algebra less interesting

Ah, the usual non-self-aware-brainlet excuse.

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?

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?

Calculus

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

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

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?

set theory and category theory

This is a thread for mathematics.

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

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

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

Polynomials

physically computing

Please refer to the physics thread

/toy/catalog#s=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.

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?

Why are the most retarded posters also the most obnoxious.

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?

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

having to learn adv math to turn on a computer.

We need rocket scientists to paint houses next.

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?

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

**youtube.com**

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

trigonometry

advanced math

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

desmos is goat

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 ?

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

So is "dx" approaching 0?

Because if so would the value just be 0

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.

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

Yeah but it's an infinite sum

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

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.

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/.

Graph theory

Numerical linear algebra

This is a mathematical thread, not a thread about "applications" of category theory to things not related to mathematics.

Alain Badiou

Ask in /lit/. I'm sure their kind can help you.

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?

Category theory is irrelevant to most of mathematics, actually.

most of mathematics

This is not well-defined. Try using /lit/ and /x/ to discuss this further.

This is not well-defined.

What do you mean?

What do you mean?

"mathematics" is not well-defined, thus "most of mathematics" is equally not well-defined.

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.

math

This is not well-defined.

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.

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.

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.

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.

What is the best book to learn about "Homotopy Kan Extensions"?**math.harvard.edu**

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?

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.

But he wasn't talking about computations in math.

There are no "computations" in math.

math

This is not well-defined.

Exactly.

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

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

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

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.

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

How does one deal with test anxiety and practice in general?

Dreadfully.

Just be yourself

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

What you are studying is most likely not mathematical then, can you take it elsewhere?

T-t-thanks

""most likely""

Refer to /lit/ for discussing "probability".

can you take it elsewhere?

What's confusing you?

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

In what sense?

In what sense?

What are you referring to?

Who are you quoting? Who said this?

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

9597734

(non-mathematical objects)

"informal proofs"

These seem like buzzwords to me.

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".

which like categories, does not belong in a "Math general"

What is your post trying to express? Context?

What is your post trying to express?

That categories are irrelevant to mathematics, and hence do not belong in a "Math general".

Context?

Mathematics.

That categories are irrelevant to mathematics

What does this mean? Context? Which categories are irrelevant to mathematics?

Mathematics.

But I'm serious.

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.

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?

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)?

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

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)?

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

t. Newfag

t. Newfag

Who are you quoting?

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

Who ENS here?

Meth

algebraic topology

classifying spaces

spectral sequences

not mathematical

haha nice try bud

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

What makes you mistakenly believe those are mathematical?

they award fields medals for this shit

Is that really all you base it on?

the fag is still posting

I hate you so much.

the fag is still posting

Who are you quoting?

fag

Why the homophobia?

Die.

Die.

Are you okay?

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.

desmos

Isn't it just a skin of geogebra?

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

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?

Sorry, my mistake.

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?

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)

are you implying they're not?

what is mathematics to you?

mathematics

Not math

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?

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

Automata theory/regular languages.

not math

Hello, engineering student

Hello, non-mathematician.

automata theory is computer science

it can be argued as both math and non-math

you're both right and wrong

it can be argued as both math and non-math

You'll have to demonstrate (preferably arguing as math).

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.

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).

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.

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

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.

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

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

I like memes too user, but I really want some advice right now

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

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

I would like to know this as well.

I don't know to be honest.

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

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

Automata theory/regular languages.

Ask in the /g/catalog#s=hetto%2F.

"It just seems mathy?"

Try discussing that in /lit/.

Discuss "computer science" in the boards mentioned above.

"computer science"

bruh I am studying engineering how the fuck do integrals have anything to do with computers

pi = 2n + 1,

where n = (pi - 1/)2

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?

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.

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?

Actually I don't think they are even capable of doing such a thing. Try discussing that in the /g/catalog#s=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.

I'm pretty sure not-math user 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.

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/catalog#s=hetto%2F.

Computer science is math.

True. I suggest we move to the /g/catalog#s=hetto%2F to discuss this with our brethren.

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

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?

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

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.

/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.

your kind isn't welcome here

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

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/catalog#s=hetto%2F if you want a place to continue discussing "CS" with like-minded "people".

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.

computer """"scientist""""

/g/

Is it useful information?

Useful for whom? For CS majors? Try asking that in the /g/catalog#s=hetto%2F%2C 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.

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

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/catalog#s=hetto%2F to celebrate the deep results you guys obtain on a regular basis.

Pi isn't an integer.

Computer science is math.

Other way around.

CS is a subset of math brainlet.

Other way around.

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

math

This is not well-defined.

all

no you dolt

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.

no you dolt

Then what else?

mathematics

This is not well-defined.

Don't reply to the spammer.

Don't reply to the spammer.

What do you mean?

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.

I'm not that guy, but CS originated from math.

I'm not a "guy".

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.

Okay dude

math

This is not well-defined.

Math isn't used in "CS"

Ok buddy, this is how I know you're trolling.

"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".

"calculus" and "computations" with "matrices" aren't a part of math.

[citation needed]

[citation needed]

/r/catalog#s=eddit%2F

Take your unrigorous arguments elsewhere, perhaps a philosophy board.

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

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

Scalar fields along these lines?

Another ads/cft guy here

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.

Hide and ignore him.

I'm not a "him".

Refer to /toy/ and Veeky Forumscatalog#s=phg%2F for the physics thread, we don't discuss that here.

we

Speak for yourself.

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

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.

speak

Zhù didn't speak but wrote.

Zhù

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?

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 Veeky Forumscatalog#s=phg%2F. They might know the "right trick".

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

The third edition is pretty cheap at libgen.

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

I'm a mathematician

Mathematicians use "we", not "I".

It's a singularity in the metric. E.g. see**en.wikipedia.org**

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.

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.

Refer to your containment thread /toy/catalog#s=physics%2F if you wish to discuss concrete physical TQFT and deep string theory.

We’m a mathematician

We’m a mathematician

Who are you quoting?

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.

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

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

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.

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

**obj.ca**

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

I'm not a "he".

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

Lang is a meme.

Could the mods ban this autist from these generals?

What do you mean?

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

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

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?

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

well what are the boundary conditions?

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

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

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]

Linear Algebra: A Modern Introduction by Poole

It's fairly standard for brainlets and real math majors

D O X X E D

greek symbols

hard to read and write

brainlet

latin[...] symbols

You mean like the fucking English alphabet you retard?

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.

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

[math]\dagger[/math] see

Forgot the ^, silly me~<3

Please do give us[math]^\dagger[/math] a sample.

But we don't use samples. We use remarks.

We was asking for a text sample.

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

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.

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.

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

diff geo

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.

functional analysis, analysis on manifolds and measure theory

this guy shitposts the exact same fucking thing every /mg/ and contributes little.

I'm not a "guy".

ct is applicable to a large chunk of certain kinds of mathematics

[citation needed]

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.

mathematics

This is not well-defined.

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

Do all vector spaces have a basis?

Depends on your choice.

Most rude. I expect a formal apology.

Do all vector spaces have a basis?

All finite dimensional ones do, but only a small minority of infinte-dimensional ones do

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

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

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.

And why would that be?

No, in ZFC all vector spaces have a basis. **planetmath.org**

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.

assume Zorn’s lemma

Please reread this

in ZFC

Irrelevant trash.

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.

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

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. **en.m.wikipedia.org**

So what? Mathematicians use ZFC all the time so it's still true in there, even if you disagree with it philosophically.

.m.

Please phonepost somewhere else.

Mathematicians

What are those?

Mathematicians use ZFC all the time

They don't, hence "irrelevant".

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

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.

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.

The shit you posted is no less retarded.

Do you need to swear?

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

Where does my post mention "constructivists"?

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".

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

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.

Maybe not regular folk, but my peers are not faggots obssed with anime,.

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.

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.

But why would you call me a faggot?

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

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.

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

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.

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?

even if it's the standard

It might be the standard in the "engineering community", but people here neither know nor care about that.

people here neither know nor care about that.

Speak for yourself.

/r/anime is just around the corner.

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

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

How am I deluded for not following engineering conventions?

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?

Is everything ok anons?

Not really. Why did you ask?

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.

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.

I will never use it after I get my degree done in a few months.

Why not?

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.

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

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.

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.

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

You just need to accept ZFC :^)

Shut up nerd, this shit is dead.

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.

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

And anime is eternal?

Mistakes like bad study choices were made

What do you mean?

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.

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

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

Low IQ

How low are we talking exactly?