Hi guys! So recently a lot of you voted that you would like more in-depth videos, so I made an 18 minute long video! Let me know what you thought and if you would like this level of depth in future videos :) Also don't forget to check out the video we did over on Willie's channel KhAnubis! kzread.info/dash/bejne/nKuFzreFmqi5hNY.html

@NotHPotter

5 жыл бұрын

Up and Atom absolutely brilliant video.

@Noneblue39

5 жыл бұрын

they're fascinating!

@vipulchaturvedi

5 жыл бұрын

I could hear you speak all day long

@Coemgen86

5 жыл бұрын

I like it in depth. Now i feel to know enough about it, to understand it on the basics. Thank you.

@faizakhandakar7421

5 жыл бұрын

Hi Jade!!! I'm a high school girl who loves science. I've been following other channels too, but your channel is the best. I love your content, especially because you talk about physics and computer science, my favourite topics and you explain perfectly. I also like the fact that you see and reply to the comments. I really appreciate your effort❤. Oh, and this video was enough in depth, I really enjoyed it. Thanks😊

The biggest number of sheep you can count before falling asleep is a baa-jillion.

@Bluhbear

5 жыл бұрын

Impossible. Sleep is immediately induced upon reaching a baa-jillion.

@DejiAdegbite

Жыл бұрын

Good one. 😄

@b_ks

10 ай бұрын

'badump-bump'

You know what’s hilarious? Yesterday in my discrete math class I gave up on understanding proof by induction and then I failed my exam. And now she just made it all make sense to me. This is a great video, wish I could’ve watched it yesterday 😅 And I love this format of videos! You’re making quality stuff I’d expect from channels like Physics girl or PBS Infinite Series (RIP). Keep it up, your channel can grow as big as theirs 😁

@taniamanik2012

4 жыл бұрын

Daniel Kunigan good thing you understand induction now because it's used so many times in other math courses, especially real analysis lol

@ChrisFerguson-zm4gt

10 ай бұрын

How the hell is a dot and a line supposed to represent the actual border of a country or county??? Have fun with Michigan.

@michaelmcgee335

7 ай бұрын

@@ChrisFerguson-zm4gtNot the only video taking this line.

@Ramanuj_Sarkar

4 ай бұрын

@@ChrisFerguson-zm4gt Michigan is bordered by Wisconsin, Indiana, and Ohio, so it can be represented by a dot connected by lines to three other dots (which represent those three other states).

@ChrisFerguson-zm4gt

4 ай бұрын

@@Ramanuj_Sarkar my comment was almost half a year ago. Im not going to rewqtch the video or correct rewqtch. Im lazy like that. So i have no idea what ur talking about.

Proof by brute force.

@tsmeowth001

5 жыл бұрын

Cory Mck thats why i suspect most found it "intellectually unfulfilling". most of these proofs are "elegant" in some sense and can be applied purely using the logic of the proof without having to check all variable cases individually. but for the four color proof it had the requirement of checking each and all possible base variances for if it would hold (i.e. brute forced a solution) and making it essentially "solving only through empirical testing and not by pure logical thought".

@CoryMck

5 жыл бұрын

greenfox001 Right, just to clarify, that is actually the name of the type of algorithm used. A brute-force Search or exhaustive search in Computer Science is "a very general problem-solving technique and algorithmic paradigm that consists of systematically enumerating all possible candidates for the solution and checking whether each candidate satisfies the problem's statement."

@tsmeowth001

5 жыл бұрын

Cory Mck oh i know, im a senior studying comp sci currently. I was trying to tie this fact to the part of the video in where this method’s result left so many begrudgingly accepting it (while also trying to write for anyone else who reads these comments). While it indeed was a solution as a proof, it being solved by testing each case individually was the opposite of the elegance that solving it with a pure conceptual and logical proof would provide to mathematicians.

@adamsfusion

5 жыл бұрын

This is how I feel about it too. We've come to a point where we've unknowingly stumbled into a problem where the set of information to consider is so incredibly large and so varied that's not as simple as just individually comparing elements against each other. What we needed, and ended up with, was proof via exhaustion. While some people may not consider that "intellectually fulfilling", it still gives us valuable information about how the universe operates. Imagine a cell in a living organism optimizing for the most energy saving conditions, generating the least diverse set of interlocking modules as possible while maintaining no consistency across its face. This proof shows us that a cell could do this while producing only 4 structures. That's incredible.

@lukebradley3193

5 жыл бұрын

Good point avfusion. The other thing is that even if a computer exhausts trillions of possibilities to reveal a proof, it might reveal something about nature or math truth via the computer program itself and it’s analysis. A simple undiscovered CS principle could predict the math result. Halting problem only applies to totality of programs.

4:08 when portugal's been hitting the gym too hard :)

@KhAnubis

5 жыл бұрын

Yeah, I had a feeling people would notice.

I was an undergraduate at the University of Illinois at Urbana-Champaign in the early 1980's. I had both Prof Appel and Prof Haken as instructors. One year, on an early Wednesday morning, the day before Thanksgiving, 80% of the class had already departed for the holiday. Looking around the near empty classroom, I asked Prof Haken if he wouldn't rather talk us through his and Prof Appel's proof on the 4-Color Problem. He did so. He too mentioned that many refused to accept the proof due to expansive use of a computer. It was a memorable lecture...

You forgot Liechtenstein, Monaco, Andorra, Vatican City and San Marino in your map. You better hope KhAnubis won't see this👀

@KhAnubis

5 жыл бұрын

Oh I saw it. I saw it, alright.

@upandatom

5 жыл бұрын

Haha what can I say I’m from Australia

@MaxDiscere

5 жыл бұрын

Up and Atom I'm from Austria that's pretty much the same💁

@pierretruchon6523

5 жыл бұрын

Canada… one color required… snow white!

@pawelzybulskij3367

5 жыл бұрын

You mean you are part of the great hoax. We now know that Australia doesn't exist.

You deserve a *_Bajillion Jillion+1_* subs

@suprafluid3661

5 жыл бұрын

BOI OH BOI This woman needs to meet Quiteshallow. You would make a funny couple ;3.

@swaroopkunapuli7805

5 жыл бұрын

nhi degi

@Onnozelfilmpje

3 жыл бұрын

How many South-Americans does it take to screw a lightbulb? A Brazilian. Badum tss.

@PedroHernandez-uy3pi

3 жыл бұрын

@@Onnozelfilmpje i will forever hate you for making me laugh at that

@wynautwobbuffet956

2 жыл бұрын

@@PedroHernandez-uy3pi same

Fantastic video! One of, if not your best to date. I think this was a great level of depth to cover the topic at, although I'd be happy with stuff even more mathematically rigorous/challenging. The video length was great too. Even though it was pretty long, it was engaging and informative the entire time. It never felt like it dragged or anything. Keep up the great content, can't wait to see what you come up with next!

Definitely love the more in depth video and I liked the length. It always feels easier to watch a video (or 2) that's around 20 minutes than one that's around 30-40 minutes.

Your in-depth videos are the Sunshine in which our attentions spans grow! I appreciate your gentle spirit. Thank you.

@meir5740

5 жыл бұрын

Long form is the new black, I mean, the new short form, I mean, it's good. I started a podcast awhile ago and my co-host wanted to do episodes of about an hour, and I felt it was too long, but then I found that the podcasts I enjoyed listening to ranged from 45 min to 2.5 hrs. People are far more curious than industrialized society gave them credit for...

Excellent explanation of five color proof! Awesome job! For some reason, the four color theorem and Fermat's last theorem always fascinated me growing up.

This is interesting I never knew about it! Thanks for this video! And also thanks for making in-depth videos!

Awesomeness! Love what you do! Thank You again! You make Science Fun and Approachable. Share you to other's when I run into blocks in explaination and understanding. You help a great deal in these endeavors. Bless You!

Level of depth was great! And it's much better suited to your narrative style and humor. Really liked how you drew out from the particular problem some general ideas about math - 3 kinds of proof techniques, the place of computers in mathematics, representation of same information in different forms. Cheers!

Concerning in depth videos: I've been somewhat intellectually deprived since PBS cancelled the Infinite Series channel, so I was delighted to see a nice simple looking problem that has confounded mathematicians for a long time stripped down. I'm guessing you don't have quite the resources PBS commands, but I like your plucky attitude

@upandatom

5 жыл бұрын

Thanks! Yeah that's such a shame infinite series was cancelled. Do you know why? I thought it was a really successful channel so I was shocked when it was cancelled

@KhAnubis

5 жыл бұрын

I'm just puzzled that they cancelled a series called 'Infinite'.

@nicolaiveliki1409

5 жыл бұрын

@@upandatom No clue. Certainly had plenty of subscribers though not quite as many as SpaceTime. I relish in some mental gymnastics for a multitude of purpouses, but it's certainly not everyone's cup of tea, and the Infinite Series had some real puzzlers (though often easier to follow than Numberphile). And PBS also had no trouble finding presenters with a pleasing appearance for the channel (also nice voices). Unlike Eons or SpaceTime, the Infinite Series seemed to require only very basic CGI, and as this is often a major cost factor for any visual medium, I can't imagine that cost was much of a reason.

@pablodenapoli1667

5 жыл бұрын

Infinte Seris was cancelled ? That used to be the best mathematical chanel on the whole internet !

@nicolaiveliki1409

5 жыл бұрын

@@pablodenapoli1667 yeah it was a real shocker

Excellent video! I enjoyed the history and the breakdown of the proof methods used to solve the 5 color proof. I thought this video was just right, more depth but still only about 20 minutes. Great job!

This video is fantastic, I'm really glad you weren't afraid to talk about all the juicy details. I don't hate many things, but when I watch a science or math channel that says "no let's not get bogged down in the details", it makes me furious! Again, thanks for going into a lot more depth for your curious viewers, I'm glad this is a trend for many math and science channels. Sincerely, A math major

interestingly, there was an analagous story in the field of close packing (of uniform spheres). sadly, when thomas hales was able to prove the long-standing kepler conjecture by the `brute force' of computation, the maths community refused to celebrate his achievement

@polite3606

3 жыл бұрын

totally ! What is so interesting about this, is that thomas Hales even went to the trouble of making a formal proof of his theorem. (Flyspeck project). There are also formal proofs of the 4 colour theorem.

What a great video this was. This really gave me an in depth information without confusing me. Your videos are great and and catch my eye of interest. Keep making such excellent videos and best of luck

I have always had my suspicion about this theorem because I have done a great many art paintings using just four colors, my shapes in them are all orthogonal. Thanks for introducing me to Euler’s name and the problem and solution.

love this level of depth! maybe not for every vid but a super-vid every so often would be awesome :)

Your videos are awesome you deserve more recognition

The video was interacting and had a good level of depth. I listened to it 5 times and tried to do supporting research at the same time and develop my own understanding of the original proof! I'm very picky in understanding math proofs in their true depth since I'm a math major myself. THANKS for the video

Love your channel you made complicated things fun

I've never seen a ad on this channel....and i have watched every single video of this channel.

I really enjoy your video. Your explanation make me understand more about the challenges of the four colours theorem. Please keep it up 😄

I love how this presentation makes me smile and puzzle both at the same time!

Great video explaining this proof. One additional step that I would show is explain why every map can be represented as a planar graph. I was able to figure this out on my own but I also took graph theory in college and I don't know if it would be as easy for everyone else.

The way you use humour to stay engaged is really awesome. May the force be with you!

So in depth that I skipped your five color theorem proof because I always like to figure out proofs for myself before seeing other proofs! :) In other words, you definitely went in depth, and I like it!

I love the four color theorem! Thanks for making this video

I'm crying for the shape that you gave to spain xDDD

@v.sandrone4268

3 жыл бұрын

Sicily didn't even get a shape :-(

@ryshow9118

3 жыл бұрын

I was distracted by how she looks absolutely sloshed in the animation lol

I think both sides of the discussion are equally valid: - Proof as praticality. - Proof as knowledge. The chalenge beyond this point is: How to conciliate this two points? Solving this can bring interesting new views on Mathematics and on Science in general.

Love your teaching. Can't keep away. Perfect in every respect. You are a model of scholastic ideals.

Still showing my students this! Thanks from 2021,

I sometimes do colourings for recovery/self-care and I noticed this rule in a recent one that had an asymmetric interlocking geometric backdrop.

great video and very well explained. it was a good refresher of 4 color theorem for me.

I love these cute animations 😊

Loved the 4CT & its detail. I've followed you for some time but just discovered this...4 years late. Thank you.

What a polished, well structured video! So interesting and beautifully presented. This must have taken a lot of work to produce. Watch out, numberphile!

The video was as long as logic required it to be. I don't mind longer videos, when they are informative, like yours. Keep up the good work.

Your videos are lovely! So joyous haha. Keep it up!

I loved the accuracy of your europe map. And I love your videos.

"... even though I kind of don't." LOL!

Wonderful channel. Gonna binge it and prematurely subscribe :-) Only question: What's with the nervously jiggly-wiggling graph(ics)?!

Great video. In depth is good. You have such a great way of explaining things that more is definitely better. The one thing I don’t get about the 4 color proof is the “reduction” of the 5 color graphs. By what right can we just start removing vertices? I’ll rewatch a few times to see what I missed, but wouldn’t removing a vertices make it a new graph and therefore any proof is inapplicable to the original graph? It’s why we can’t just say oh well pi is too hard so I’m just going to use 3 for everything instead...

Very well explained. Thank you.

Superb. Thanks a lot. Yes, in-depth videos are even better. Go on.

i thought this was in depth enough often videos skate around subjects and expect the viewer to fill in the blanks, which isn't always a bad thing, because it's one way to get people to be creative but going in depth reveals subtleties which are simple but only understood once you start digging and often it is those simple things which unlock a whole new perspective like in another video where you described how some numbers are indescribable due to finite languages and sets of symbols, so simple, yet actually mindblowing that that simple of a problem makes those numbers unreachable

Superb vid. Thanks a bunch. Cheers

Yes on more in-depth videos! I love that the induction step in the proof can be done with color pencils. I'm not sure my discrete structures teacher would accept that to fulfill his annoying "in formal notation" requirement.

Great presentation, I learned a lot.

What an incredible channel.I seldom write comments,but I must say that this has to be one of the most important and interesting channels on KZread.

I am a bit behind but I love all of your videos. Keep up and atom.

As always...Excellent video! Too long? No. Did you explain the theorem so I could understand it completely? 💯 yes! Thank you.

On the go in the depth point. As deep as you can go is perfect

I could quite literally listen to you all day!

Muy buen vídeo, estuve alternando el vídeo con una demostración escrita y logré entenderla muy bien por lo menos el teorema de los 5 colores. Entender el de los 4 colores es un reto.

I love this theorem a lot! Thank you :D

This was so interesting!! Also

@KhAnubis

5 жыл бұрын

What if we did a group collab between all six of us? I feel like that would be interesting.

Hi Jade ! Great video! Now you could do a video with your friend about gaussian curvature (that is why you cannot draw an acurate map of the earth, even locally, as he says in his video). Another example of a mathematical invariant and a fundamental concept beyon general relativiy, as well !

Love the new format

This is the best explanation of the four color theorem I have ever seen. Anyone who can solve equations on screen without it feeling intimidating can get my upvote.

I am impressed. VERY impressed. So well done!

the explanation is simple: A planar map is the "cover " of a solid. The tetrahedron is the smallest solid. 4 sides = 4 colors. You can build any solid with tetrahedrons. So, you can build any solid with 4 colors. I'm sure a topologist can say it better.

You did Leave out one part of the ending: people have been trying to see if they can reduce the number of graphs to a human checkable number.

9:13 - No. Here is an example: 1 - Green 2 - Yellow 3 - Purple 4 - Yellow In this case Green-Yellow or Blue-Purple swap won't work. But what works in general is ColorOf(1)-ColorOf(3) or ColorOf(2)-ColorOf(4) swap.

Finally it's worth waiting for though I am not big fan of maths but u make it easy to understand it😁

Thanks for making this very usefull

Excellent video, thank you!

Do you think you could do a video on Euler characteristic and the classification of platonic solids as a wonderful application?

Hi, This was a great one. Thank You for this much in depth video. This one was fairly descriptive of the topic. Loved this one also. It was worth the time you took after your previous video. Thanks.

Is the Euler Characteristic a function of 2D graphing, or does it still hold true for 3D graphs?

Great job! My opinion is that this video did exactly what it was supposed to do. And to be very honest, my sense of time was not registering here... and that's a good thing. I take it as you kept your video interesting enough to keep my attention enough to lose track of time. In other words: it wasn't boring! ;) And as someone I consider a "science communicator," you fill that awkward position whose job it is to not only make science interesting, but to translate it into something most people can understand without "dumbing it down," or losing enough information that the explanation becomes useless. And again, part of it I feel has to do with your charm and character. Let's put it this way, if Michael Cain had made this video, I probably wouldn't have watched it lol.

@upandatom

5 жыл бұрын

n_n

I don't really lose any sleep over this "what's a proof" argument. I can accept that a computer-driven proof *is* a proof, while still regarding it as "less desirable" than a standard, intellectually containable proof. A proof that brings understanding is better than one that doesn't, but the latter may still be a "proof." Let's just say we've accomplished something but not everything we'd really like to accomplish. More work to be done. Nice video, Jade!

Great explanation. And I adore how animated and bouncy you are.

This was fun! Thanks everyone!

@3:30 good thing you said _Euclidean_ geometry, since a triangle on a globe doesn't match that 180° rule. 😄😉🙃

Now THAT is a cool math video. Well done!

Great video, I really enjoyed it. You probably should make a shorter version (more like a summary) for the general audience.

what is the font you used for writing in black

Great stuff. Thanks for posting. Non-mathematician writing - what's been discovered about map colouring in higher dimensions?

@MikeRosoftJH

3 жыл бұрын

In case of three-dimensional regions, where two regions must have a different color if they touch by a shape of positive area, arbitrarily many colors can be required. This is true even when the regions in question are cuboids (rectangular boxes).

It's true for graphs on a plane and on a sphere... but for surfaces with higher genus it's not true! E.g. the 7-colouring of tessellations of the torus and their generalisations for higher-genus surfaces.

Love your videos ❤❤❤ Go science and maths❗

While this video started with very slow and easy for anyone to understand steps, when it came to some of the later more involved steps (and every step is 100% important in any mathematical proof), even though each step was probably fully comprehensible if one spent long enough thinking about it, the video went too fast to maintain a complete understanding. Sometimes a simple but subtle step needs to be repeated, possibly with the same step being expressed in multiple different ways, until no one in their right mind can possibly still not fully understand it. This is probably an example of a problem which a lot of teachers have, especially in mathematics. They have been through the same sequence of steps so many times that each step seems completely obvious - and they would need to think hard to understand why it was unlikely to be so obvious to someone who was seeing this chain of logic for the first time.

Dear Missy: I needed help understanding technical math terms. I will have to re-watch the episode until I get what I need. But your presentation is otherwise, excellent! NHG

It's funny. I just started to draw blobs on a paper and realized that as soon as I had one blob touching three other blobs, it had to cover one of the first three with it, thus making it impossible for a fifth blob to touch all of the first four. No idea how to translate that to mathematics, though...

Great explanation but I'm going to need to watch it again

Ken Appel (pronounced a-PELL) was a guest-lecturer for a day in my Math History class (for Math Education majors). It was really exciting to hear from the researcher himself.

@JohnHarriman

10 ай бұрын

I knew both of these men at the University of Illinois. The 'a' in 'Haken' is more like the 'a' in 'father'.

This actually helps me

I can't believe how satisfying was this video.

do u have any videos related to holograph?

This is fascinating stuff! The thing I do wonder about though when we're talking about computer based proofs is how we deal with the potential of bugs in the code, hardware based errors in the output and bugs in the interpretation of said results**. I mean, we could write two different programs to do the same job or write a program to check the output of the first, but that doesn't actually solve the problem. It merely makes it less likely the problem will occur. And given the really rather large set of data you named for your last example, that's certainly something to think about. This, to me, seems to be an inherent problem with using computers to prove anything - once the dataset or problem becomes too large or too complicated we can no longer verify that what our tools produce is correct. Which begs the question: can we trust the output in such cases? And if we can, how do we know we can? *) There's fascinating stuff out there on why you can safely assume storage devices above a certain size will contain errors in that other bits end up being stored than where actually written by the software layer. **) As it turns out, writing code that you can guarantee to be correct is pretty much impossible for any program of any complexity.

@IkikaeruRaimei

3 жыл бұрын

int a = 3; int b = 5; a *= 5; Pretty sure it is guarantee to always return a = 15.

@DutchRetroGuy

3 жыл бұрын

Ikikaeru Raimei well of course! But I was not talking about something this trivial. The problem arises when complexity goes up to the point where we can’t simply look at the code and say “yup, that’ll work”.

hi jade! I often heard about "quantum radar"..what is it and how does it detects object. . it uses any quantum mechanics properties ?

@calvinstrikesagain

5 жыл бұрын

jaikumar848 Quantum radar is a radar set that entangles its emissions at the transmitter such that it can detect whether or not a received radar signal is one that the transmitter emitted. Thus, it can differentiate its own signal against the noise floor, and detect remarkably small radar targets, such as stealth aircraft. So far, on paper, it sounds amazing. Unfortunately, the reality is harder. Entanglement requires very little interference or noise to begin with, and decoherence, or loss of entanglement caused by interaction with the environment, is one of the biggest problems. So while it is possible to construct, it's difficult to miniaturize and utilize in an austere environment. The wiki is pretty good on this. en.wikipedia.org/wiki/Quantum_radar?wprov=sfla1

@upandatom

5 жыл бұрын

jaikumar848 I’ve never heard of it! I’ll be sure to look it up :)

@jaikumar848

5 жыл бұрын

Up and Atom thanks Jade! why i am curious to know .. It uses quantum properties and second it can detect stealth plane like F-35

@calvinstrikesagain

5 жыл бұрын

@@jaikumar848 any radar can detect an F-35, even a homemade one, stealth simply reduces the distance at which that radar can see it, by deflecting or absorbing enough of the signal so as to reduce the return signal below the noise floor at longer distances faster than a non-stealth aircraft. The unique ability of a quantum radar is that it can detect which received radar signals were transmitted by the quantum radar itself, so if you can ignore the radar noise floor, then you can detect a stealth aircraft even when the signal is less than the noise floor because it's no longer like trying to find a needle in a haystack, but rather like trying to find the same shiny needle against a flat matte background.

@jaikumar848

5 жыл бұрын

calvinstrikesagain thanks for info 👍

If you could make a map with 5 countries all touching, you would need the fifth color. So long as caddy corner contact doesn't count as "touching", you can't, therefore you can always color them with 4 colors. Not sure how to formally prove that you can't make such a map, though.

I am happy I get this on KZread

You don’t need a massive computer assisted proof for this. You simplify the problem into only triangles by adding edges (this can be reduced into any graph without introducing more colors by removing said edges). From there, you can reduce the problem into a type of “hub-and-spoke” model with a fairly limited number of cases. First prove that any loop with a single vertex in the middle never needs more than 3 colors in the loop (excluding the inner vertex), then extend that to any 3 color inner loop never needs more than 3 colors on the “outer loop” in a planar fully triangulated graph. This shouldn’t be a difficult proof.

I love your videos either way!

Very good explanation