'The weapon of criticism cannot, of course, replace criticism of the weapon, material force must be overthrown by material force; but theory also becomes a material force as soon as it has gripped the masses.' - Karl Marx

Name | |
---|---|

Options | |

Subject | |

Comment | |

Flag | |

File | |

Embed | |

Password |

Join our Matrix Chat <=> IRC: #leftypol on Rizon

[ Return / Go to bottom ]

File: 1608527960881.pdf (1.12 MB, (Undergraduate texts in ma….pdf)

All good communists study math.

What are you studying right now? What is your favorite field of mathematics and why?

Personally, I really like the book "Linear Algebra Done Right" by Sheldon Axler. It is on Libgen if you are interested and I attached a pdf.

What are you studying right now? What is your favorite field of mathematics and why?

Personally, I really like the book "Linear Algebra Done Right" by Sheldon Axler. It is on Libgen if you are interested and I attached a pdf.

>>341

First order logic is really the most important, and euclidean geometry is also essential. Those are the only two I would say are truly must-learns, but linear algebra is ludicrously useful so there is nor reason not to study that as well. If you want to understand contemporary classical economics then you should learn dynamical systems as well, but the whole algebra-calculus track is a prerequisite for that so the barrier for entry is a bit higher.

First order logic is really the most important, and euclidean geometry is also essential. Those are the only two I would say are truly must-learns, but linear algebra is ludicrously useful so there is nor reason not to study that as well. If you want to understand contemporary classical economics then you should learn dynamical systems as well, but the whole algebra-calculus track is a prerequisite for that so the barrier for entry is a bit higher.

I know this is probably babby-level for most people who would visit this thread but I'm taking Discrete Math this summer. Any tips on how to study it or what the most difficult concept in the course is?

File: 1608527962023.pdf (6.26 MB, Steven R. Lay - Analysis w….pdf)

>>345

Yeah I could say a lot about that. Discrete or Intro to Proofs is where math starts to get serious at the undergraduate level, you could say the same about analysis, but the techniques used in analysis are what you learn in discreet. What's really cool about that class is that it opens up all sorts of areas of mathematics to you, where as before discrete the track is pretty linear: pre-algebra, then algebra, then pre-calculus, then calculus and so on. That track continues through Vector Calculus, Ordinary Differential Equations, Nonlinear Dynamical Systems, Partial Differential Equations and so on, but there are a ton of other really interesting classes that tend to only have Discrete as a prerequisite (Linear Algebra, Abstract Algebra, Higher Geometry and so on). If you know some basic calculus, discrete also equips you with everything you really need to start digging into analysis, which is where math really gets interesting imo.

It will probably be pretty different from math classes you've taken in the past, and you may find it particularly challenging even if you are generally good at math. The inverse may be true as well though, I know students who had a really hard time in math generally and then began to excel once they got to proofs. I can't say if this will be the case for your class, but in the experience the workload tends to be quite a bit lighter in terms of homework, the tests don't have so many problems on them, and there isn't nearly as much computation involved as in something like calculus or algebra.

Unless you had a really good geometry teacher or have a background in computer science or philosophy it is likely that some of the ideas presented in the class will be pretty novel to you. In earlier math classes there are shortcuts to doing well in the class if you don't understand the content: memorizing formula, grinding problems etc. There is no way to fake proofs. My first advice is to have a system for taking good notes. If you have a hard time taking notes, look into finding a way to record lectures or get notes provided. Look over the notes regularly, use a highlighter to mark certain definitions that come up regularly, and rewrite new notes as you go that takes the most important concepts from your previous notes.

Next is to read the textbook, and utilize office hours if they are available. Between the book and your professor, all the answers to questions you might have are yours for the taking. This really goes for all math class at the college level, and is something I wish I had taken to heart when I was in school.

Third is to write things out in plain English rather than only in mathematical notation! People don't tend to think in mathematical notation, so it's hard to understand the math you are doing if that's all you're writing down. This also goes for math in general, but people tend to look at me funny when I recommend this for classes before discrete or proofs.

In terms of preparation the best thing you can do is to start reading the book ahead of time. The hardest concept is going to be different for different people, but when I took the class I remember a lot of people struggling with proof by contradiction, so you might want to look into that ahead of time. I've attached a textbook (second attatchment) which is actually a book on analysis, but it also contains an introduction to proofs which is the part of the class I am familiar with (I think discrete also includes some other content but I could be wrong about that).

Good luck and if you run into challenges feel free to post questions in this thread and I'll do my best to help you out.

(The first attachment is a book on real analysis, just for anyone interested)

Yeah I could say a lot about that. Discrete or Intro to Proofs is where math starts to get serious at the undergraduate level, you could say the same about analysis, but the techniques used in analysis are what you learn in discreet. What's really cool about that class is that it opens up all sorts of areas of mathematics to you, where as before discrete the track is pretty linear: pre-algebra, then algebra, then pre-calculus, then calculus and so on. That track continues through Vector Calculus, Ordinary Differential Equations, Nonlinear Dynamical Systems, Partial Differential Equations and so on, but there are a ton of other really interesting classes that tend to only have Discrete as a prerequisite (Linear Algebra, Abstract Algebra, Higher Geometry and so on). If you know some basic calculus, discrete also equips you with everything you really need to start digging into analysis, which is where math really gets interesting imo.

It will probably be pretty different from math classes you've taken in the past, and you may find it particularly challenging even if you are generally good at math. The inverse may be true as well though, I know students who had a really hard time in math generally and then began to excel once they got to proofs. I can't say if this will be the case for your class, but in the experience the workload tends to be quite a bit lighter in terms of homework, the tests don't have so many problems on them, and there isn't nearly as much computation involved as in something like calculus or algebra.

Unless you had a really good geometry teacher or have a background in computer science or philosophy it is likely that some of the ideas presented in the class will be pretty novel to you. In earlier math classes there are shortcuts to doing well in the class if you don't understand the content: memorizing formula, grinding problems etc. There is no way to fake proofs. My first advice is to have a system for taking good notes. If you have a hard time taking notes, look into finding a way to record lectures or get notes provided. Look over the notes regularly, use a highlighter to mark certain definitions that come up regularly, and rewrite new notes as you go that takes the most important concepts from your previous notes.

Next is to read the textbook, and utilize office hours if they are available. Between the book and your professor, all the answers to questions you might have are yours for the taking. This really goes for all math class at the college level, and is something I wish I had taken to heart when I was in school.

Third is to write things out in plain English rather than only in mathematical notation! People don't tend to think in mathematical notation, so it's hard to understand the math you are doing if that's all you're writing down. This also goes for math in general, but people tend to look at me funny when I recommend this for classes before discrete or proofs.

In terms of preparation the best thing you can do is to start reading the book ahead of time. The hardest concept is going to be different for different people, but when I took the class I remember a lot of people struggling with proof by contradiction, so you might want to look into that ahead of time. I've attached a textbook (second attatchment) which is actually a book on analysis, but it also contains an introduction to proofs which is the part of the class I am familiar with (I think discrete also includes some other content but I could be wrong about that).

Good luck and if you run into challenges feel free to post questions in this thread and I'll do my best to help you out.

(The first attachment is a book on real analysis, just for anyone interested)

>>347

Wait nvm looks like only the second attachment came through which is the one you want anyways.

Wait nvm looks like only the second attachment came through which is the one you want anyways.

>>347

Aww, thank you very much for your helpful and thorough response! I appreciate it a lot. I'll take a look at proof by contradiction. I have looked at the textbook we're using (125967651X) and it really does look quite interesting to me even though I'm a person who usually struggles with math. (My biggest problem is just remembering all the little rules and gotchyas about computation, which as you said, I can usually get better at by just grinding problems)

But I'm somewhat excited to start this class because it looks very different than Calculus and I am already familiar with a lot of the logic operations/concepts at the start of the book. And as you said, it's a prereq to Linear Algebra which I very much want to learn for my programming endeavors. It's just a bummer I have to take this class online cause of the virus… I learn much better in person.

>Third is to write things out in plain English rather than only in mathematical notation!

That's a really good tip that I hadn't thought of doing. Thank you again for your help anon, I'll ask you if I run into any troubles with the course.

Aww, thank you very much for your helpful and thorough response! I appreciate it a lot. I'll take a look at proof by contradiction. I have looked at the textbook we're using (125967651X) and it really does look quite interesting to me even though I'm a person who usually struggles with math. (My biggest problem is just remembering all the little rules and gotchyas about computation, which as you said, I can usually get better at by just grinding problems)

But I'm somewhat excited to start this class because it looks very different than Calculus and I am already familiar with a lot of the logic operations/concepts at the start of the book. And as you said, it's a prereq to Linear Algebra which I very much want to learn for my programming endeavors. It's just a bummer I have to take this class online cause of the virus… I learn much better in person.

>Third is to write things out in plain English rather than only in mathematical notation!

That's a really good tip that I hadn't thought of doing. Thank you again for your help anon, I'll ask you if I run into any troubles with the course.

>>345

>>347

Discrete math is completely different from "math" that's taught in grade school, aka continuous math. It's not particularly difficult, it's just not taught as much as it should be. It's thought of as challenging mostly because we're taught to think about math according to continuous math and we don't get the fundamentals of discrete math the same way (lots of practice at a young age). There's a number of reasons the discrete side of math isn't taught to kids, and they have more to do with the system education exists within than the nature of the math itself. It's harder for a teacher to grade proofs, for one. There's less investment into understanding how to effectively teach the content for another. And then of course discrete math is actually much more broadly applicable than (continuous) math and (bourgeois) primary education is kind of designed to make you hate learning and think it's useless to your life…

Some of the fields of discrete math are in use by everyone constantly, without realizing it (or realizing that the formal math could be very helpful), such as:

<Logic

<Probability

<Set Theory (Venn diagrams etc)

<Game Theory (strategy)

<Graph Theory (series of two-way relationships)

>>350

Good luck. Hopefully you have a good teacher. That can make a huge difference with this material.

>>347

Discrete math is completely different from "math" that's taught in grade school, aka continuous math. It's not particularly difficult, it's just not taught as much as it should be. It's thought of as challenging mostly because we're taught to think about math according to continuous math and we don't get the fundamentals of discrete math the same way (lots of practice at a young age). There's a number of reasons the discrete side of math isn't taught to kids, and they have more to do with the system education exists within than the nature of the math itself. It's harder for a teacher to grade proofs, for one. There's less investment into understanding how to effectively teach the content for another. And then of course discrete math is actually much more broadly applicable than (continuous) math and (bourgeois) primary education is kind of designed to make you hate learning and think it's useless to your life…

Some of the fields of discrete math are in use by everyone constantly, without realizing it (or realizing that the formal math could be very helpful), such as:

<Logic

<Probability

<Set Theory (Venn diagrams etc)

<Game Theory (strategy)

<Graph Theory (series of two-way relationships)

>>350

Good luck. Hopefully you have a good teacher. That can make a huge difference with this material.

File: 1608527963268.pdf (28.7 KB, mathbook.pdf)

>>350

If you have a hard time remembering gotchas then I think you might find discrete to be a relief! There is hardly any of that, there's just a lot of principles and definitions you have to understand. The rest of this post is kind of theoretical. I had hoped this thread would get into some of the questions >>352 brought up, but don't feel like you have to know all the stuff I'm about to launch into to do well in or understand discrete, and also keep in mind I might be wrong about some of it.

>>352

I want to add something to what you pointed and my wording might sound like I'm contradicting you but I don't think that anything you said is wrong.

The math that you learn as a little kid is discrete math, and this is by necessity. Integers is the obvious example, when you learn to count "1, 2, 3… " you are learning a discrete system of numbers. When you learn basic operations as a kid you don't learn them over the real numbers, but rather the integers. Once you get to division though you are usually introduced to fractions which is really where everything goes awry in terms of there being any sense to contemporary western math pedagogy. I always suspected there was something very spooky about them as a kid and there absolutely is. Fractions are great, don't get me wrong, but they are introduced WAYYYYY before the student has the context to understand what the hell their teacher is on about. You need to know how operators can be defined and how they work in the abstract before it makes any sense to use them to construct a new number system. By new number system I don't mean fractions, I mean the real numbers. And by that I don't mean that Pythagoras was actually right about irrational numbers, but rather that we teach fractions AS THOUGH Pythagoras was spot on all along.

We introduce integers, then operations, then once we get to division we introduce fractions, and then we say "oh so here's another way to write fractions: decimals! and btw all these new numbers in between the integers are real numbers" When really they are not equivalent. To show how they aren't equivalent though you need square roots which aren't usually introduced until later.

All this is to say that fractions should really be introduced alongside square roots. My bias is towards a geometric explanation for both of them, partially because it is visually elegant and intuitive, but also because this way the actual weight of what is being taught would be made apparent. This would be a radical shift though since it would mean delaying teaching fractions quite significantly which would create all sorts of problems if it wasn't adopted universally. I'm not sure if we can even make the changes to the way math is taught that we need to under capitalism because of how important it is to capital that new workers know a very specific set of operations. Anyway, I'm off on a tangent which I guess is fine. I attached a pdf that I think is the vague beginnings of a book I want to write on the topic of math pedagogy. Let me know what you thing if you're interested.

We tend to equate logic and proofs with discrete math because at the college level they are introduced around the same time, but they aren't really the same thing (even though the actual classes are pretty much the same). Proofs are important to continuous math as well and if you study analysis you'll see what I mean. It's just that for some reason we delay proofs until grade what, 14? They really ought to be being taught to elementary schoolers.

Man I'm tired. I dunno if this post is even going to make sense when I read it tomorrow but I hope someone gets something out of it.

If you have a hard time remembering gotchas then I think you might find discrete to be a relief! There is hardly any of that, there's just a lot of principles and definitions you have to understand. The rest of this post is kind of theoretical. I had hoped this thread would get into some of the questions >>352 brought up, but don't feel like you have to know all the stuff I'm about to launch into to do well in or understand discrete, and also keep in mind I might be wrong about some of it.

>>352

I want to add something to what you pointed and my wording might sound like I'm contradicting you but I don't think that anything you said is wrong.

The math that you learn as a little kid is discrete math, and this is by necessity. Integers is the obvious example, when you learn to count "1, 2, 3… " you are learning a discrete system of numbers. When you learn basic operations as a kid you don't learn them over the real numbers, but rather the integers. Once you get to division though you are usually introduced to fractions which is really where everything goes awry in terms of there being any sense to contemporary western math pedagogy. I always suspected there was something very spooky about them as a kid and there absolutely is. Fractions are great, don't get me wrong, but they are introduced WAYYYYY before the student has the context to understand what the hell their teacher is on about. You need to know how operators can be defined and how they work in the abstract before it makes any sense to use them to construct a new number system. By new number system I don't mean fractions, I mean the real numbers. And by that I don't mean that Pythagoras was actually right about irrational numbers, but rather that we teach fractions AS THOUGH Pythagoras was spot on all along.

We introduce integers, then operations, then once we get to division we introduce fractions, and then we say "oh so here's another way to write fractions: decimals! and btw all these new numbers in between the integers are real numbers" When really they are not equivalent. To show how they aren't equivalent though you need square roots which aren't usually introduced until later.

All this is to say that fractions should really be introduced alongside square roots. My bias is towards a geometric explanation for both of them, partially because it is visually elegant and intuitive, but also because this way the actual weight of what is being taught would be made apparent. This would be a radical shift though since it would mean delaying teaching fractions quite significantly which would create all sorts of problems if it wasn't adopted universally. I'm not sure if we can even make the changes to the way math is taught that we need to under capitalism because of how important it is to capital that new workers know a very specific set of operations. Anyway, I'm off on a tangent which I guess is fine. I attached a pdf that I think is the vague beginnings of a book I want to write on the topic of math pedagogy. Let me know what you thing if you're interested.

We tend to equate logic and proofs with discrete math because at the college level they are introduced around the same time, but they aren't really the same thing (even though the actual classes are pretty much the same). Proofs are important to continuous math as well and if you study analysis you'll see what I mean. It's just that for some reason we delay proofs until grade what, 14? They really ought to be being taught to elementary schoolers.

Man I'm tired. I dunno if this post is even going to make sense when I read it tomorrow but I hope someone gets something out of it.

>>350

>programming endeavors

Cool! I am really bad at programming. I've tried to read the SICP but I always get stuck on like the third chapter or something.

What kind of stuff do you want to make computers do?

>programming endeavors

Cool! I am really bad at programming. I've tried to read the SICP but I always get stuck on like the third chapter or something.

What kind of stuff do you want to make computers do?

File: 1608527963896.png (49.27 KB, 240x240, 0044c79bfd3e897511c4c817f0….png)

My favorite feild of mathematics is probably a toss up between topology and calculus.

Topology because it is the study of what is logically impossible but objectively rational and calculus because predicting the future is neat. I'm lay, I have not yet even started college, but, I think I about summed it up correctly.

Topology because it is the study of what is logically impossible but objectively rational and calculus because predicting the future is neat. I'm lay, I have not yet even started college, but, I think I about summed it up correctly.

File: 1608527964787.gif (742.32 KB, 500x281, 51939-a-certain-scientific….gif)

>>359

My experience is the complete opposite. In "practical" classes you just have to master the application of a handful of methods and you are good to go. It's easy, just do tons of practice exercises, it's honest work. Meanwhile, for proof heavy classes ever other solution has a "notice that…" part with some twist that no mortal could think up in the heat of an exam. I could barely pass these classes.

My experience is the complete opposite. In "practical" classes you just have to master the application of a handful of methods and you are good to go. It's easy, just do tons of practice exercises, it's honest work. Meanwhile, for proof heavy classes ever other solution has a "notice that…" part with some twist that no mortal could think up in the heat of an exam. I could barely pass these classes.

My favourite field would be combinatorics. I know it might not be considered to be an actual math discipline but I always preferred to study actual techniques and gotchas instead of abstract theories or proofs.

got unemployed recently so I finally have enough time to go back to solving exercises in concrete math and attempt to solve some project euclid's obscure problems. sind halp I'm depressed and enlightened at the same time

got unemployed recently so I finally have enough time to go back to solving exercises in concrete math and attempt to solve some project euclid's obscure problems. sind halp I'm depressed and enlightened at the same time

File: 1608527965698.jpg (19.58 KB, 474x402, sponoza.jpg)

>>371

Yeah people tend to have an easier time with one or the other. I think part of it has to do with different types of intelligence: verbal reasoning vs processing speed and working memory. I think there's ways to improve in either area though.

I am sorta skeptical of psychometrics but I think it's more relevant for mathematical ability than for a lot of other fields. I have slow processing speed and poor working memory to the point that it constitutes a learning disability. I grew up in a very working class intellectual type household (no TV but lots of books) and I've read every day for most of my life. I always thought I wanted to be a journalist so math was the last thing I was expecting to major in.

When I got to proofs I had a much easier time. Discrete was an easy A, Linear Algebra was hard but I seemed to get it more quickly than most. Vector calculus was brutal for me though and I do envy people with strong computation skills. I think both are necessary in advanced math, so if you only have one you gotta try to develop the other, or find someone you can work closely with who's has the inverse strengths and weaknesses. That's sorta what I did. My best friend when I was in college was a math physics double major. He is wicked smart and can do computations way faster than I can, he struggled a bit with proofs though which I thought where a breeze. The times that I was doing really well in school was when we took the same classes together and would do all the homework together.

I'm glad that there are some people in this this thread with both areas of strength. With our powers combined we shall crush the enemy!

Yeah people tend to have an easier time with one or the other. I think part of it has to do with different types of intelligence: verbal reasoning vs processing speed and working memory. I think there's ways to improve in either area though.

I am sorta skeptical of psychometrics but I think it's more relevant for mathematical ability than for a lot of other fields. I have slow processing speed and poor working memory to the point that it constitutes a learning disability. I grew up in a very working class intellectual type household (no TV but lots of books) and I've read every day for most of my life. I always thought I wanted to be a journalist so math was the last thing I was expecting to major in.

When I got to proofs I had a much easier time. Discrete was an easy A, Linear Algebra was hard but I seemed to get it more quickly than most. Vector calculus was brutal for me though and I do envy people with strong computation skills. I think both are necessary in advanced math, so if you only have one you gotta try to develop the other, or find someone you can work closely with who's has the inverse strengths and weaknesses. That's sorta what I did. My best friend when I was in college was a math physics double major. He is wicked smart and can do computations way faster than I can, he struggled a bit with proofs though which I thought where a breeze. The times that I was doing really well in school was when we took the same classes together and would do all the homework together.

I'm glad that there are some people in this this thread with both areas of strength. With our powers combined we shall crush the enemy!

File: 1608527965913.png (60.04 KB, 350x350, poincaretiling.png)

>>375

Tell me something about combinatorics! I don't know very much about it, although one of the professors I worked closely with had done her PhD in that field I think.

>>363

Tell me something about Topology! I was really excited about taking that class but I dropped out before I got to it. I know that there's some trippy stuff related to set theory that you learn in topology, clopen sets and so on.

Tell me something about combinatorics! I don't know very much about it, although one of the professors I worked closely with had done her PhD in that field I think.

>>363

Tell me something about Topology! I was really excited about taking that class but I dropped out before I got to it. I know that there's some trippy stuff related to set theory that you learn in topology, clopen sets and so on.

>>379

I am only semi-familiar with it myself. I do know that topology is considered extremely difficult and requires a highly advanced understanding of mathematics.

I am only semi-familiar with it myself. I do know that topology is considered extremely difficult and requires a highly advanced understanding of mathematics.

File: 1608527966344.jpg (222.28 KB, 1280x720, cirno-math.jpg)

How do I teach myself mathematics? Suppose I "buy" myself a textbook and start reading it and doing the exercise, how do I know if I actually understood something, how can I make sure if I didn't make mistakes? How can I ensure that I don't just forget all of it the next day?

File: 1608527967377.png (4 KB, 233x236, pythag.png)

>>382

Libgen is your friend when it comes to "buying" yourself a textbook hehe. I would say that you understand a theorem when you can both apply and prove it.

So take the Pythagorean theorem for example. Being able to apply it means that you can find the length of the hypotenuse of any right triangle given the lengths of the legs. It also means that you can find the lengths of one of the legs given the length of the leg and the hypotenuse.

If you can do those things you are half way to understanding it. The other half is being able to show that the theorem is true for ALL right triangles. There are dozens of proofs of this theorem but my favorite goes like this:

With any right triangle you can take 4 copies and arrange them into a square like in pic related.

There are two ways to find the total area of the construction. So for any right triangle the following equation will hold true…

>(a+b)(a+b) = 1/2(4ab) + c^2

The left side is the obvious way to find the total area, and the right side you get by using the formula for the area of a triangle, and then adding the yellow part in the middle (c)^2

I'll leave the rest of the proof to you, but it's pretty simple from here. Just simplify the equation and you'll derive the Pythagorean theorem.

>>381

I think intro topology is a 300 level class at most schools so about as advanced as NODEs or Higher Geometry or maybe Abstract Algebra, but less advanced then analysis which is what you usually have to take to finish and undergraduate degree in math.

I don't think there's any reason you couldn't start learning topology once you know discrete / proofs, which really isn't all that much content. I didn't take it but I had friends that did and it sounded challenging. Lots of set theory involved.

Libgen is your friend when it comes to "buying" yourself a textbook hehe. I would say that you understand a theorem when you can both apply and prove it.

So take the Pythagorean theorem for example. Being able to apply it means that you can find the length of the hypotenuse of any right triangle given the lengths of the legs. It also means that you can find the lengths of one of the legs given the length of the leg and the hypotenuse.

If you can do those things you are half way to understanding it. The other half is being able to show that the theorem is true for ALL right triangles. There are dozens of proofs of this theorem but my favorite goes like this:

With any right triangle you can take 4 copies and arrange them into a square like in pic related.

There are two ways to find the total area of the construction. So for any right triangle the following equation will hold true…

>(a+b)(a+b) = 1/2(4ab) + c^2

The left side is the obvious way to find the total area, and the right side you get by using the formula for the area of a triangle, and then adding the yellow part in the middle (c)^2

I'll leave the rest of the proof to you, but it's pretty simple from here. Just simplify the equation and you'll derive the Pythagorean theorem.

>>381

I think intro topology is a 300 level class at most schools so about as advanced as NODEs or Higher Geometry or maybe Abstract Algebra, but less advanced then analysis which is what you usually have to take to finish and undergraduate degree in math.

I don't think there's any reason you couldn't start learning topology once you know discrete / proofs, which really isn't all that much content. I didn't take it but I had friends that did and it sounded challenging. Lots of set theory involved.

File: 1608527968300.png (24.7 KB, 512x182, k,iujmyhnds.png)

Thoughts on common core?

File: 1608527969113.jpg (25.38 KB, 576x432, remove.jpg)

>>390

A lot of people have been sleeping on z-lib, it's what I use for a lot of my books, though they can usually also be found on libgen.

>>344

>Euclidean geometry

please no

Personally I like combinatorics and I've been trying to learn topology and group theory, which are pretty cool. Can anyone explain what the fuck category theory is? I can't seem to get a grasp on it.

A lot of people have been sleeping on z-lib, it's what I use for a lot of my books, though they can usually also be found on libgen.

>>344

>Euclidean geometry

please no

Personally I like combinatorics and I've been trying to learn topology and group theory, which are pretty cool. Can anyone explain what the fuck category theory is? I can't seem to get a grasp on it.

>>404

>category theory

Nope! I would like to though. Post a related pdf and I can take a shot at it. I know group theory but not topology or combinatorics.

>category theory

Nope! I would like to though. Post a related pdf and I can take a shot at it. I know group theory but not topology or combinatorics.

>>402

Common core actually help me graduate highschool. I would have been fucked with out it. I don't see why people rag on common core. Not everyone is the same.

Common core actually help me graduate highschool. I would have been fucked with out it. I don't see why people rag on common core. Not everyone is the same.

>>408

I've been trying to get through this pdf but it just feel really dense to me.

>>423

Oh, really? Then it's better than the impression I had of the American school system. It seemed like unless you were rich or talented they wouldn't even make the slightest effort to help you catch up. Depends on the school and teachers as well of course. Aggressive standardization however isn't good for learning.

I've been trying to get through this pdf but it just feel really dense to me.

>>423

Oh, really? Then it's better than the impression I had of the American school system. It seemed like unless you were rich or talented they wouldn't even make the slightest effort to help you catch up. Depends on the school and teachers as well of course. Aggressive standardization however isn't good for learning.

File: 1608527977506.pdf (1.26 MB, 1612.09375.pdf)

>>458

whoops forgot .pdf after internet crapped up.

whoops forgot .pdf after internet crapped up.

Recently finished my undergrad dissertation and feels good, my focus is in physical model and numerical analysis at the moment.

I have many books downloaded and made a bunch of learning resources myself so let me know if any one is interested in anything.

I have many books downloaded and made a bunch of learning resources myself so let me know if any one is interested in anything.

>>461

To add, have any of you guys got any tips on burnout? I have like no motivation to get my less-loved courses done

To add, have any of you guys got any tips on burnout? I have like no motivation to get my less-loved courses done

File: 1608527980319.pdf (17.45 MB, Peter Norvig - Paradigms o….pdf)

>>459

Thank you anon! I will check that out.

>>461

Nice! I dropped out before taking analysis or starting my thesis. I did get to do a teeny bit of original research which was fun. It was in geometry but such a undeveloped area of geometry that I can't really say more without doxing myself.

Please share pdfs, the more the better! An annotated index would be cool too, but if you just want to do a dump I can try to index them.

>>462

I'm not a good person to ask about that really, I tend to get overzealous, go all in, get burnt out quickly, take time to lick my wounds, and then jump back in. This pattern doesn't get you very far in academic settings which is why I dropped out. I am interested in research mathematics rather than something more lucrative like actuarial science so it didn't seem like there was much point staying in school and racking up debt. I would rather just work on my research independently so I have complete autonomy.

Thank you anon! I will check that out.

>>461

Nice! I dropped out before taking analysis or starting my thesis. I did get to do a teeny bit of original research which was fun. It was in geometry but such a undeveloped area of geometry that I can't really say more without doxing myself.

Please share pdfs, the more the better! An annotated index would be cool too, but if you just want to do a dump I can try to index them.

>>462

I'm not a good person to ask about that really, I tend to get overzealous, go all in, get burnt out quickly, take time to lick my wounds, and then jump back in. This pattern doesn't get you very far in academic settings which is why I dropped out. I am interested in research mathematics rather than something more lucrative like actuarial science so it didn't seem like there was much point staying in school and racking up debt. I would rather just work on my research independently so I have complete autonomy.

>>404

>category theory

it's the cool kid of mathematics that arose from the study of algebraic topology and geometry, which supplants the notion of sets with objects called "categories" containing _collections_ of objects (without set structure, so no russel's paradox etc.) and morphisms (basically arrows between objects). the morphisms represent different things based on what the category is, but as an example: the category *Set* of sets has all sets a objects, and functions as morphisms. This generalizes set theoretic mathematics in a trivial way, but also exposes more structure when we think about set-theoretic properties instead as being relations on the morphisms and stuff like that.

This was a loose summary, but I strongly recommend checking out one of the many books available on the subject at an introductory level (you should probably have abstract algebra to understand examples, depending on the book choice). I learned from Mac Lane, but it leans heavily on mathematical maturity. I've heard good things about awodey at an introductory level, especially if you are interested in learning about category theory's deep relations to type theory.

>category theory

it's the cool kid of mathematics that arose from the study of algebraic topology and geometry, which supplants the notion of sets with objects called "categories" containing _collections_ of objects (without set structure, so no russel's paradox etc.) and morphisms (basically arrows between objects). the morphisms represent different things based on what the category is, but as an example: the category *Set* of sets has all sets a objects, and functions as morphisms. This generalizes set theoretic mathematics in a trivial way, but also exposes more structure when we think about set-theoretic properties instead as being relations on the morphisms and stuff like that.

This was a loose summary, but I strongly recommend checking out one of the many books available on the subject at an introductory level (you should probably have abstract algebra to understand examples, depending on the book choice). I learned from Mac Lane, but it leans heavily on mathematical maturity. I've heard good things about awodey at an introductory level, especially if you are interested in learning about category theory's deep relations to type theory.

>>478

I don't understand how that is different from group theory.

I don't understand how that is different from group theory.

>>479

what do you mean? nothing necessarily has the structure of a group (existence of a unit, inverses, a product with associativity) - so it's not group theory.

what do you mean? nothing necessarily has the structure of a group (existence of a unit, inverses, a product with associativity) - so it's not group theory.

>>480

Gotcha, so is group theory a subset of category theory then?

Gotcha, so is group theory a subset of category theory then?

>>482

…or are they different because groups are defined in terms of sets and categories aren't?

…or are they different because groups are defined in terms of sets and categories aren't?

>>481

it would be more accurate to say that group theory can be phrased in terms of category theory and subsequently generalized. For example, the isomorphism theorems are an immediate consequence of the "canonical decomposition" - a property in the category of groups (and a lot of others) that morphisms can be written as the composition of a surjection, an isomorphism, and an injection.

it would be more accurate to say that group theory can be phrased in terms of category theory and subsequently generalized. For example, the isomorphism theorems are an immediate consequence of the "canonical decomposition" - a property in the category of groups (and a lot of others) that morphisms can be written as the composition of a surjection, an isomorphism, and an injection.

>>482

a group is both a type of category and the object of another. We may talk about *Grp*, the category of groups as objects and homomorphisms as morphisms. But a group can also be described as a category with a single object and morphisms corresponding to group automorphisms.

>>483

In the category *Grp*, the objects are groups and defined on sets. But one can take the properties expressed in this category and _categorify_ them to talk about more abstract objects. Ultimately, however, a thing with all the properties of a group is a group.

a group is both a type of category and the object of another. We may talk about *Grp*, the category of groups as objects and homomorphisms as morphisms. But a group can also be described as a category with a single object and morphisms corresponding to group automorphisms.

>>483

In the category *Grp*, the objects are groups and defined on sets. But one can take the properties expressed in this category and _categorify_ them to talk about more abstract objects. Ultimately, however, a thing with all the properties of a group is a group.

>>487

You're probably confusing morphisms with group homomorphisms. In *Grp*, the morphisms are group homomorphisms.

> book suggestion

I mentioned Awodey earlier, but another good one is Fong & Spivak's "Seven Sketches in Compositionality", for which Baez has produced an online course with accompanying videos https://www.azimuthproject.org/azimuth/show/Applied+Category+Theory+Course

You're probably confusing morphisms with group homomorphisms. In *Grp*, the morphisms are group homomorphisms.

> book suggestion

I mentioned Awodey earlier, but another good one is Fong & Spivak's "Seven Sketches in Compositionality", for which Baez has produced an online course with accompanying videos https://www.azimuthproject.org/azimuth/show/Applied+Category+Theory+Course

>>488

>You're probably confusing morphisms with group homomorphisms

Yes you are correct. Thanks for the reading recommendation!

>You're probably confusing morphisms with group homomorphisms

Yes you are correct. Thanks for the reading recommendation!

I am a highschool dropout who don't know shit about math but wanna learn. What you recommend first?

File: 1608527982249.pdf (4.68 MB, Elements.pdf)

>>490

From my biased perspective as a geometer and classicist I'd say the best place to start is pdf related.

Another place you could start is by reading Godel, Escher, Bach: an Eternal Golden Braid by Douglas R Hofstadter. It's not exactly a math book, but it takes you on a sort of idiosyncratic tour of some questions in math, logic, computer science and art. It may give you an idea of what exactly you are interested in.

There's some math related YouTube channels that are pretty fun too. My favorites are Vihart and 3Blue1Brown. There's also Numberphile which is kinda hit or miss imo.

https://www.youtube.com/watch?v=X1E7I7_r3Cw

https://www.youtube.com/watch?v=1SMmc9gQmHQ

From my biased perspective as a geometer and classicist I'd say the best place to start is pdf related.

Another place you could start is by reading Godel, Escher, Bach: an Eternal Golden Braid by Douglas R Hofstadter. It's not exactly a math book, but it takes you on a sort of idiosyncratic tour of some questions in math, logic, computer science and art. It may give you an idea of what exactly you are interested in.

There's some math related YouTube channels that are pretty fun too. My favorites are Vihart and 3Blue1Brown. There's also Numberphile which is kinda hit or miss imo.

https://www.youtube.com/watch?v=X1E7I7_r3Cw

https://www.youtube.com/watch?v=1SMmc9gQmHQ

>>490

A Brief History of Time by Stephen Hawking might be another good place if you're at all interested in cosmology. Reading that was definitely one of the things that motivated me to get into math.

A Brief History of Time by Stephen Hawking might be another good place if you're at all interested in cosmology. Reading that was definitely one of the things that motivated me to get into math.

>>478

Thanks for the recommendation, I'll try to check it out. Can you explain how its structure differs from sets to avoid Russel's paradox?

>>490

If you want an intro to some undergrad topics I can recommend

https://venhance.github.io/napkin/Napkin.pdf

It requires some mathematical maturity and understanding of proof-based mathematics, but it motivates its stuff a lot better than most DTP textbooks. It also doesn't require too much highschool knowledge afaik, I haven't read all of it. I'm afraid I don't know any good highschool level materials to recommend.

>>491

Is Elements good? I feel like classical geometry isn't the greatest intro to math, because it's so narrow, but then again I'm biased against classical geometry.

Piggybacking on the 3B1B recommendation I can recommend mathologer.

https://www.youtube.com/channel/UC1_uAIS3r8Vu6JjXWvastJg

They don't have as much highschool stuff as 3B1B, but it's pretty interesting.

Thanks for the recommendation, I'll try to check it out. Can you explain how its structure differs from sets to avoid Russel's paradox?

>>490

If you want an intro to some undergrad topics I can recommend

https://venhance.github.io/napkin/Napkin.pdf

It requires some mathematical maturity and understanding of proof-based mathematics, but it motivates its stuff a lot better than most DTP textbooks. It also doesn't require too much highschool knowledge afaik, I haven't read all of it. I'm afraid I don't know any good highschool level materials to recommend.

>>491

Is Elements good? I feel like classical geometry isn't the greatest intro to math, because it's so narrow, but then again I'm biased against classical geometry.

Piggybacking on the 3B1B recommendation I can recommend mathologer.

https://www.youtube.com/channel/UC1_uAIS3r8Vu6JjXWvastJg

They don't have as much highschool stuff as 3B1B, but it's pretty interesting.

>>493

>Is Elements good?

It's great in terms of demonstrating what can be accomplished with logic. It's also good in the sense that you don't need any outside knowledge to understand it, although some parts can be challenging. It's important to note that you need to be highly motivated to get through it because there is zero motivation provided by the text.

What do you find narrow about classical geometry?

>Is Elements good?

It's great in terms of demonstrating what can be accomplished with logic. It's also good in the sense that you don't need any outside knowledge to understand it, although some parts can be challenging. It's important to note that you need to be highly motivated to get through it because there is zero motivation provided by the text.

What do you find narrow about classical geometry?

>>494

>What do you find narrow about classical geometry?

I was unclear, I meant that only focusing on classical geometry is pretty narrow, as with any subject. Though I am biased because I never really liked classical geometry. Maybe I just never saw the good parts, but proving that certain things hold for arbitrary configurations doesn't feel like a natural or motivated result.

>What do you find narrow about classical geometry?

I was unclear, I meant that only focusing on classical geometry is pretty narrow, as with any subject. Though I am biased because I never really liked classical geometry. Maybe I just never saw the good parts, but proving that certain things hold for arbitrary configurations doesn't feel like a natural or motivated result.

File: 1608527983000.pdf (94.59 KB, Analysis.pdf)

>>496

Oh I can't do multiple files it seems, here's the textbook

Oh I can't do multiple files it seems, here's the textbook

File: 1608527983253.pdf (9.31 MB, Introduction-to-Analysis.pdf)

>>497

Third time's the charm

Third time's the charm

>>495

Gotcha. I guess I kinda like that it is arbitrary, it feels pure in a way.

>>496

Thanks for the pdf! Analysis is pretty cool I would have liked to take that class. I posted the elementary analysis book that I use here >>347 but I should really get around to studying real (which is what that textbook looks like at first glance)

I don't know how one would make money off of research unless you mean like a stipend from an institution. To me research just means making novel discoveries in the field. Anything you could submit to a journal is research in my eyes.

Gotcha. I guess I kinda like that it is arbitrary, it feels pure in a way.

>>496

Thanks for the pdf! Analysis is pretty cool I would have liked to take that class. I posted the elementary analysis book that I use here >>347 but I should really get around to studying real (which is what that textbook looks like at first glance)

I don't know how one would make money off of research unless you mean like a stipend from an institution. To me research just means making novel discoveries in the field. Anything you could submit to a journal is research in my eyes.

>>499

Well freelance work in the mathematical fields, modelling would probably be your biggest friend there, but would need some commercial application. e.g. musicians could pay for models of musical instruments to see what they'd sound like.

Well freelance work in the mathematical fields, modelling would probably be your biggest friend there, but would need some commercial application. e.g. musicians could pay for models of musical instruments to see what they'd sound like.

>>525

Gotcha. I currently work as a math tutor, mostly for college students but some high school / middle school students as well. Picking up some other kinds of freelance work would be cool though.

What modelling strategies / books / software do you recommend? I did a bit of modeling in school. Took part in the COMAP MCM which was fun, although the problem my team ended up doing kinda sucked. We where given a spreadsheet with several million data points so we spent most of the time just trying to get MATlab to parse it correctly.

Gotcha. I currently work as a math tutor, mostly for college students but some high school / middle school students as well. Picking up some other kinds of freelance work would be cool though.

What modelling strategies / books / software do you recommend? I did a bit of modeling in school. Took part in the COMAP MCM which was fun, although the problem my team ended up doing kinda sucked. We where given a spreadsheet with several million data points so we spent most of the time just trying to get MATlab to parse it correctly.

>>526

Nice, I don't think I'll ever get my eyes back to their pre-hundreds-of-hours-starting-at-MATLAB's-retina-burning-design state.

I'd recommend learning all you can about numerical ODEs and PDEs. MATLAB is quite useful useful I won't lie, although if you do anything big you'd probably want to learn C/C++. This book is amazingly comprehensive in its field of finite difference schemes in a musical context, a masterpiece. You could also look at finite element models too.

Whoops file too large, here you go

https://ccrma.stanford.edu/~bilbao/booktop/

the format sucks but couldn't find it quickly

Nice, I don't think I'll ever get my eyes back to their pre-hundreds-of-hours-starting-at-MATLAB's-retina-burning-design state.

I'd recommend learning all you can about numerical ODEs and PDEs. MATLAB is quite useful useful I won't lie, although if you do anything big you'd probably want to learn C/C++. This book is amazingly comprehensive in its field of finite difference schemes in a musical context, a masterpiece. You could also look at finite element models too.

Whoops file too large, here you go

https://ccrma.stanford.edu/~bilbao/booktop/

the format sucks but couldn't find it quickly

>>529

I took ODEs in school as well as a class on Nonlinear Dynamical Systems and Chaos. We used mathematica rather than MATlab in that class.

Nowadays I use GNUoctave for everything. I think I should probably learn R as well though.

Thanks for the link, I will check that out :D

I took ODEs in school as well as a class on Nonlinear Dynamical Systems and Chaos. We used mathematica rather than MATlab in that class.

Nowadays I use GNUoctave for everything. I think I should probably learn R as well though.

Thanks for the link, I will check that out :D

>>529

Ah and yeah C++ was my first programming language. Learned it when I was 13. I haven't used it in a while but I still have a compiler and a pretty good reference book on it (C++ Primer Plus)

Why do you recommend C++ for math modeling?

Ah and yeah C++ was my first programming language. Learned it when I was 13. I haven't used it in a while but I still have a compiler and a pretty good reference book on it (C++ Primer Plus)

Why do you recommend C++ for math modeling?

>>529

>Nice, I don't think I'll ever get my eyes back to their pre-hundreds-of-hours-starting-at-MATLAB's-retina-burning-design state.

Lmao sorry to throw shade but that is sorta what you get for using the graphical environment instead of running it in a terminal emulator…

>Nice, I don't think I'll ever get my eyes back to their pre-hundreds-of-hours-starting-at-MATLAB's-retina-burning-design state.

Lmao sorry to throw shade but that is sorta what you get for using the graphical environment instead of running it in a terminal emulator…

>>533

You can also call call MATlab scripts as functions in BASH if you get your configs set up properly which is very convenient. Idk if function is really the right word there but whatever.

You can also call call MATlab scripts as functions in BASH if you get your configs set up properly which is very convenient. Idk if function is really the right word there but whatever.

GNU Octave is more or less a MATlab clone and it runs in the terminal by default. It is a lot easier to do >>535 sort of thing with which is why it's the main Mathematical Programming Language I use.

Out of curiosity, what operating system do you use? This might be a little off topic but it would be cool to hear a few perspectives on how people configure their workspaces for mathematical modeling.

Out of curiosity, what operating system do you use? This might be a little off topic but it would be cool to hear a few perspectives on how people configure their workspaces for mathematical modeling.

>>531

I have no idea why would anyone recommend C++ to anyone but professional programmers… it is so easy to make some silly mistake and completely destroy performance. You have to constantly keep in mind a thousand little idiosyncratic rules, it is better suited for the lawyer than the scientist.

I have no idea why would anyone recommend C++ to anyone but professional programmers… it is so easy to make some silly mistake and completely destroy performance. You have to constantly keep in mind a thousand little idiosyncratic rules, it is better suited for the lawyer than the scientist.

>>535

>>536

This is life changing, thanks a lot. Mathematicians aren't usually very tech savvy so I guess this never came up with my colleagues.

I currently use macOS for a few reasons. There's no reason to use any software for modelling in particular. The most important stuff is done on paper.

My workspace configuration though is minimal with a tiling wm (yabai), usually need a vim w/latex up, a pdf of something I'm looking at, probably a web browser too and another desktop with code running. So clean and organised is a necessity for me (also because autism).

>>531

>>542

I recommend it simply because when you get to a certain level on complexity you need the fastest thing you can get. If you are a hobbyist then C/C++ is the only way you're going to get this kind of speed (I've heard of some models taking days on super-computing university grade machines) especially within musical applications, you want to get as close to real time as possible. There are easier ways to convert from MATLAB to C if I remember correctly though.

>>536

This is life changing, thanks a lot. Mathematicians aren't usually very tech savvy so I guess this never came up with my colleagues.

I currently use macOS for a few reasons. There's no reason to use any software for modelling in particular. The most important stuff is done on paper.

My workspace configuration though is minimal with a tiling wm (yabai), usually need a vim w/latex up, a pdf of something I'm looking at, probably a web browser too and another desktop with code running. So clean and organised is a necessity for me (also because autism).

>>531

>>542

I recommend it simply because when you get to a certain level on complexity you need the fastest thing you can get. If you are a hobbyist then C/C++ is the only way you're going to get this kind of speed (I've heard of some models taking days on super-computing university grade machines) especially within musical applications, you want to get as close to real time as possible. There are easier ways to convert from MATLAB to C if I remember correctly though.

File: 1608527989034.pdf (2.41 MB, Analysis_I_by_Terence_Tao_….pdf)

Thoughts on Wade's vs. Tao's analysis books? I'm trying to pick one to self-study with.

>>536

>Out of curiosity, what operating system do you use?

Archtard here. Might switch to gentoo later.

>>543

>Mathematicians aren't usually very tech savvy

It could just be a demographics thing, but most of the people I know who are going into pure math are good at programming. Though of course, they aren't mathematicians yet.

Out of curiosity, what reasons do you have for using macOs? I don't want to come off as elitist or anything, but the best one I can think of is ease of use.

>>536

>Out of curiosity, what operating system do you use?

Archtard here. Might switch to gentoo later.

>>543

>Mathematicians aren't usually very tech savvy

It could just be a demographics thing, but most of the people I know who are going into pure math are good at programming. Though of course, they aren't mathematicians yet.

Out of curiosity, what reasons do you have for using macOs? I don't want to come off as elitist or anything, but the best one I can think of is ease of use.

>>547

I also use Arch. Never tried Gentoo, but I'm considering trying either that or LFS.

>It could just be a demographics thing, but most of the people I know who are going into pure math are good at programming.

Interesting. Could be that I went to a liberal arts school but not many of the other students in my department where into computers. I think I met like a total of 2 other math majors who knew their way around a terminal, but it's possible people where hiding their power levels idk…

I'm not very good at programming, and I think of that as being a different skill from being "tech savvy"

I also use Arch. Never tried Gentoo, but I'm considering trying either that or LFS.

>It could just be a demographics thing, but most of the people I know who are going into pure math are good at programming.

Interesting. Could be that I went to a liberal arts school but not many of the other students in my department where into computers. I think I met like a total of 2 other math majors who knew their way around a terminal, but it's possible people where hiding their power levels idk…

I'm not very good at programming, and I think of that as being a different skill from being "tech savvy"

>>547

I used Wade's, so I can recommend that. The cheat sheet I posted >>498 is based off Wade.

>>547

Students around me either were pure math, and that's where their interests lie solely, or were very applied and did a lot of programming. Of course pure mathematicians would be naturally better at programming than say, a painting student, but I haven't encountered many that actively enjoyed it. If they did they wouldn't usually be 'into' technology, so would be like 'what is this hackerman terminal shit', similar to what >>549 said.

Regarding MacOS, I got the laptop before I was really into free/open source software, which is unfortunate, the reason I don't change is because currently I have a good workflow and while still in the academic year would be dangerous to swap. Also I make music, the propitiatory software for it is just so much better. When summer comes I think I'll make a partition and have a music-boot, would help with focus as well.

I used Wade's, so I can recommend that. The cheat sheet I posted >>498 is based off Wade.

>>547

Students around me either were pure math, and that's where their interests lie solely, or were very applied and did a lot of programming. Of course pure mathematicians would be naturally better at programming than say, a painting student, but I haven't encountered many that actively enjoyed it. If they did they wouldn't usually be 'into' technology, so would be like 'what is this hackerman terminal shit', similar to what >>549 said.

Regarding MacOS, I got the laptop before I was really into free/open source software, which is unfortunate, the reason I don't change is because currently I have a good workflow and while still in the academic year would be dangerous to swap. Also I make music, the propitiatory software for it is just so much better. When summer comes I think I'll make a partition and have a music-boot, would help with focus as well.

>>543

What about Fortran? As far as I know, it is still the most suitable for scientific computing. In fact it seems to dominate HPC.

What about Fortran? As far as I know, it is still the most suitable for scientific computing. In fact it seems to dominate HPC.

File: 1608527995365.jpg (38.24 KB, 657x527, 1541004218197.jpg)

>>359

Did you write that pdf anon? It looks like a work in progress

Did you write that pdf anon? It looks like a work in progress

>>552

Yeah I've met some people that liked it but no one in my field of interest. I have no intention to ever learn it however

Yeah I've met some people that liked it but no one in my field of interest. I have no intention to ever learn it however

>>606

I don't either.

I know: BASH, C++, Python, Lisp, Mathematica, and MATlab/Octave

I want to learn: R and that's really the only one

Is there anything I am missing?

I don't either.

I know: BASH, C++, Python, Lisp, Mathematica, and MATlab/Octave

I want to learn: R and that's really the only one

Is there anything I am missing?

>>618

I don't really see why you'd need more than that for mathematical related things alone. Why learn R? Does python/MATLAB not give you everything you need? I did do some R but it just seemed like a waste of time

I don't really see why you'd need more than that for mathematical related things alone. Why learn R? Does python/MATLAB not give you everything you need? I did do some R but it just seemed like a waste of time

>>619

Maybe it does. I don't really know stats and I have a really hard time staying interested in it whenever I do study it… My reason for learning R is more that it would be a way to stay motivated studying stats lol

Maybe it does. I don't really know stats and I have a really hard time staying interested in it whenever I do study it… My reason for learning R is more that it would be a way to stay motivated studying stats lol

File: 1608528012202.png (65 KB, 310x350, ProofGeneral-splash.png)

What do my anons think about proof assistants and interactive theorem provers? Like Coq, Agda, HOL, etc.? Is there any value in this level of formalization of proofs?

>>748

Looks interesting! I have never used one but perhaps I will try one out. I have always just written proofs by hand but just reading about them online they look like they could be useful as software.

In terms of the question "is there any value in this level of formalization of proofs" I think the answer is yes. Formalization, while sometimes annoying, generally helps eliminate ambiguity. I don't want to establish conventions about how proofs need to be expressed, because that would be limiting, but specificity in logic and notation is always good.

Have you used this software before?

Looks interesting! I have never used one but perhaps I will try one out. I have always just written proofs by hand but just reading about them online they look like they could be useful as software.

In terms of the question "is there any value in this level of formalization of proofs" I think the answer is yes. Formalization, while sometimes annoying, generally helps eliminate ambiguity. I don't want to establish conventions about how proofs need to be expressed, because that would be limiting, but specificity in logic and notation is always good.

Have you used this software before?

>>749

I did play around with Coq, although I was more interested in proving the correctness of algorithms than with mathematics. But at that time it turned out that I was too un/edu/cated to understand what was going on. I want to give it another go.

I did play around with Coq, although I was more interested in proving the correctness of algorithms than with mathematics. But at that time it turned out that I was too un/edu/cated to understand what was going on. I want to give it another go.

>>763

What's the implementation language? I have really enjoyed my time with both Lisp and Haskell.

What's the implementation language? I have really enjoyed my time with both Lisp and Haskell.

>>770

Coq is written in OCaml, but ACL2 is in Common Lips and Agda is in Haskell. They all implement their own language that you need to write your theorems and proofs in.

Coq is written in OCaml, but ACL2 is in Common Lips and Agda is in Haskell. They all implement their own language that you need to write your theorems and proofs in.

File: 1608528027747.png (295.03 KB, 900x900, 0de03e7b0c8fe76a.png)

Fuck you

I hate maths. It made me gay and I can't stop sucking dick.

I hate maths. It made me gay and I can't stop sucking dick.

I've always been more of an Arts guy, but I recall only one instance in my life where I enjoyed maths.

Once was in high school where one of our substitutes figured out I like medieval stuff.

And so, in his infinite patience, he design a few lessons just for me around building a trebuchet.

It was awesome and so quickly I began to "get" it.

Alas, less than two weeks later our normal maths teacher came back.

As he barked at us to open our books, I asked if I could continue with the previous teacher's work as I was nearly done. He then said "Why? What are you? Too stupid?" then chuckled.

It was at that point that I fully disengaged from maths. So much so that I was put in to the "Special" maths class, but since we had to take roll-call in our normal class there was extra shame at being the "most autistic in the normal class".

But regardless, I did enjoy playing with blocks and doing maths a different way. It was just a shame it was branded as the "retarded" maths group because I learned a lot from our teacher. She was a bit alternative, but she truly saw the beauty of numbers in everything because she said she could "see" them in different colours. I'm not sure if that's true however or just what she told us.

Don't know why I felt compelled to tell you this, perhaps because I'd like to try to learn maths again. Alas, I don't know where to start since I stopped learning in grade eight :\

Once was in high school where one of our substitutes figured out I like medieval stuff.

And so, in his infinite patience, he design a few lessons just for me around building a trebuchet.

It was awesome and so quickly I began to "get" it.

Alas, less than two weeks later our normal maths teacher came back.

As he barked at us to open our books, I asked if I could continue with the previous teacher's work as I was nearly done. He then said "Why? What are you? Too stupid?" then chuckled.

It was at that point that I fully disengaged from maths. So much so that I was put in to the "Special" maths class, but since we had to take roll-call in our normal class there was extra shame at being the "most autistic in the normal class".

But regardless, I did enjoy playing with blocks and doing maths a different way. It was just a shame it was branded as the "retarded" maths group because I learned a lot from our teacher. She was a bit alternative, but she truly saw the beauty of numbers in everything because she said she could "see" them in different colours. I'm not sure if that's true however or just what she told us.

Don't know why I felt compelled to tell you this, perhaps because I'd like to try to learn maths again. Alas, I don't know where to start since I stopped learning in grade eight :\

>>359

>I want to write on the topic of math pedagogy.

As I teacher, though not maths as mentioned before, I'm going to read this. Looks interesting.

>I want to write on the topic of math pedagogy.

As I teacher, though not maths as mentioned before, I'm going to read this. Looks interesting.

>>928

Thanks! Like I said it is very rough and not even a fully formed idea. I wrote it in one sitting a couple months ago and haven't gone back to it. I might start working on it again since I am hitting a wall with my current project (critique of cockshott) and I try to rotate between works to stay interested.

Let me know what you think!

Thanks! Like I said it is very rough and not even a fully formed idea. I wrote it in one sitting a couple months ago and haven't gone back to it. I might start working on it again since I am hitting a wall with my current project (critique of cockshott) and I try to rotate between works to stay interested.

Let me know what you think!

>>927

>I've always been more of an Arts guy, but I recall only one instance in my life where I enjoyed maths.

In school we are encouraged to categorize ourselves this way. I am an arts guy. I am a math guy. I am a stem guy. It is easy to see why this is encouraged. It serves the interests of capital, by categorizing students by aptitude, and shoehorning them down tracks where they will end up with specialized educations that allow them to form a particular skill set that will allow them to perform a particular function in the capitalist sphere of production. The renaissance man or woman is of little use to capital, and they may even constitute a threat to the status quo because they are more likely to grasp the totality of our situation.

>And so, in his infinite patience, he design a few lessons just for me around building a trebuchet.

>It was awesome and so quickly I began to "get" it.

Sounds like a good teacher. For me the "getting it" moment came in college when I took proofs. I had already chosen math as a major, but I chose it in particular because it was the class I had always struggled the most in, and I had this bizarre idea that this meant I should pursue it. I've always been motivated by challenge and turned off when things come easily, which is kind of a double edged sword because it makes it hard to stick with things once they start to click. As soon as I had contributed to a novel discovery I dropped out. I don't think the paper was ever published. There where financial reasons to, and I was getting more involved in organizing, but that was definitly part of it. I realized that I could be a research mathematician if I wanted (which up until that point had been my goal) and I realized that is not what I wanted to do. I needed to work on a less achievable goal like ending capitalism. This might sound defeatist, and it absolutely is, but it's how I operate.

>As he barked at us to open our books, I asked if I could continue with the previous teacher's work as I was nearly done. He then said "Why? What are you? Too stupid?" then chuckled.

So many math teachers come across as straight up sadists. I didn't find this to be the case in college, but I hated most of my math teachers through grade school. My high school geometry teacher was really cool though.

>So much so that I was put in to the "Special" maths class, but since we had to take roll-call in our normal class there was extra shame at being the "most autistic in the normal class".

I also can't stand the way that students are encouraged to think that getting it = being smart = having value. It's not just schools that do this, parents who want their kids to get good grades all the time carry just as much culpability.

>She was a bit alternative, but she truly saw the beauty of numbers in everything because she said she could "see" them in different colours. I'm not sure if that's true however or just what she told us.

Synesthesia? It's a real thing and it can have some really interesting implications for mathematical ability. I knew a woman with synesthesia who could recite digits of pi for like half an hour straight. Not slowly either. I don't know exactly what colors had to do with it, but she said it was everything.

>I've always been more of an Arts guy, but I recall only one instance in my life where I enjoyed maths.

In school we are encouraged to categorize ourselves this way. I am an arts guy. I am a math guy. I am a stem guy. It is easy to see why this is encouraged. It serves the interests of capital, by categorizing students by aptitude, and shoehorning them down tracks where they will end up with specialized educations that allow them to form a particular skill set that will allow them to perform a particular function in the capitalist sphere of production. The renaissance man or woman is of little use to capital, and they may even constitute a threat to the status quo because they are more likely to grasp the totality of our situation.

>And so, in his infinite patience, he design a few lessons just for me around building a trebuchet.

>It was awesome and so quickly I began to "get" it.

Sounds like a good teacher. For me the "getting it" moment came in college when I took proofs. I had already chosen math as a major, but I chose it in particular because it was the class I had always struggled the most in, and I had this bizarre idea that this meant I should pursue it. I've always been motivated by challenge and turned off when things come easily, which is kind of a double edged sword because it makes it hard to stick with things once they start to click. As soon as I had contributed to a novel discovery I dropped out. I don't think the paper was ever published. There where financial reasons to, and I was getting more involved in organizing, but that was definitly part of it. I realized that I could be a research mathematician if I wanted (which up until that point had been my goal) and I realized that is not what I wanted to do. I needed to work on a less achievable goal like ending capitalism. This might sound defeatist, and it absolutely is, but it's how I operate.

>As he barked at us to open our books, I asked if I could continue with the previous teacher's work as I was nearly done. He then said "Why? What are you? Too stupid?" then chuckled.

So many math teachers come across as straight up sadists. I didn't find this to be the case in college, but I hated most of my math teachers through grade school. My high school geometry teacher was really cool though.

>So much so that I was put in to the "Special" maths class, but since we had to take roll-call in our normal class there was extra shame at being the "most autistic in the normal class".

I also can't stand the way that students are encouraged to think that getting it = being smart = having value. It's not just schools that do this, parents who want their kids to get good grades all the time carry just as much culpability.

>She was a bit alternative, but she truly saw the beauty of numbers in everything because she said she could "see" them in different colours. I'm not sure if that's true however or just what she told us.

Synesthesia? It's a real thing and it can have some really interesting implications for mathematical ability. I knew a woman with synesthesia who could recite digits of pi for like half an hour straight. Not slowly either. I don't know exactly what colors had to do with it, but she said it was everything.

I'll just semi hijack this thread…

Is there anyone here who would like to add me on discord and do math with me? (Don't worry if you "suck" at math too, you can't possibly be worse off than me in this haha)

I working my way out of being math anxious af and barely know what 2+2 is, and I feel like it would be pretty cool to have based Comrade to teach me more.

We could do an exchange teaching wise: For example I could:

Teach you economic history, political theory, anglosaxan ethics, sociology,

or summarize literature with critical comments on e.g.

Parts of Capital and side literature to Capital.

The dialectic of enlightenment, hegemony and "socialist" strategy, classical sociological theory, a contribution to the critique of political economy, texts by Lenin, Trotsky, Marx.

I could teach you how to (hate to use the term) "network" or, if you don't want to use that pesky term, act like a fucking sociopath in line with capital-logic.

And yeah also, EU time zone is prolly a good thing 4 ya if u don't wake up super early and are free in the mornings in burgerland or south america.

If you read this and find it interesting just reply here. I'll be checking this post again tomorrow around the same time, so be online then and then I'll send a privnote with my username :)

Is there anyone here who would like to add me on discord and do math with me? (Don't worry if you "suck" at math too, you can't possibly be worse off than me in this haha)

I working my way out of being math anxious af and barely know what 2+2 is, and I feel like it would be pretty cool to have based Comrade to teach me more.

We could do an exchange teaching wise: For example I could:

Teach you economic history, political theory, anglosaxan ethics, sociology,

or summarize literature with critical comments on e.g.

Parts of Capital and side literature to Capital.

The dialectic of enlightenment, hegemony and "socialist" strategy, classical sociological theory, a contribution to the critique of political economy, texts by Lenin, Trotsky, Marx.

I could teach you how to (hate to use the term) "network" or, if you don't want to use that pesky term, act like a fucking sociopath in line with capital-logic.

And yeah also, EU time zone is prolly a good thing 4 ya if u don't wake up super early and are free in the mornings in burgerland or south america.

If you read this and find it interesting just reply here. I'll be checking this post again tomorrow around the same time, so be online then and then I'll send a privnote with my username :)

>>957

Sure anon. I normally do that for work anyway but it's kinda dried up since we entered this recession and all. I've actually got a discord server that I set up as a sort of curated library of math related content, but I never got around to finishing it and I've barely given anyone the invite link.

[email protected](dot)ch

Sure anon. I normally do that for work anyway but it's kinda dried up since we entered this recession and all. I've actually got a discord server that I set up as a sort of curated library of math related content, but I never got around to finishing it and I've barely given anyone the invite link.

[email protected](dot)ch

>>963

… it would also be chull to take on a pro-bono client since I normally do in person sessions and haven't yet gotten the chance to test out my whole screenshare, wacom tablet setup on my machine running windows (which is the one I use discord one, no way I'm putting that spyware on my main computer lol)

… it would also be chull to take on a pro-bono client since I normally do in person sessions and haven't yet gotten the chance to test out my whole screenshare, wacom tablet setup on my machine running windows (which is the one I use discord one, no way I'm putting that spyware on my main computer lol)

>>1047

if your distro doesn't come with bc by default then that's a little odd, but the nice thing about bc is that you can just do

>bc 3+2

if your distro doesn't come with bc by default then that's a little odd, but the nice thing about bc is that you can just do

>bc 3+2

>>1275

I'm more of a finite difference man, have you ever studied that?

I'm more of a finite difference man, have you ever studied that?

I personally find math incredibly boring, don’t care for it.

>>338

Everybody now some good books on that go rigorously through the math of a planned economy?, (aside from the soviet ones).

Everybody now some good books on that go rigorously through the math of a planned economy?, (aside from the soviet ones).

Do any of you guys have an interest in a thread where we go through sections of a textbook on linear algebra together and return to the thread at least once a week to discuss what we learned. I don't think this would necessary for me to learn the material, and I intend to learn it anyway, but I do think learning would be more fun this way.

>>2906

I would lurk and help people out, especially if it's linear algebra!

I would lurk and help people out, especially if it's linear algebra!

Alright I'll post a thread this sunday using the syllabus from MITs open course

Is there any material for people who never took calculus in highschool? Mine's was shitty. Any online courses or books?

File: 1608528241467.png (28.54 KB, 677x492, Linear_subspaces_with_shad….png)

-Linear Algebra General-

Welcome to /LA/ comrades. In this thread we will work together more or less in line with the MIT OCW Linear Algebra syllabus.

The OCW page can be found here: https://ocw.mit.edu/courses/mathematics/18-06-linear-algebra-spring-2010/index.htm

On the OCW page you can find the calendar, recommended readings, lectures, and problem sets and exams. The lectures are done by Gilbert Strang who also wrote the recommended textbook. I think he is a very good instructor and I believe you should certainly give his lectures a watch if you are interested in learning more.

The Calendar is divided into 40 sessions which correspond to 40 assigned readings and lectures. There are 10 problem sets and 4 exams with all the solutions online. This thread will serve as a place to discuss lectures, readings, and, probably most usefully, ask other anons for help on problem sets or exams.

Welcome to /LA/ comrades. In this thread we will work together more or less in line with the MIT OCW Linear Algebra syllabus.

The OCW page can be found here: https://ocw.mit.edu/courses/mathematics/18-06-linear-algebra-spring-2010/index.htm

On the OCW page you can find the calendar, recommended readings, lectures, and problem sets and exams. The lectures are done by Gilbert Strang who also wrote the recommended textbook. I think he is a very good instructor and I believe you should certainly give his lectures a watch if you are interested in learning more.

The Calendar is divided into 40 sessions which correspond to 40 assigned readings and lectures. There are 10 problem sets and 4 exams with all the solutions online. This thread will serve as a place to discuss lectures, readings, and, probably most usefully, ask other anons for help on problem sets or exams.

-Useful Resources-

Instead of using Matlab (proprietary and therefore costly software for non students) you may choose to use GNU Octave, an open source (and free as in gratis) alternative.

https://www.gnu.org/software/octave/

The video lectures can be found here:

https://ocw.mit.edu/courses/mathematics/18-06-linear-algebra-spring-2010/video-lectures/

The problem sets can be found here:

https://ocw.mit.edu/courses/mathematics/18-06-linear-algebra-spring-2010/assignments/

And the exams can be found here:

https://ocw.mit.edu/courses/mathematics/18-06-linear-algebra-spring-2010/exams/

Instead of using Matlab (proprietary and therefore costly software for non students) you may choose to use GNU Octave, an open source (and free as in gratis) alternative.

https://www.gnu.org/software/octave/

The video lectures can be found here:

https://ocw.mit.edu/courses/mathematics/18-06-linear-algebra-spring-2010/video-lectures/

The problem sets can be found here:

https://ocw.mit.edu/courses/mathematics/18-06-linear-algebra-spring-2010/assignments/

And the exams can be found here:

https://ocw.mit.edu/courses/mathematics/18-06-linear-algebra-spring-2010/exams/

>>2953

>you may choose to use GNU Octave, an open source (and free as in gratis) alternative

Is the syntax the same?

>you may choose to use GNU Octave, an open source (and free as in gratis) alternative

Is the syntax the same?

>>2963

I’ve never used Matlab before so I couldn’t tell you. If you have matlab already tho there’s no incentive to switch unless you have to keep paying for a license to use matlab after you pay for it the first time. Is that the case?

I’ve never used Matlab before so I couldn’t tell you. If you have matlab already tho there’s no incentive to switch unless you have to keep paying for a license to use matlab after you pay for it the first time. Is that the case?

>>2963

It should be, back in uni I used octave for matlab homework and it worked just fine.

It should be, back in uni I used octave for matlab homework and it worked just fine.

Here's a question I have for the reading assigned for session 1. Strang introduces the Schwarz inequality which is the proposition that, "Whatever the angle, this dot product of v/||v|| with w/||w|| never exceeds one." Could other Anons explain the proof behind this? Specifically Proof 1 on the related wikipedia page ( https://en.wikipedia.org/wiki/Cauchy–Schwarz_inequality ) I'm a bit hung up on the notation. For instance what does u subscript v indicate?

File: 1608528243706.png (17.09 KB, 468x174, Screenshot 2020-08-26 at 0….png)

>>2967

So I will just go through the proof from basics.

We seek to prove that

|<u,v>| =< |u||v|

If we have either vector=0 then this holds trivially.

Now to prove the case where v is non-zero we set

z=u-u_v

Where u_v = <u,v>/<v,v> * v

It is then showed that z is such that it is orthogonal to v (by the property of dot products).

So we now have 3 vectors. u and v, which are any nontrivial vector, and z which is orthogonal to v. From our definition of z, we have from a simple rearrangement

u = u_v + z

Basically we can then square the norms of everything on both sides from the Pythagorean theorem which is pic related. Basically we technically have a sum on both sides. So we take the norm and square it (left hand side of the equation), then from the right hand side (usually we call it RHS) we can just expand it out.

Using various properties of dot products we can rearrange this to get Cauchy-Schwarz. Do let me know if you'd like me to clarify any of this. :)

So we can see that u subscript v is just a vector that is useful for us to get u in a form that is nice to play with. In a more intuitive sense u_v is the magnitude of the dot product between u and v, in the direction of v.

So I will just go through the proof from basics.

We seek to prove that

|<u,v>| =< |u||v|

If we have either vector=0 then this holds trivially.

Now to prove the case where v is non-zero we set

z=u-u_v

Where u_v = <u,v>/<v,v> * v

It is then showed that z is such that it is orthogonal to v (by the property of dot products).

So we now have 3 vectors. u and v, which are any nontrivial vector, and z which is orthogonal to v. From our definition of z, we have from a simple rearrangement

u = u_v + z

Basically we can then square the norms of everything on both sides from the Pythagorean theorem which is pic related. Basically we technically have a sum on both sides. So we take the norm and square it (left hand side of the equation), then from the right hand side (usually we call it RHS) we can just expand it out.

Using various properties of dot products we can rearrange this to get Cauchy-Schwarz. Do let me know if you'd like me to clarify any of this. :)

So we can see that u subscript v is just a vector that is useful for us to get u in a form that is nice to play with. In a more intuitive sense u_v is the magnitude of the dot product between u and v, in the direction of v.

>>2968

Thank you anon this was actually very helpful. I appreciate you taking the time to lay this out for me.

Thank you anon this was actually very helpful. I appreciate you taking the time to lay this out for me.

>>2969

You're very welcome, I won't be doing the course but will check here regularly to help the best I can!

You're very welcome, I won't be doing the course but will check here regularly to help the best I can!

What's the point of learning this bourgeois mathematics? How will it ever help the working class?

>>3006

This is the language of how the planet is *actually* run. Without this we would never be able to run world wide distribution networks (read Cockshott)

This is the language of how the planet is *actually* run. Without this we would never be able to run world wide distribution networks (read Cockshott)

I'm in my final year of math now (Europe), can't fucking wait to finish this shit, math is a fucking tragedy.

I'll probably do a masters in numerical analysis or just go berserk and do topology and geometry.

I'll probably do a masters in numerical analysis or just go berserk and do topology and geometry.

File: 1608528258665.png (3.68 KB, 276x64, bessel.png)

this is now an applied math thread.

abstractists gtfo

Post ODEs/PDEs

abstractists gtfo

Post ODEs/PDEs

File: 1608528258871.png (160.57 KB, 1239x131, Capture.png)

>>2922

many many courses on youtube.

if you want something more structured and gamified start with KhanAcademy.org

The calculus playlist is great.

many many courses on youtube.

if you want something more structured and gamified start with KhanAcademy.org

The calculus playlist is great.

I’m taking differential equations and my textbook is useless as fuck. is there an accessible alternative that has more example problems?

>>359

Do you happen to know any good courses online or whatever on discrete math? I found it pretty interesting but my professor was NOT GOOD at explaining the material and since COVID happened we kind of rushed through the class so I left feeling like I didn't entirely understand all of it

Do you happen to know any good courses online or whatever on discrete math? I found it pretty interesting but my professor was NOT GOOD at explaining the material and since COVID happened we kind of rushed through the class so I left feeling like I didn't entirely understand all of it

Can any mathsanon explain to me how to actually understand math? Because I just don't seem to master the tasks, that require you to truly understand the Essence of Maths. The only way I solve those Tasks, is when I look at the Solutions and this can't be the Point though, am I right?.

t.Fag who studies Chemical Engineering

t.Fag who studies Chemical Engineering

>>4741

You do it every day and at some unknown point it just becomes an extension of your mind. The essence can only come from solving problems, usually with other people to get different perspectives, and creating a set of skills which you can call upon to solve problems.

I remember in middle school trying to desperately remember which axis is the x and the y, and how linear equations work. However these attempts are actually counterproductive IMO. At a certain points of maths you let go of trying to 'get' it, and just move on, then after solving future problems it may come to you.

You do it every day and at some unknown point it just becomes an extension of your mind. The essence can only come from solving problems, usually with other people to get different perspectives, and creating a set of skills which you can call upon to solve problems.

I remember in middle school trying to desperately remember which axis is the x and the y, and how linear equations work. However these attempts are actually counterproductive IMO. At a certain points of maths you let go of trying to 'get' it, and just move on, then after solving future problems it may come to you.

>>4741

You just do it. You want to develop a certain set of skills which are useful in the sense that, when solving problems you always ask yourself

– why am I doing this?

– what happens without this assumption?

– what happens with this assumption?

– why does method work for a finite case but an infinite?

– where have I seen similar structures as this?

and so on. It's a skill really, took me 3 years to get somewhat good at it.

You just do it. You want to develop a certain set of skills which are useful in the sense that, when solving problems you always ask yourself

– why am I doing this?

– what happens without this assumption?

– what happens with this assumption?

– why does method work for a finite case but an infinite?

– where have I seen similar structures as this?

and so on. It's a skill really, took me 3 years to get somewhat good at it.

Why is math "essential" to learn? Can I get on by with my bachelor's in Aerospace Engineering? I'm not a mathematician by any means, but I don't see what other math I can learn that can really pragmatically benefit me.international_brigade International Brigade

>>5478

Maths include statistics and understanding of statistics is very useful to avoid falling for propaganda.

Maths include statistics and understanding of statistics is very useful to avoid falling for propaganda.

I’m not a mathematical type, I like things involving theory, writing, critical thinking, etc.

Do any one of you have experience in "competitive" mathematics? Olympiads, putnams, etc? Or are most of you just Marxists who like mathematics?

>>338

It worries how different countries teach maths and how different their methods are

IN my country we had BODMAS but apparently everybody else learn PEDMAS

It worries how different countries teach maths and how different their methods are

IN my country we had BODMAS but apparently everybody else learn PEDMAS

Why is the Fourier-series such a powerfull tool in applied mathematics, engineering, physics etc.?

>>5466

Can I apply this thinking to other sciences like physics too?

Can I apply this thinking to other sciences like physics too?

File: 1626119874805.jpg (122.01 KB, 1280x720, E3Z_AQtUUAABrAJ.jpg)

What the best way to learn math when you suck at it ?iww IWW

>>6408

Mix it with programming IMO. Learn Mathematica or something while learning math. Mathematica actually comes bundled with tutorials that basically teach you a lot of typical math to show how to use the language. But I think it kind of gives you tools to start playing around with math for projects you might have, so the practical applications give you problems to solve that help internalize what you’re learning.

Mix it with programming IMO. Learn Mathematica or something while learning math. Mathematica actually comes bundled with tutorials that basically teach you a lot of typical math to show how to use the language. But I think it kind of gives you tools to start playing around with math for projects you might have, so the practical applications give you problems to solve that help internalize what you’re learning.

>>6408

If there exist such magical pedagogical solution, you would have heard of it by now. The only way is plowing through. Read and write along the solution manual if you must. You can't learn anything abstract this way but familiarizing differential calculus is just a matter of grit

If there exist such magical pedagogical solution, you would have heard of it by now. The only way is plowing through. Read and write along the solution manual if you must. You can't learn anything abstract this way but familiarizing differential calculus is just a matter of grit

>>6408

Try Basic Mathematics by Serge Lang

https://4chan-science.fandom.com/wiki/Mathematics#Precalculus

https://betterexplained.com/articles/developing-your-intuition-for-math/

Try Basic Mathematics by Serge Lang

https://4chan-science.fandom.com/wiki/Mathematics#Precalculus

https://betterexplained.com/articles/developing-your-intuition-for-math/

File: 1627579163473.jpg (132.41 KB, 1502x1127, Godel-Theorem-1.jpg)

What are the material implications of quantum computers on Gödel's Incompleteness theorum?

How do you learn maths on your own? Just go through the textbook and do all the exercises?

>>338

Good thread OP.

How do you anons stop making basic blunders in exams? I fuck up the basic math and make stupid mistakes, and then I end up ruining the whole question. My grades are suffering because of it, even though I have a good grasp of the advanced stuff.

Good thread OP.

How do you anons stop making basic blunders in exams? I fuck up the basic math and make stupid mistakes, and then I end up ruining the whole question. My grades are suffering because of it, even though I have a good grasp of the advanced stuff.

File: 1630780649895.jpg (26.36 KB, 609x751, 1627970118659.jpg)

Does anyone here have maths as a "hobby"? If so, what do you do, just solve textbook problems for fun? Or is there something like Github for mathematics where amateurs can contribute to open problems?

File: 1633369020267.png (3.07 MB, 776x5164, 1558576007091-0.png)

Reminder that Marx developed calculous independently from other mathematicians

https://www.marxists.org/archive/marx/works/1881/mathematical-manuscripts/

https://www.marxists.org/archive/marx/works/1881/mathematical-manuscripts/

>>8050

yeah I screwed up. he didnt develop calculous but differential calculous.

I was thinking about Leibniz, mb

yeah I screwed up. he didnt develop calculous but differential calculous.

I was thinking about Leibniz, mb

>>6632

Late on this but there are none. Quantum computers are computationally equivalent to Turing machines

Late on this but there are none. Quantum computers are computationally equivalent to Turing machines

>>6980

>I fuck up the basic math and make stupid mistakes, and then I end up ruining the whole question

Iktfb

And to be honest I never really figured out how to deal with it, I just lucked out and managed to not make enough blunders to pass. But something that kind of helped was really slowing down and doing nearly every calculation by hand, writing down all the steps for the question instead of just diving in, etc.

>I fuck up the basic math and make stupid mistakes, and then I end up ruining the whole question

Iktfb

And to be honest I never really figured out how to deal with it, I just lucked out and managed to not make enough blunders to pass. But something that kind of helped was really slowing down and doing nearly every calculation by hand, writing down all the steps for the question instead of just diving in, etc.

File: 1634294994481.pdf (527.84 KB, 232x300, short-math-guide.pdf)

Do any of you know a good collection of geometry problems? Something that I can think about when I have nothing better to do. I want to train my visual thinking.

>>8120

NTA but can anyone drop me some Geometric Trig please? I did Calculus in college but I've basically forgotten it at this point.

NTA but can anyone drop me some Geometric Trig please? I did Calculus in college but I've basically forgotten it at this point.

>>8121

http://www.mecmath.net/trig/index.html

> This is a text on elementary trigonometry, designed for students who have completed courses in high-school algebra and geometry. Though designed for college students, it could also be used in high schools. The traditional topics are covered, but a more geometrical approach is taken than usual. Also, some numerical methods (e.g. the secant method for solving trigonometric equations) are discussed. A brief tutorial on using Gnuplot to graph trigonometric functions is included.

> There are 495 exercises in the book, with answers and hints to selected exercises.

http://www.mecmath.net/trig/index.html

> This is a text on elementary trigonometry, designed for students who have completed courses in high-school algebra and geometry. Though designed for college students, it could also be used in high schools. The traditional topics are covered, but a more geometrical approach is taken than usual. Also, some numerical methods (e.g. the secant method for solving trigonometric equations) are discussed. A brief tutorial on using Gnuplot to graph trigonometric functions is included.

> There are 495 exercises in the book, with answers and hints to selected exercises.

>>748

i doubt theres any mathematical value besides proof verification. contrary to popular belief, mathematical thinking is precisly what cannot be formally reduced to modus tollens. the likes of agda or lean may be of interest to logicians or TCSists, but can hardly assist mathematicians with their work

i doubt theres any mathematical value besides proof verification. contrary to popular belief, mathematical thinking is precisly what cannot be formally reduced to modus tollens. the likes of agda or lean may be of interest to logicians or TCSists, but can hardly assist mathematicians with their work

>>8450

also im happy to find a math general on leftypol. though i think marx's math manuscripts showed his poor understanding of the state of mathematics then

also im happy to find a math general on leftypol. though i think marx's math manuscripts showed his poor understanding of the state of mathematics then

Number theory, counting, comparisons, ratios, addition subtraction multiplication division, exponentiation, negative exponents, rooting, factoring, GCF, LCF, primes, prime factoring, distributive property, adding like terms, fractions, order of operations, variables, isolating variables, polynomial equations, graphs, discrete and continuous values, difference, rise over run, y = mx + b, quadrants, points, lines, polygons, circles, higher dimensional topology, angles, soh cah toa, algebra with sohcahtoa, trig functions-1, perimeter, area, surface area, volume, units, unit conversion, si notation, significant digits, measurements, estimation, rounding, patterns, circumference, diameter, radius, y = x^2, y = a(x - p)2 + q, y = ax^2 + bx + c, x = 0, x int, y int, x = (-b +- sqr(b^2 - 4ac)) / 2a, a^2 + b^2 + c, itg(x -> 1/0)*dif(x), transformation, translation/reflection, rotation, radians, unit circle sin = y val & cos = x val, Pi * rad = 180deg, analysis, sets, coordinates, groups, mapping, matrix operations are about the operations on coordinates from vectors

File: 1635980982019.jpg (152.57 KB, 914x960, 1635941534428-3.jpg)

Can anyone of you guys link any torrents or megafiles that can give me a comprehensive reading list of books pertaining to self teaching math?

File: 1639926858435.png (6.05 KB, 740x380, proof.png)

>>390

pink = all - 4 green = red + blue

>>404

The rocket pigs version: https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/

>>493

>differs from sets to avoid Russel's paradox?

The standard solution is based on von Neumann's work and predates category theory. Cantor's naive sets are renamed to classes. Classes are partitioned into sets and proper classes. Sets are those classes that can be built up using ZFC, which removes unrestricted comprehensions. You can no longer take "all X [with P]", you have to take "all X from S [with P]" where S is already a set. The question becomes whether the class of all sets is a set. The resolution to Russell's paradox is to provide the negative answer by becoming the proof that the class of all sets is a proper class rather than a set.

pink = all - 4 green = red + blue

>>404

The rocket pigs version: https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/

>>493

>differs from sets to avoid Russel's paradox?

The standard solution is based on von Neumann's work and predates category theory. Cantor's naive sets are renamed to classes. Classes are partitioned into sets and proper classes. Sets are those classes that can be built up using ZFC, which removes unrestricted comprehensions. You can no longer take "all X [with P]", you have to take "all X from S [with P]" where S is already a set. The question becomes whether the class of all sets is a set. The resolution to Russell's paradox is to provide the negative answer by becoming the proof that the class of all sets is a proper class rather than a set.

File: 1640036083879.jpg (34.34 KB, 655x527, 02f.jpg)

How to keep myself fit when it comes to mathematics? I had analysis, linear algebra and probability theory and I'd like to keep myself fit so my knowledge and capabilities don't atrophy. Do you know any websites with plenty of exercises?

File: 1640174261184.gif (940.02 KB, 498x280, crying yoko.gif)

Why is math so hard?

File: 1640267707310.jpg (4.4 KB, 225x225, images.jpg)

>>9042

Not as hard as this dick haha, am I right fellas

Not as hard as this dick haha, am I right fellas

>>9033

I would be interested in this too, as I have already forgotten much of what I studied in university. Would Anki help?

I would be interested in this too, as I have already forgotten much of what I studied in university. Would Anki help?

Anyone here reading more "historical" mathematical texts? I've started reading through Bourbaki's theory of sets, just to kill some time until I go to university. Its a little incomprehensible to a brainlet like me, but its very nice to read about mathematical concepts that don't get much or any use these days.

>>7466

Amateur mathematicians aren't taken very seriously by academics, because a lot of quacks come up with "solutions" that are blatantly incorrect. All of the open problems require a lot of study to even understand, or exist in highly specific fields. If you want to study math for the hell of it, just pick up some books on the fields that interest you and read through them.

>>9033

Not sure if any website with exercises beyond high school level math exists. Getting a textbook in the topic you'd like to brush up on, and looking at the exercises in there should work. Skimming through the chapters might also be a good way to see if you've forgotten anything too.

>>7466

Amateur mathematicians aren't taken very seriously by academics, because a lot of quacks come up with "solutions" that are blatantly incorrect. All of the open problems require a lot of study to even understand, or exist in highly specific fields. If you want to study math for the hell of it, just pick up some books on the fields that interest you and read through them.

>>9033

Not sure if any website with exercises beyond high school level math exists. Getting a textbook in the topic you'd like to brush up on, and looking at the exercises in there should work. Skimming through the chapters might also be a good way to see if you've forgotten anything too.

File: 1640980123202.pdf (3.38 MB, 168x255, Schattschneider-Amateurs.pdf)

>>9138

What about stuff like this? Does it no longer happen?

What about stuff like this? Does it no longer happen?

>>9138

>a lot of quacks come up with "solutions" that are blatantly incorrect. All of the open problems require a lot of study to even understand

Counter-example to your second claim: Collatz conjecture (also a great example*for* your first claim).

>a lot of quacks come up with "solutions" that are blatantly incorrect. All of the open problems require a lot of study to even understand

Counter-example to your second claim: Collatz conjecture (also a great example

>>9141

Do you mean to insinuate that the Collatz conjecture is misleading?

Do you mean to insinuate that the Collatz conjecture is misleading?

File: 1641073288829.jpg (1020.77 KB, 1727x2440, 2b1cb76ffcdf21c9cc5182f357….jpg)

>>9154

How do you solve word problems with a reading comprehension like that?

How do you solve word problems with a reading comprehension like that?

>>9155

?

First claim in the quote you've addressed is 'a lot of quacks come up with solutions that are blatantly incorrect'

Second claim is 'all of the open problems require a lot of study to understand'

?

First claim in the quote you've addressed is 'a lot of quacks come up with solutions that are blatantly incorrect'

Second claim is 'all of the open problems require a lot of study to understand'

>>9168

I'm not that anon lol. The Collatz conjuncture is easy to understand, which contradicts the claim that

> All of the open problems require a lot of study to even understand

I'm not that anon lol. The Collatz conjuncture is easy to understand, which contradicts the claim that

> All of the open problems require a lot of study to even understand

File: 1642884362013.png (19.9 KB, 640x480, plot.png)

Why is the maximum of \(\sqrt[x]{x}\) at e?

>>9475

f(x)=x**(1/x) => f(x)=e**((1/x)*ln(x)) f'(x)=x**(1/x)*(1-ln(x))/x**2 f'(x)=0 => 1-ln(x)=0 => x=e x<e => f'(x)>0 \ => max x>e => f'(x)<0 /

>>9478

Yeah that's how I found it but why is that the case?? It's very suspicious.

Yeah that's how I found it but why is that the case?? It's very suspicious.

https://www.youtube.com/watch?v=v68zYyaEmEA

does this video have to do with mathematics

is maths the way to solve wordle the best?

does this video have to do with mathematics

is maths the way to solve wordle the best?

>>9731

I don't have time to watch the whole thing, but at the beginning it looks like they just tried out every combination ever? That doesn't sound very mathy.

I don't have time to watch the whole thing, but at the beginning it looks like they just tried out every combination ever? That doesn't sound very mathy.

can we continue with you responding to

>>>/leftypol/873853 here?

>>>/leftypol/873853 here?

File: 1648014604783.png (5.45 KB, 832x114, ClipboardImage.png)

>>10113

>https://www.wolframalpha.com/input?i=%7C%7B%7D%7C%3D

Wolfram is interpreting it as the absolute value and not cardinality of sets. (See pic 1)

>you can't have a set without an empty set, no?

Can you clarify this question? Are you referring to the construction of natural numbers starting with the empty set?

>https://www.wolframalpha.com/input?i=%7C%7B%7D%7C%3D

Wolfram is interpreting it as the absolute value and not cardinality of sets. (See pic 1)

>you can't have a set without an empty set, no?

Can you clarify this question? Are you referring to the construction of natural numbers starting with the empty set?

>>10113

NTA but reposting a link (archived version is available).

https://math.stackexchange.com/questions/283/is-0-a-natural-number

NTA but reposting a link (archived version is available).

https://math.stackexchange.com/questions/283/is-0-a-natural-number

Another day I didn't study. Why do I do this, the exam session is about to start aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa

>search page 0 results for optimization or operations research.

You're not being good central planners with this attitude.

You're not being good central planners with this attitude.

>>338

Math seems like such a massive field that It would be impossible to master in a lifetime unless you have a specific interest or use it for practical purposes.

Math seems like such a massive field that It would be impossible to master in a lifetime unless you have a specific interest or use it for practical purposes.

File: 1674152759964.jpg (59.39 KB, 595x603, photo_2023-01-19_12-56-09.jpg)

>>344

That's reassuring, I guess I just need to learn linear algebra then

That's reassuring, I guess I just need to learn linear algebra then

>>5504

> I like things involving theory, writing, critical thinking, etc.

That sounds like mathematics…

> I like things involving theory, writing, critical thinking, etc.

That sounds like mathematics…

https://archive.org/search?query=subject%3A%22little+mathematics+library%22

Cute short books by Soviet mathematicians. They are based on lectures given to high school students, so they should be accessible to most of us here.

Cute short books by Soviet mathematicians. They are based on lectures given to high school students, so they should be accessible to most of us here.

>>12234

WEEWOO POSITIVIST DETECTED, WE'RE HERE TO TAKE YOU AWAY FROM THE GOOD DIALECTICAL CITIZENS

WEEWOO POSITIVIST DETECTED, WE'RE HERE TO TAKE YOU AWAY FROM THE GOOD DIALECTICAL CITIZENS

>>12235

There are some pretty cool books in the rest of the publisher's catalog: https://archive.org/details/mir-titles

These two for example present topics in a very fun dialog style:

https://archive.org/details/TarasovCalculus

https://archive.org/details/QuestionsAndAnswersInSchoolPhysics

There are some pretty cool books in the rest of the publisher's catalog: https://archive.org/details/mir-titles

These two for example present topics in a very fun dialog style:

https://archive.org/details/TarasovCalculus

https://archive.org/details/QuestionsAndAnswersInSchoolPhysics

Taking Calc II at a community college.

I think i am going to switch declared major from Computer Science to Mathematics, it seems more useful for building utopia.

How important is statistics for applied math? Can I get away with just taking the upper-division level later or should I study it at the expense of vector calculus?

I think i am going to switch declared major from Computer Science to Mathematics, it seems more useful for building utopia.

How important is statistics for applied math? Can I get away with just taking the upper-division level later or should I study it at the expense of vector calculus?

Unique IPs: 36

[ home / rules / faq ] [ overboard / sfw / alt ] [ leftypol / siberia / hobby / tech / edu / games / anime / music / draw / AKM ] [ meta / roulette ] [ cytube / git ] [ GET / ref / marx / booru / zine ]

- Tinyboard + vichan + lainchan 5.1.3 -

Tinyboard Copyright © 2010-2014 Tinyboard Development Group

vichan Copyright © 2012-2016 vichan-devel

lainchan Copyright © 2014-2017 lainchan Administration

All trademarks, copyrights, comments, and images on this page are owned by and are the responsibility of their respective parties.