How to unify logic & arithmetic
20:14
Up next: linear algebra!
3:47
Жыл бұрын
Monoids | Group theory episode 1
22:37
Пікірлер
@subhuman3408
@subhuman3408 Күн бұрын
15:10
@GuillermoSV
@GuillermoSV 3 күн бұрын
La mejor y más clara explicación que he visto. Cuando vi un poco de teoria de grupos en la universidad quedó como un tema totalmente oscuro para mí. Ahora todo hace sentido. Excelente video!!! Me encanta esta serie
@AllAnglesMath
@AllAnglesMath Күн бұрын
Thank you so much!
@강현-n1q
@강현-n1q 4 күн бұрын
I love this video!
@AllAnglesMath
@AllAnglesMath Күн бұрын
Thank you!
@DeathSugar
@DeathSugar 4 күн бұрын
15:43 well, all those group/ring/commutativity is terms directly from number theory, so it's weird claim they aren't related.
@TheOneMaddin
@TheOneMaddin 4 күн бұрын
I don't get your complaint. Group representation theory has a very different origin than number theory. There is no a priori reason to expect they are related in a not superficial way. Sure, they share some terminology. But rings, groups etc are not "owned" by number theory. There is plenty of other math out there that uses them without even thinking of numbers.
@DeathSugar
@DeathSugar 4 күн бұрын
@@TheOneMaddin it's all started from groups and their properties - associativity, commutativity, inverse, units and the rest. NT take those properties and smash it onto different stuff - different number systems (N, Z, Q, R, C etc), matrices, graphs - basically equalizing their behaviours via homomorphisms at it's core. We came from number theory into more specific part of it. Why should it be surprising at all?
@thomaspeck4537
@thomaspeck4537 2 күн бұрын
I have never seen group theory described as a branch of number theory. I don't think "number theory" means what you think it means.
@DeathSugar
@DeathSugar 4 күн бұрын
9:08 well, that was confusing. at 1:40 you said it was homomorphism, i.e. function for mappping is character, but here you pick one one permutations and call it a character.
@bartbroek9695
@bartbroek9695 5 күн бұрын
amazing, if i become a patreon in some time, will the video still be available? ik zag trouwens laatst in je Q&A dat je vlaams bent, en ik had me al afgevraagd waar je accent vandaan komt, want vaak en zo ook nu kan ik een vlaams accent niet herkennen in het engels en daar had ik het toevallig die dag zelf nog met iemand over gehad. maar goed, ik kijk al je video's zodra ze uitkomen! hopelijk kan ik binnenkort eraan bijdragen :) als je nog eens een Q&A doet ben ik benieuwd wat voor muziek je luistert
@AllAnglesMath
@AllAnglesMath Күн бұрын
The patreon-exclusive videos will be available on Patreon as long as our page exists. That's not the same thing as "forever", but you still have plenty of time 😉 Groetjes en bedankt voor je leuke commentaar!
@authenticallysuperficial9874
@authenticallysuperficial9874 10 күн бұрын
Very cool!
@omipial2084
@omipial2084 14 күн бұрын
4:12-;
@anshuldekate1258
@anshuldekate1258 15 күн бұрын
goldmine, have been trying to understand the mobius function for the last few days, absolutely beautiful explanation, thanks
@AllAnglesMath
@AllAnglesMath 10 күн бұрын
Happy to bring some clarity.
@omipial2084
@omipial2084 17 күн бұрын
1:11-;6:46-6:56;8:10-8:22;9:03-9:15;
@LunizIsGlacey
@LunizIsGlacey 22 күн бұрын
Amazing video!! A really great introduction to some core ideas in representation theory :)
@AllAnglesMath
@AllAnglesMath 18 күн бұрын
Thank you!
@TarikZakariaBenmerar
@TarikZakariaBenmerar 22 күн бұрын
Before going deep into the math of these symetries and their applications. Where others failed, you succeeded. Deep explanations and intuivie. Really good content. Thanks !
@AllAnglesMath
@AllAnglesMath 18 күн бұрын
Good to hear that you liked the explanation. I hope we will be able to dive much deeper in future videos.
@TarikZakariaBenmerar
@TarikZakariaBenmerar 18 күн бұрын
@@AllAnglesMath topology ? Algebraic topology ? I will not say no :p
@jonny__b
@jonny__b 23 күн бұрын
Honestly, the looks/animations of the videos are just a bonus - I stick around because your explanations are the most clear and elucidating I've ever seen, often exceeding 3b1b
@AllAnglesMath
@AllAnglesMath 18 күн бұрын
Wow, that's a major compliment. Thank you so much!
@GabrielOliveira-mk1qd
@GabrielOliveira-mk1qd 24 күн бұрын
a division by zero is a contradiction in most cases, and everything follows from a contradiction
@henryzhang224
@henryzhang224 24 күн бұрын
I AHVENT' WATCHED THE VIDEO DID YOU COOK IT UP SHOULD I FINSIH IT
@geertdejonge4194
@geertdejonge4194 24 күн бұрын
Fourier was great video
@AllAnglesMath
@AllAnglesMath 18 күн бұрын
Thanks, glad you liked it!
@linuxp00
@linuxp00 25 күн бұрын
I'm also a software dev, undergraduate in computer science and ending a Physics one. Your teaching amazing and passing is just as good to have us thinking the subject until the next one comes up. I think division by zero is a zone of trasition, it's a degenerate state, where either you lose dimensionality information as in linear algebra projection transformations or have an ambiguity as in geometry with unknown polar/azimuthal angles at the origin/poles, also in algebra they're related of to a curious pythagorean triple involving dual numbers, imaginaries and reals, the division by zero is not possible in scalar or row vector algebra, by an incompletude, but you can work around it using dual numbers matrix representation or poles and residue theorems from complex calculus, with some clever tricks. Spoilers: you arrive at differentiation operations. Borrowing again from LA, zero is the kernel of any morphism in math, so itself acts as a pivot, that makes any sum, product or exponential with it meaningless since you get the original operand, zero or one. The unique place where it changes anything is when divided by itself since 0 = k0, so k = 0/0, where k is literally anything you can put in an equation involving inverses, be it number, vectors, matrices, tensors, shapes, sets, etc.
@АлексейТучак-м4ч
@АлексейТучак-м4ч 25 күн бұрын
The preview resembles a thing I did with pixel shaders, while exploring various fractals(Mandelbrot, Julia sets, Ducky fractal etc) I repeatedly applied projection matrix, using homogenous coordinates (x,y,z,1), somehow assigning z value(probably with a parabolic function z=const*(x^2+y^2)) so it was something like: take a picture, project it on parabola, take a picture again, project on parabola and so on(about a hundred times in total). If the projection plane was tilted(or shifted) a bit, it looked very similar
@DeathSugar
@DeathSugar 26 күн бұрын
> why div by 0 allows this obisously, because it's uncertain and following the definition of division you can grab any result from it making reasonable equations into useless math. Wonder if category theorist have category for those.
@DeathSugar
@DeathSugar 26 күн бұрын
Thought you used manim as well.
@scollyer.tuition
@scollyer.tuition 26 күн бұрын
One fairly obvious (but not deep) reason for division by 0 being problematic is that multiplication by 0 is many-to-one, whereas multiplication by k for k != 0 is one-to-one. So if we define the function mul_k(x) = kx then the inverse function div_k(x) = x/k exists for all k except zero k since mul_0(x) = 0 for all x Because of this, an implication like: a*(x-y)=b*(x-y) => a = b is false if x=y (since the multiply is non-invertible), and if you can hide such a step in a proof then you can apparently prove nonsense like 2=1
@AdrianBoyko
@AdrianBoyko 26 күн бұрын
KZbin as a learning resource is *hugely* under-appreciated. I’m glad you’ve jumped into this as a content creator.
@AllAnglesMath
@AllAnglesMath 25 күн бұрын
I agree: youtube makes it possible to really *show* things and animate them, which was never possible in textbooks. That's what all the symbols and formulas are for: to refer to parts of the bigger picture. Now you can just point directly at those parts and move them around. It makes things much more intuitive.
@AdrianBoyko
@AdrianBoyko 25 күн бұрын
@ The other factor is that KZbin makes it possible for somebody like you, with superior teaching skills, to be available to everybody. We’re no longer stuck with our local teachers and professors. It’s similar to how the invention of sound recording made the best performers available to everybody, everywhere. I really hope that local teachers and professors will become obsolete in the same way that the local village accordion player did.
@caspermadlener4191
@caspermadlener4191 26 күн бұрын
I am Dutch, and I had absolutely no idea you speak Dutch. Also, "right" and "straight" are both correct translations from "recht" in Dutch.
@AllAnglesMath
@AllAnglesMath 25 күн бұрын
"Rechtdoor" vs "naar rechts".
@caspermadlener4191
@caspermadlener4191 25 күн бұрын
@AllAnglesMath If you study rights, you study "rechten". They even have the same proto-germanic origin.
@jeremiahjohnson1121
@jeremiahjohnson1121 26 күн бұрын
Your channel has been incredible! ❤ I am a math/physics undergrad in America. Most of your videos have left me with new perspectives and appreciation for the intense beauty of mathematics. Your animation quality and the clarity of your explanations rival that of 3blue1brown. Keep up the good work! I am excited to see what you make next! I believe that this channel will eventually become very popular
@AllAnglesMath
@AllAnglesMath 25 күн бұрын
Thank you so much! That comment made my day.
@carmensavu5122
@carmensavu5122 26 күн бұрын
Beautiful <3
@AllAnglesMath
@AllAnglesMath 25 күн бұрын
Thank you!
@arawup8007
@arawup8007 26 күн бұрын
NOTE: had to reverse image search(may be inaccurate) half of them, but they match the icon and general content. List of channels displayed from 2:00-3:00 TOP ROW - 3blue1brown - Mathologer - khanacademy - MathTheBeautiful - rationalityrules - ron-math - eigensteve BOTTOM ROW - (Eigen Chris) UCN8wTUlSAroLslWyf87E2pw - mathemaniac - Aleph0 - PhysicswithElliot - RichBehiel - SanderKonijnenberg - sudgylacmoe
@AllAnglesMath
@AllAnglesMath 25 күн бұрын
Those are all correct.
@cosimobaldi03
@cosimobaldi03 26 күн бұрын
Division by zero breaks everything because 0 doesn't have an inverse in all rings except the {0} ring. You can prove that if you have a ring where 0^-1 exists then that ring is {0}. Also, in a ring one of the first things you prove is that 0*a = 0 for all a in the ring.. but by definition of inverse, you would have 0 * 0^-1 = 1. So you conclude that 0 = 1 , so for all a in the ring, a = 1*a = 0*a = 0, and that leads you to the ring being just {0}.
@bjorntorlarsson
@bjorntorlarsson 26 күн бұрын
The way I do things these days is to ask AI what it would do in my situation: "- Ask AI." It replies. "- Thank you very much!"
@AllAnglesMath
@AllAnglesMath 25 күн бұрын
Always love a good self-referential joke.
@bjorntorlarsson
@bjorntorlarsson 26 күн бұрын
I've also always loved math! Too bad that this love isn't mutual.
@AllAnglesMath
@AllAnglesMath 25 күн бұрын
🤣
@manojdhanji7776
@manojdhanji7776 Ай бұрын
Very clearly explained.
@AllAnglesMath
@AllAnglesMath 29 күн бұрын
Thank you for the positive feedback.
@johnnavarra9037
@johnnavarra9037 Ай бұрын
Mil,,l0/😅😢😢{|{😢😮😢😅😅😮😮😮😮😮,o5u😊😊zz ze😮45😅😮
@kanonthecapybara9691
@kanonthecapybara9691 Ай бұрын
The best video of number theory I've seen! Thanks!
@AllAnglesMath
@AllAnglesMath 29 күн бұрын
Thank you!
@DeathSugar
@DeathSugar Ай бұрын
Does more dimension will yield bigger sign group? like with 3D space which has 4 diagonals it become sign group of that size?
@TheOneMaddin
@TheOneMaddin Ай бұрын
The sign representation is always 1-dimensional.
@DeathSugar
@DeathSugar Ай бұрын
@@TheOneMaddin 1 dimensional how? it's at least 1x2 in the video. Will it become 1xn for any n dimension square?
@DeathSugar
@DeathSugar Ай бұрын
On the other hand depends on what object of symmetry chosen. For a cube it will form cyclic group of size 6 (if i counted correctly) - C6 which composed of C2xC3, so I guess it's also be the case for it's sign and others. which is if I counted correctly and it's underlying structure definitely composite.
@TheOneMaddin
@TheOneMaddin Ай бұрын
@@DeathSugar Sorry, I don't have the time to recall the definitions, but if you use the correct definition of sign representaion, it is ALWAYS 1D. If you mean something different then my answer might not apply but then I also don't know what you are asking.
@DeathSugar
@DeathSugar Ай бұрын
@@TheOneMaddinspatial 1D is literally dot on the numberline. 1D matrix is 1x1. sign matrix used in video is 1x2 so it's by definition cannot be 1D. when you use higher dimension group it has more freedom dimensions so it either stays the same or start extend to things like i -I j -j etc.
@DeathSugar
@DeathSugar Ай бұрын
Also please don't gradient plane points (like 6:18). Group coloring doesn't look like turns into gradient.
@DeathSugar
@DeathSugar Ай бұрын
Are we gonna study whole table of groups including sporadic ones?
@AllAnglesMath
@AllAnglesMath 29 күн бұрын
We won't be listing all of the groups. I may however make a video about the monster group later, the biggest of the sporadic groups.
@DeathSugar
@DeathSugar 28 күн бұрын
@@AllAnglesMath nah, there's many videos about monster, moonshine etc. I would prefer if the idea behind sporadic/non-sporadic were clarified and the way they are generated.
@Grateful92
@Grateful92 Ай бұрын
Wow!
@omonas9681
@omonas9681 Ай бұрын
Hey, isn't isomorphic the same as saying an homomorphism exists?
@AllAnglesMath
@AllAnglesMath Ай бұрын
Almost. There is an extra condition: an isomorphism is a homomorphism which is invertible. The inverse itself is then also an isomorphism. For example, when you map from a group with 12 elements to a group with only 4, you might have a homoomrphism, but it cannot be an isomorphism.
@culater
@culater Ай бұрын
BEAUTIFUL ! Love your work ! THANKS !
@woomygfx
@woomygfx Ай бұрын
these matrix representations reminds me a lot about functors, could there maybe be a correlation or could be that I'm just confusing things...?
@AllAnglesMath
@AllAnglesMath Ай бұрын
Every matrix representation is a homomorphism; and those in turn are studied as the "arrows" in category theory. Functors are an arrow between such arrows. The condition for functors is indeed very similar to the conditions you see for many other kinds of arrows such as isomorphisms, linear transformations, or diffeomorphisms.
@technicallittlemaster8793
@technicallittlemaster8793 Ай бұрын
May you also share the python manim code that you used for making this video. that would be really helpful
@AllAnglesMath
@AllAnglesMath Ай бұрын
I don't use Manim, I use a custom library that isn't fit for publication.
@ZomgyLand
@ZomgyLand Ай бұрын
Late happy birthday to your dad! I'm israeli but I recently moved to the netherlands for a master's degree in logic in UvA. Working hard on giving you some future content :)
@AllAnglesMath
@AllAnglesMath Ай бұрын
Thanks! If you have a link to the research you're doing, maybe we can share it or even consider making a future video about it. Shalom.
@culater
@culater Ай бұрын
WONDERFUL ! Thank You ! 👌
@culater
@culater Ай бұрын
THANK YOU ! WOW ! You're a GREAT Teacher !!
@alexandrevachon541
@alexandrevachon541 Ай бұрын
Sedenions (16D) lose alternativity and they have zero divisors. Trigintaduonions (32D) lose distributivity as well. Power associativity is presumably lost at the sexagintaquatronions (64D).
@georgeorourke7156
@georgeorourke7156 Ай бұрын
Excellent presentation. The graphics are great and the pace is pleasant. And mist if all the subject matter is fascinating. Thank you
@AllAnglesMath
@AllAnglesMath Ай бұрын
Thanks! Glad to hear that you enjoyed the video.
@callmedeno
@callmedeno Ай бұрын
This makes me want to dive back into shilov chapter 1!
@callmedeno
@callmedeno Ай бұрын
Man I just found your channel as a self-studier and I can tell it is a gold mine!
@AllAnglesMath
@AllAnglesMath Ай бұрын
Welcome. I hope you will enjoy the videos and learn a lot from them. Feel free to ask questions in the comments!
@omarel-ghezawi6466
@omarel-ghezawi6466 2 ай бұрын
Great video, intuitively informative, nice graphics and animation. Thanks a lot!
@AllAnglesMath
@AllAnglesMath Ай бұрын
Thank you so much!
@CjqNslXUcM
@CjqNslXUcM 2 ай бұрын
I didn't understand the proof that the set contains only one neutral element. I think you didn't explain this well. Why does the neutral element get this mini-commutativity, where the operation results in the same output if the neutral element is either input? Because associativity ore closedness doesn't prove it, it's not a result of the definition of the monoid like you said, unless you also put that property into the definition of what a neutral element is.
@AllAnglesMath
@AllAnglesMath Ай бұрын
This is a really good observation. I found this short explanation online: planetmath.org/LeftIdentityAndRightIdentity Basically, a left or right identity isn't necessarily unique. But as soon as you have both, they are the same and "they" are unique.
@CjqNslXUcM
@CjqNslXUcM 2 ай бұрын
cool video