What does it feel like to invent math?

[@scottanderson8167]

Whenever I invent math, my teacher marks it wrong.

[@briansmith5391]

You Too!!!

[@nyanrome]

Lol!

[@TechToppers]

Yeah! I wrote 5+5=15. She marked it wrong. I said that that it is in another base system...

[@TechToppers]

@@রাফি-হ৭ঘ 😅😶🤦🏻‍♂️

[@TechToppers]

@@রাফি-হ৭ঘ What is a bijective base?

[@lucaslzt]

"You are a mathematician [...], so you don't let the fact that something is nonsensical stop you" A true mathematician spirit

[@angelmendez-rivera351]

RaniaIsAwesome That means nothing unless you categorize nonsense and distinguish it from counterintuitive results in a rigorous manner. That is precisely the problem. People think the result in this video is nonsensical when in reality it is counterintuitive

[@子淇李-d2e]

The three dots are where philosophers came in and driven mathematician crazy to dead

[@taylorsmurphy]

@ki kus Math fight!!

[@arunjosephshadrach9539]

Yeah right,lose yourself into catchy words

[@kyrlics6515]

@@angelmendez-rivera351 no

[@Azmidium]

Even the universe has integer overflow :o

[@nicejungle]

gold comment :D

[@ConnorR.mp3]

But with an infinite number of bits, this overflow can never occur!

[@waltercomunello121]

Yet it never crashes - or softlocks.

[@NoorquackerInd]

Walter Comunello black hole = garbage collection of the universe that's why

[@waltercomunello121]

@@NoorquackerInd never asked why. Nonetheless, Hawking radiation return part of the garbage they collect to the universe. Also, the concept of "garbage" relies on the concept of "mass" which could assume different levels of sense outside of our dimensions - black holes might peek in these extra dimensions.

[@nitinnilesh]

Warning - This background music with his voice can lead to a state of mind where you can invent anything. Thank you 3b1b for this high-quality introspection of math.

[@nenmaster5218]

My silly hobby is to recommend science-channel to my fellow science-fans. Mind?

[@JuniperHatesTwitterlikeHandles]

It's true, I invented a perpetual motion machine last night while listening to this. I'm working on faster than light communication now.

[@BadChess56]

@@JuniperHatesTwitterlikeHandles lol

[@sloosh2188]

Geometric r=2> or = to 1 therefore diverges to +inf

[@DefinitelyDrained]

@@JuniperHatesTwitterlikeHandles i know this might be a 'joke' (though I didn't laugh) but it's such a stupidity to compare anything 'faster' than the speed of light.

[@Mathologer]

Love this video. I keep getting asked by (numberphiled) students why 1+2+3+... = -1/12 and I usually end up telling them about analytic continuation, etc. From now on I'll also refer them to your video to expand their minds in a different direction :)

[@3blue1brown]

+Mathologer Can you think of a way to explain 1+2+3+... = -1/12 in the context of p-adics? You would have to use all of the p-adics, meaning using the coarsest topology over the rationals such that all open sets in all p-adics are open sets in your topology. One way to go would be to say that after each prime tells you that 1+p+p^2+... = 1/(1-p), we can factor 1+2+3+4+... as 1/((1-2)(1-3)(1-5)(1-7)...), hence maybe there's a way to think about why (1-2)(1-3)(1-5)...=-12. This translates to the fact that the sum of all positive integers, when weighted by the mobius mu function evaluated on them, is -12, but I cannot think of a nice way under a p-adic light to think about why that is true.

[@Mathologer]

In the first instance I wasn't thinking of trying to give a p-adic interpretation of 1+2+3+... = -1/12. When explaining to students in what sense 1+2+3+... equals -1/12 I think it is best to talk about analytic continuation and the sort of things that Ramanujan & Co. were trying to capture by writing down this identity. I'd then refer those among the kids who can handle this sort of material to your video for yet another way in which these sort of paradoxical identities can arise naturally. Having said that it would be great if one could come up with a nice way of explaining 1+2+3+... = -1/12 in the context of p-adic numbers.

[@jacobkantor3886]

+Mathologer Hey Its Mathologer! You guys should collaborate on videos.

[@capjus]

+Mathologer I am happy you finally cleared this in your video!

[@ijarbis187]

Mathologer yeah thank you for correcting numberphile because they used a lot of illegal math in an attempt to simplify a problem in order to make it easier to understand. But their video was just misleading.

[@fqidz]

How it feels to invent math 5 math, stimulate your senses

[@paper2222]

*simulate your equations

[@Bleepbleepblorbus]

Math is the base of science do... being a expert mathematician and scientist means understanding everything.

[@Bleepbleepblorbus]

Not saying I'm smart but that's what it feels like

[@limepop340]

Aidan Woodward 1 - It’s a 5 Gum joke 2 - No, that’s not even remotely close to what “expert” in these fields means. The concept that it is physically impossible for a human brain to “understand everything” should be enough. The notion that an expert in mathematics and/or science “understands everything” stems from a misunderstanding somewhere, be it of the field or one’s own competence (that is, arrogance). To think that mathematicians have zero nagging questions and zero new ideas to explore is nonsensical and doesn’t align with reality. To think that scientists excel on their own is likewise.

[@Bleepbleepblorbus]

@@limepop340 well no doy.

[@pennrogers4963]

It’s important to understand that the theories of p-adic numbers (for each p) and the theory of real numbers are distinct theories. Otherwise, such statements lead to obvious ambiguity. So, the statement “1+2+4+... diverges” is true in the theory of the real numbers, while, independently of this fact, the statement “1+2+4+...=-1” is true in the theory of the 2-adic numbers. On the other hand, field extensions lead to extended theories. For instance, the theory of complex numbers is an extension of the theory of real numbers, or, similarly, for any field extension of some p-adic field. So, in other words, every statement of equality that holds in the theory of real numbers still holds in the theory of complex numbers. These two concepts, along with the distinction between them, seem to be lost on a good deal of commenters. The first creates a distinct theory with a distinct metric, while the second creates an extended theory with an extended metric.

[@MuffinsAPlenty]

Very good point, and I agree that this has tripped up a lot of commenters.

[@StillnessMoving]

Thanks for that. An important point.

[@GAPIntoTheGame]

This is a great explanation that should clear many problems for ppl who have trouble understanding the video

[@roberthardie6119]

Oh sugar,I'm negatively stupid!

[@AlcyonEldara]

You need to be careful. If I am studying the galois extension of Q, I might need to use both theories. And adele rings are born. On the other hand, 3blue1brown made a small mistake at the end of the video. He defined the p-adics in terms of distance, and in that case he gets a group (and not a ring) but he can do with it with any number, not only primes. In fact, the p-adic distance is a kind of "reverse alphabetical distance" of the dictionnary.

[@P-7]

I remember when I was trying to solve a problem for a while, and had an epiphany when I was trying to fall asleep one night. I started writing down some ideas until I came to a conclusion about the problem. Not a full solution, but a big step. Later on, I found a paper published in 2008 about the problem, and halfway through the paper they used the same process I did. So I can say that it did feel awesome to come up with that in my own 😊

[@naturegirl1999]

Do you remember the problem? What was the paper called? Can you link it?

[@naturegirl1999]

I remember when I was trying to think of a way to remember the perfect squares when I realized that the next perfect square is the previous one plus the next 0dd number, like 1+3=4, 4+5=9, 9+7=16, I know the perfect squares normally up to 144 which is 12*12, Using the rule zi found out, I could either go 13*13 or if I don’t want do do multiplication, I could go 144+25 and get the same result, 169, I’m fairly sure someone else found this out before but I don’t know how to find out what this is called official;y

[@P-7]

@@naturegirl1999 search up Galileo’s odd number rule. Also another fun fact: if you take the difference of those odd numbers (2), then divide by 2, you will get the A value (the coefficient of x^2 in a quadratic equation). For example, 3x^2 + 5x + 7 will give 7, 15, 29, 49. The difference between those is 8, 14, 20, and the difference between those is 6. Divide 6/2 and you get 3, the coefficient of x^2.

[@P-7]

@@naturegirl1999 It was about finding the shortest way to connect n points together. The paper is “Shortest Road Network Connecting Cities” by Université de Genève

[@P-7]

@@hike8932 go ahead… we’re listening

[@valwaeselynck4529]

"You decide to humour the universe, ...", maybe the best phrase describing theoretical research.

[@morantNO1]

And the best approach to life in general.

[@TemperThetaDelta]

As a programmer the 2^n example is easy to answer: the infinite-precision integer storing whole numbers overflowed into the negatives

[@devsquares]

yeah

[@damonpalovaara4211]

The sum of 2^n written out in binary form is (11111111...) which is the twos-complement version of the number -1

[@TemperThetaDelta]

@@damonpalovaara4211 exactly!

[@JosueMartinez-ww1vj]

And 9 in binary is 1001 your index and small finger which makes a set of horns 🎸🤘

[@jackposiedonforever7774]

This needs more likes 😂

[@cyclingcycles7953]

I can see the fabric of space-time now.

[@matthewtodd9854]

My profile picture is better ahahhahahahahah

[@kyrlics6515]

@Just Cause silence before i bring Not Cause in here

[@pixelpatter01]

It's the spice Navigator.

[@behemoth2887]

Ok

[@Bleepbleepblorbus]

Oh yeah?I can see the entire beta-verse now

[@shawon265]

I love how you can tell how good grant has gotten with his videos. The voice over, the designs and what not... kudos to you!

[@NazriB]

Lies again? Support Indonesia Malaysia

[@PolitictalDipsit]

​@@NazriBwho cares.

[@srinivasaprasannaa915]

Teacher: What is 2+2? Me: Of course, it is 7. Teacher: You do not know any math. Me: Yeah, you do not understand that I chose a different metric.

[@bayurukmanajati1224]

Teacher: What is 7 + 6? Me: 15. Teacher: What. It should be 13. Me: But my calculator says so. *Calculator set to Octal*

[@madkirk7431]

@@Aph2773 that's just not understanding that it's a joke

[@AlexandrBorschchev]

I understand its a joke but you have to say the base system u use otherwise people are gonna assume its base 10

[@RockBrentwood]

*Teacher* (if the teacher is *really* doing their job correctly): Then you're actually defining a *different* operation, which we'll call A ⊕ B, for which it happens to be true that 2 ⊕ 2 = 7. So ... now: your idea, your project. Do so. That's your homework. The operation should have the usual properties that we rely on to do algebra: (A ⊕ B) ⊕ C = A ⊕ (B ⊕ C), A ⊕ B = B ⊕ A, A ⊕ 0 = A = 0 ⊕ A, A ⊕ -A = 0 = -A ⊕ A, ideally with the same *negative* operator -A rather than some other, new, one ⊖A; and the same *zero* 0, rather than a new one ⊙, or things will get really messy. The simplest way to make that all happen is to *define* the operation by A ⊕ B = f⁻¹(f(A) + f(B)), where f(x) is a *strictly increasing* function that is odd (i.e. one in which f(-x) = -f(x), and so f(0) = 0), and f⁻¹(y) is its inverse (i.e. y = f(x) ⇔ x = f⁻¹(y)). So ... your homework assignment is to find a function with these properties such that f(2) + f(2) = f(7). If you can do that, then we'll take *that* as the function to use in the definition of your operation A ⊕ B and I'll accept the answer 2 ⊕ 2 = 7. As extra credit, define a function f(α,x) such that A ⊕ B = (A + B)/(1 + αAB), where ⊕ is defined with this function and α is a parameter; i.e., find a function f(α,x) such that f(α,A) + f(α,B) = f(α, (A + B)/(1 + αAB)). Describe an application in physics, where α > 0, A, B are interpreted as speeds. What speed does 1/√α correspond to, then?

[@RockBrentwood]

By the way, there is a solution f(±|x|) = ±|x|^k, where k = (ln 2)/(ln 7/2), with inverse f⁻¹(±|y|) = ±|y|^{1/k}. For A, B ≥ 0 that works out to the definition A ⊕ B = (A^k + B^k)^{1/k}. And you may verify that (under this definition): 2 ⊕ 2 = 7.

[@qqleq]

I’ll stick with Crystal Math.

[@akimobst8021]

Adderall would be better

[@azertyuiop432]

crystal meth

[@mukeshbhatta7993]

Love this comment

[@willywalter6366]

😂 LOL - thats how this felt! 👍🏻

[@bigchungus2047]

@@azertyuiop432 woosh

[@soniczdawun1]

This is undoubtedly becoming my favorite mathematics channel on KZbin. While I love Numberphile a lot, you give your viewers' level of understanding a lot more credit, and you explain these concepts beautifully. I remember Vi Hart mentioning the p-adics briefly in one of her videos, but you took on the task of actually explaining them in a way that makes sense, and tied it all into the arbitrary (although consistent) notions behind metrics, and how we use them to think of an "organization" to the rational numbers. You just flipped the idea of "closeness" on its head, and I love it!

[@imnecessaryevil3879]

+Guy Edwards but still this is pretty hard to understand for me because I am not used to this new type of math presented here

[@roygalaasen]

+Guy Edwards Indeed a brilliant idea of "closeness". When I saw that part, I was all "Wow brilliant way to introduce the epsilon delta proof for limits"!

[@OonHan]

Agree

[@locutusdborg126]

Carbon: Good one. I'm in recovery.

[@JoelDowdell]

Yeah, it seems that the depth a youtube channel goes into its topic is inversely related to how well known it is. At least for math and science topics.

[@osotanuki3359]

literally a few hours ago i forgot the formula to find the infinite sum of a converging series for a precalculus test, but it was the last question and i still had 40 minutes left, so i basically reinvented the formula exactly like this and got the right answer. this is what growing up on 3b1b does to you.

[@leonardoabate2799]

This is not really correct... Being able to deduce the sum of a converging series is quite hard, way harder than proving that the series converges, it is possible in very special cases using a formula. I think you are referring to a geometric progression but if you did find a general formula for any series in under 40 minutes you are a prodigy and you should publish it!

[@sonialucy1]

Dang........ I feel dumb

[@danishd5366]

​@@leonardoabate2799qell a question in precalc probably means it was a geometric progression

[@MakeMakeMake245]

@@leonardoabate2799 A geometric series is still a series.... And finding a formula for the sum of any converging geometric series definitely doesn't make you a prodigy, but it is still much more than most precalculus students can do Idk if English isn't your first language but you need to work on your reading comprehension

[@leonardoabate2799]

@@MakeMakeMake245 I meant to say that the way it was written is ambigous.. you cannot find a formula for any converging series, and surely not in 40 minutes. I was trying to be sarcastic btw. Yeah im italian i try my best with english as you can see, being rude to a random guy on the internet doesnt make you smart

[@avikdas4055]

Expectation: Determined to fully understand a 3b1b video Reality: Facepalm

[@subhrajitroy1477]

lmao haha....go and watch his video on conics...u will understand that

[@Joe11Blue]

The video simply explains the reason why we use limits.

[@aadityabhetuwal5990]

IDk 3b1b explains it pretty basic without going really advanced

[@SYFTV1]

×2 Ight imma head out to watch some MHJHB instead

[@bacicinvatteneaca]

@@SYFTV1 ok coomer

[@kcz6865]

Everybody: What was first chicken or egg? Mathematics: 1-1+1-1+...=1/2 so it was half egg and half chicken.

[@elvisk6632]

Actually yes? They both appeared???

[@rotorblade9508]

Technically it was an egg from a bird that was not chicken yet but almost a chicken lol But the transition was so slow at some point it I don’t know where you could call it a chicken or not. And btw wild chickens are exotic beatiful jungle birds from asia

[@JaveLester]

The bird came into existence to lay egg.

[@manjulakadali3996]

@@rotorblade9508 exaclty, like, neither just popped out of thin air, it was a slow process

[@luciproductions3294]

Its a funny thing when is a bag full of sand a bag full of sand and when is it a sand full of bag if u get what i mean

[@uumatter_0106]

Dude this didnt feel like he was doing math, it felt like he was doing meth

[@anymaths]

learn helpful maths from my maths videos.

[@igorstrozzi]

but that's precisely how doing math feels

[@chimmychonga4795]

Easily mistaken

[@SStupendous]

@@anymaths learning how to spell "COVID-19" with mathematical signs is not math.

[@NStripleseven]

Real math in a nutshell

[@shubhamsharma-cp8te]

This channel's production quality is better than Netflix

[@ArIyan_yt]

Gud grief

[@harshkale9390]

Hey 😊 indian guy

[@maverickstclare3756]

Netflix was founded by Marc Bernays Randolph - grand-nephew of Edward Bernays. Edward published the first book on how to create Propaganda in 1928.

[@grossly820]

@@maverickstclare3756 ok and?

[@khalilghady2251]

Actually everything is better than Netflix

[@Stopitpls]

You lost me at 1+2

[@No_handle-_-]

😂😂

[@Stopitpls]

Topher TheTenth No...

[@Magnus_Deus]

It is 21

[@Magnus_Deus]

@DAVID MELLA no u they are reverse

[@rajeshwarsharma1716]

I have difficulty in 1 plus 1.

[@adelarscheidt]

You lost me at the sub-rooms...

[@Eyevou]

Same here. Everything up to that point was fine then he started playing with the definition of distance...... my brain broke.

[@NetAndyCz]

Yeah, me too, I have no idea how to make sense of that.

[@aguuaaa]

same bro..

[@maxi0361]

I watched that part more than 3 times, then I start to understand a little bit of it. They are re-ordering numbers in a way that is not linear, so that the distant(A,B) has a consistent meaning. instead of 2-1 = 0, they have something like dist(2,1) = ??, something like that.

[@Eyevou]

What's going on here is that, from what I gather, is that 1 and -1 are the same thing. In essence, since infinite sums are so strange their inverse is the same as themselves. it's like saying .999 = 1 or .999 = 2. It's easier to understand if you look at it as .999 = x. instead of a real number.

[@RammusTheArmordillo]

Me: Ah nice, a video about inventing math Me 2 minutes later: OH NO HE'S TRYING TO INTRODUCE US TO THE ZETA FUNCTION BY SUMS AND INTUITION, ALL HOPE IS LOST

[@valovanonym]

@Ron Maimon r/woooosh

[@xumingyu2948]

@Ron Maimon haha ur so smart like ur so big brained, do you go to harvard? do you think you could coach me on math some time since you know any math? you're so fucking smart dude, you're great as hell.

[@debblez]

@Ron Maimon 😳

[@adamuhaddadi5332]

@Certyfikowany Przewracacz Hulajnóg Elektrycznych actuly it is, even i jumped of my chair like: 8:28 : is zeta(-2) and its 0 so well well well

[@Jaymac720]

Ever since I took calc II, I basically treated “approaching” and “equalling” as the same thing. It’s honestly made things seem less ridiculous. For example, I essentially treat 0 and infinity as reciprocals because of how y = 1/x looks on a graph. It doesn’t entirely work because the limits don’t technically exist, but it still makes the universe seem less ridiculous.

[@insouciantFox]

Sometimes it's useful to consider infinity as "arbitrarily [large/far]" and equality as "indistinguishability." For example .99999... doesn't equal 1 (to the eye) but it IS indistinguishable from 1. There is no meaningful method by which .9... can be separated from 1, so we claim they are the same. An infinite convergent sum doesnt contain an infinite number of terms, but it does have an arbitrarily large number of terms such that its sum is indistinguishable from what it approaches.

[@TheRevAlokSingh]

Lookup “hyperfinite” and “hyperreal numbers” for more

[@jukmifggugghposer]

@@insouciantFox I believe this is basically how floating point numbers work. Any number bigger than some very large cutoff point is treated as infinity, and "equalities" are really just checking that the two numbers are really really close together.

[@mcmonkey26]

@@insouciantFoxbut .999… does equal one. they are the same. not just indistinguishable, not just effectively the same.

[@GabriTell]

Strictly... no. When I think about the limit of something, I prefer to think of it as the parameter that takes the "hypothetical lowest difference to the given number". I call it "hypothetical" because technically there isn't any real increase lower than other. Nevertheless, math rules allow us to work with any number as we want as long as it performs like a "number" (even if it doesn't even exist). Which allows us to make a legal move in which we pass a number for the giving one but following previous or subsequent numbers' rules (in a nutshell, making the limit).

[@outmyskiessmarg460]

I loved this video thoroughly and I understood none of it

[@v3le]

wow! very impressive video i guess (but supposed to be educational)

[@locutusdborg126]

Me three.

[@CGoldthorpe]

If you loved I assume you did not understand it!

[@henryparker3420]

Here it is: There's not always just one way to solve a problem, but it can be hard to know which ways will lead to the most useful mathematical conclusions. Mathematicians try to avoid leaving out any possible solutions by making as few assumptions as possible. (For example, If I *assume* that the only way to mars is by rocket, which is a valid assumption, I have already left out teleportation just by assuming something). In this case, we assumed that there is only one way to find the distance between two numbers, and it turns out that there are multiple ways to do that. He explains one way to define distance at the end, and this way of calculating distance leads to the conclusion that 2+4+8+16...=0.

[@csm5040]

Henry Parker. Now I feel a little bit better xD

[@Lamassu112]

My engineering school destroyed my love for maths. KZbin restored it. ❤

[@mr.clickable3899]

was it univeristy or engineer technology school? that is big diffrence

[@btdpro752]

SIMPLIEST COMMERCIAL really? What is it

[@benjaminlavigne2272]

it's not just KZbin. it's also the creators ! :D

[@bigbox8992]

There were math in times of war.

[@rg5113]

Can someone explain this to me? At 6:42 you say 1/(1 - p ) = summation p going from 0 to infinity p^n. But isn’t it only true if |p| < 1. That’s what I learned in my math class. Why do you say that we can plug in any number at all?

[@GeorgWilde]

10:50 Completely lost it. I have no idea what the rooms mean.

[@arunjosephshadrach9539]

Confusing indeed. A gist is that you define numbers based on what he says. Meaning you could say that even the addition of 1 + 2 does not give 3(as per the way he defines) You define numbers in an entirely different way. You won't need this nonsense if you are not a mathematician. Edit: read the reply(long one)

[@EebstertheGreat]

@@arunjosephshadrach9539 1 + 2 = 3 in any p-adic metric. Addition of rational numbers is still done in the normal way. However, the distance between two numbers is no longer given by the absolute difference. That doesn't matter for rational numbers, because they are defined in a way that is independent of their metric, but it does matter for irrational numbers, since they are defined in terms of the limits of sequences, and the limit will of course change if our idea of distance changes. In this video, you saw that using the normal ("Euclidean") metric, the series 1+2+4+... diverges. But using a different metric called the 2-adic metric, it actually converges to -1. Each partial sum is still the same as what you would expect (1, 3, 7, 15, ...), but under the p-adic metric, these numbers get arbitrarily close to -1. In the Euclidean metric, to find the distance between two numbers, we subtract and then take the absolute value. So for instance, the distance between 3 and 7 is |3-7| = 4. In the p-adic metric, to find the distance between two numbers, we subtract and then take the "p-adic absolute value," where the p-adic absolute value of rational x is |x| = p^-n, whenever x can be expressed as x = p^n(a/b), with a and b integers that are not divisible by p. So for instance, the 2-adic absolute value of 1/6 is 2, because we can write 1/6 = 2^-1 * (1/3). In other words, the largest power of 2 that is a factor of the denominator is 2^1, so the 2-adic absolute value is 2^1. Similarly, the 2-adic absolute value of 20 is 1/4, because we can write 20 = 2^2 * (5/1). Thus the distance between 3 and 7 is not 4 in this case but |3-7|_2 = |-4|_2 = |2^2 * (-1/1)|_2 = 2^-2 = 1/4. Just as with the rational numbers under the Euclidean metric, we can define when sequences of rational numbers "converge" (or technically, are Cauchy) in the p-adic metric. We can organize these sequences into equivalence classes, where they are equivalent, loosely speaking, if they should converge to the "same number" (though we haven't necessarily defined the value they actually converge to yet). We call each equivalence class a p-adic number, an exact analogy to the real numbers, and apply the same sort of reasoning but using this strange metric.

[@scian8929]

@@EebstertheGreat you are a god, I broke my brain a few times but I finally understood, thanks !

[@Ochnokama]

@@EebstertheGreat I was lost here too, thank you for your explanation !

[@pedroivog.s.6870]

13:58 "Now this sum makes totally sense" Me, still stuck on why the powers of 2 are approaching to zero: O_o

[@ChristAliveForevermore]

Add up the first 15 or 20 elements of the series individually. You'll see that the sums fast approach 1, eventually going up to 0.99999..., which, as he pointed-out, thanks to how mathematicians define a 'limit', is equal to 1.

[@user-dh8oi2mk4f]

@@kcnl2522 That's a different part of the video

[@wasp89898989]

You're my new favorite KZbin channel. Please don't stop!

[@philiphunt-bull5817]

I don't get it... Like, any thing from the "rooms" part onwards.

[@atimholt]

You know how 0.99999… equals one, and how, conceptually, any number can be thought of as having an infinite number of leading zeros? It’s *kind of* like the 0.9999… thing, but in the other direction. But it only works with prime bases, like base 2, 3, 5, etc.

[@madhououinkyoma]

@@atimholt this is not helpful..

[@nin10dorox]

You're not alone. I think that this explanation isn't quite as good as his newer videos. It reminds me of "surreal nunbers", which I heard about from Numberphile. I dont understand them, but they might be what he's talking about.

[@LynX2161]

I feel you bro, Here I am looking at the comments after he started talking about rooms

[@user-en5vj6vr2u]

I guess I could have understood but I didn’t know the point

[@szymek1567]

I do not usually rate videos, nor taking comments, but this... I haven't seen such inspirational video on youtube for years!

[@RedHairdo]

+szymek1567 Indeed.

[@AdvaitSaravade]

Quite true.

[@mpperfidy]

This, I find, is the earliest 3b1b video I've seen. It's refreshing to hear that Grant hasn't always been both a math teaching wizard & a master of perfect audio presentation. But he's still and always has been a math teaching wizard. Much appreciated.

[@phscience797]

The only understandable thing I learned througt this video is: 'If you think that something doesn't makes any sense, you probably only use the wrong definitions.'

[@dieterklaus4717]

PHScience this actually comes relatively close to what he is actually saying

[@kjl3080]

Then, dividing has the wrong definitions since you can’t divide by zero

[@alekisighl7599]

@@kjl3080 Or maybe zero has the wrong definition?

[@anaskarkout8871]

This is just a linear transformation... Changing the definition of distance between two numbers actually changes the meaning of the numbers. We are no longer saying that "15 apples are 14 apples more than 1 apple." The change of distance definition inevitably changes the meaning of addition. So, yes, we can definitely define any distance function and by doing so define a new mathematical dimension where numbers no longer represent real-life quantities, rather quantities that only make sense in that universe, but can be linearly transformed to the universe we understand. In this video, 1 + 2 + 4 + 8 + ..., is no longer equivalent to the sum of increasing positive numbers on the number line. The way we divided numbers into rooms and sub-rooms and sub-sub-...rooms makes 1+2+4+8+... in this coordinates system equivalent to this: 1 - 1 - 1/2 - 1/4 - 1/8 after doing a linear transformation back to the real-life coordinates system. We have to define whether going from a number to a number on the right means adding or subtracting the distance, because dist(x,y) = -dist(y,x). This video assumes that distance from 1 to 0 is -1 (going left means subtracting), which makes this straightforward. Distance between 1 and 2 is -1, distance between 2 and 4 is -1/2, distance between 4 and 8 is -1/4 and so on... so from the starting term of the sum "1" we get: 1 - 1 - 1/2 - 1/4 ... and that's how 1/(1-p) when p_new_coordinates = 2 converges to -1. Because p_new_coordinates = 2 === p = 1/2 where the sum is actually a negative sum, and n starts at 1 not 0. If we assume that distance from 1 to 0 is 1 (going left means adding), then we have to divide numbers between rooms differently, because in this system, distance from 0 to 1 is going right (negative), but from 1 to 2 is going left (positive) which means dist(0,1) =/= dist(1,2). Side not, this system has no meaning of "infinity". 0 takes out the place of the smallest number, and -1 takes out the place of the largest number. The greatest distance between two numbers is 1 and the smallest distance is dist(x,x) = 0, which really helps imagining it, again, on the number line where all numbers fall between 0 and 1. It's also a spherical system, where each number is the center of the universe.

[@missbond7345]

If these numbers dont really mean 1 and 2 in the transformed room then they should probably tag it with something else. Otherwise it gets confusing since 2 actually means something in the physical word and addition of 2 and 4 means something as well. If 2 and 4 in the distance space could be re-interpreted then prob they should add a symbol. Like saying 1g+2g+4g+8g.... approaches -1 and then the g like complex numbers denote the transformed entity where it belongs.

[@kosatochca]

missbond the interesting thing about these new numbers is that we discovered them very casually without groundless assumptions. So noting them the same way is to show the intricate connection between real numbers, infinite series and p-adic numbers

[@georger.2036]

This great explanation makes sense and should be incorporated into the video. The video fails to explain that concept which is important.

[@5gonza541]

Jorge R. Agree

[@tychophotiou6962]

This is the best comment I have seen. Obviously a hidden deception is going on which most people ignore because they think "I'm not clever enough to understand this and because he is cleverer than me he must be right.". OBVIOUSLY the conclusion is bullshit and it shows that if you are clever enough you can convince the masses of ANYTHING!

[@Meow_yj]

I'm grateful that I found your channel ! It makes math ideas look so beautiful and elegant. Especially linear algebra series.

[@xot9897]

I was fine until he started on about rooms 😭

[@pedroivog.s.6870]

You're not alone.

[@bjordsvennson2726]

Think about it this way. You want a distance function that has all the abstract properties of the regular distance function. Shift invariance, triangle inequality, etc. In a sense, these properties are what defines the distance function as what it is, not the technical details of how it is necessarily defined or how we normally understand it working. If any distance function has these properties it can be used in the exact same way as the distance function in terms of logic and proofs. We are looking for generality, and the we can generalize the distance function as a family of functions with a certain set of properties essentially. In the video is a visualization of a logical system to define a function that has these such properties. It doesnt matter as much if you dont understand the technical details of how this is working, as long as you understand the goal, I'd say.

[@rangerwickett]

@@bjordsvennson2726 So did he arbitrarily choose what numbers go into which rooms? I don't understand why he put the numbers where he did.

[@bjordsvennson2726]

@@rangerwickett he constructed the left hand side of the "rooms" such that powers of 2 would converge towards zero in the left hand subrooms. He then constructed the right hand side in accordance of the rules of shift invariance. As a consequence the numbers 1 less a power of 2 approach -1 in the right hand subrooms. Then with this sequence of numbers divided into smaller and smaller rooms he uses it to define his distance function. If you watch the video again you will notice that as he's describing the definition and highlighting numbers, given the definition the distance ends up being the inverse of the distance we would normally assign it if both inputs are positive. E.g. dist(5, 7) = 2 normally and 1/2 in this system. This is a complete redefinition of distance, but since it had the same properties of shift invariance by definition, it will behave in the same abstract way. However, in the specific way he constructed this distance function, it makes sense that powers of 2 add to -1.

[@limenpepper]

@@rangerwickett I'd say the choice of arranging the numbers into rooms was an arbitrary choice for the ultimate purpose of making sense the nonsensical equation. but despite this arbitrary choice, the arrangements of numbers in relation to each other is consistent.

[@jesperdj]

Being a software developer, this immediately made me think of two's complement - how most computers represent integers. An 8-bit byte with all ones (1 + 2 + 4 + 8 + 16 + 32 + 64 + 128) represents -1 in two's complement, likewise a 16-bit or 32-bit word with all ones is -1, etc., you can extend this idea to a word with infinitely many bits that are all 1 to represent -1, so 1 + 2 + 4 + 8 + ... = -1 makes sense from that perspective.

[@ontoverse]

You can extend that idea much further; if we consider "2-complement" to be a multiplicative operator that projects from positive to negative numbers, and take (ω+1) = -2, (ω+2) = -3 and so on, we have an additive subgroup that is precisely Z with addition, ie we have defined negative numbers as a function of infinite sums of positive numbers! Interestingly, in this notion of numbers there is only one type of infinity: uncountable infinity. N can count the elements of R! To be fair, it's counting equivalence classes of equal area, but it's valid. If rather useless.....

[@potatopassingby]

that immediately made me think of the theory that we live in a computer simulation.

[@MrEvilNES]

It's like an infinite overflow xD

[@ineednochannelyoutube5384]

@@potatopassingby Of course it would look like we live in a compuiter simulation when you redefine the real number line into the one clmpuiters use...

[@sorinpepelea]

Very practical.

[@adityasankar274]

Mr. 3Blue1Brown, how do you understand these concepts so deeply and innately? How did you study math and from where did you develop such deep understanding of the subject? We're you inspired by your teachers? Your videos bring me the greatest joy. I am in awe after each of your videos. My eyes are filled with tears to see such beauty unravel out of a seemingly simple idea. Thank you, please keep inspiring.

[@Safwan.Hossain]

The fact that he can explain these concepts perfectly to a layman only makes your point stronger. For one to explain complex concepts in simple, concise way, they must have a profound understanding of what they're talking about, which Mr. 3blue1brown clearly demonstrates.

[@AyushKumar-oo2zu]

The teachers were inspired by him

[@fgorn]

True. I feel the exact same way, and I feel love for the subject, and an understanding that I could never even concieve of before, all thanks to Mr. 3Blue1Brown.

[@RieMUisthegoaT]

1.Go to university 2.study 3.??? 4.get a phd in mathematics 5.read a shitton of books 6.??? 7.now you are a mathematician

[@shreeganesh9962]

Call him Grant.

[@1997CWR]

I like your Grahams Number reference!

[@MarkGingrass]

I saw that too. Nice!

[@theriversexitsense]

1997CWR i dont

[@SinclairLocke]

Search Graham's Number Numberphile

[@UltraLuigi2401]

g(g64) ahhh i just don't want to think about that

[@apocryphonnill1180]

At 3:44

[@chandradoychatterje]

In my opinion the reciprocal sums are so profound and beautiful, that it really makes me to ponder if I do really understand mathematics. For my profession as an experimental particle physicist I have learnt substantial advanced mathematics. But honestly, our courses have brutally killed the core beauty of the mathematics itself. I don't blame the courses as our primary focus were just an application of the subject and use it as a tool. I remember in our post graduate course our professor who was teaching us Riemann Zeta function apologized to us for not being able to demonstrate us its entire beauty. He gave us an example like, we draw certain geometric drawings on a piece of paper for having a perception of physical things, but; those drawings are definitely not piece of art. Although, both are made just the same way; some scratches of a pencil. I don't remember his exact words, but his points were clear. Congratulations to you for your brilliant effort in spreading the art of mathematics to the world.

[@tomasouzaheuert]

10:40 that random volume increase was weird

[@SYFTV1]

it is for you to wake up

[@tvboxdoscarvalhoslucascare3477]

SYFTV1 mama aqui uiuiuiuiaiaia

[@SYFTV1]

@@tvboxdoscarvalhoslucascare3477 exacto v:

[@fahrenheit2101]

It's because this is where the video gets intense, so you need to concentrate.

[@theuser810]

For the 1/2^n infinite series, imagine them as binary. 1/2 = 0.1, 1/4 = 0.01 and so on so forth. The sum would equal 0.111111... (let's define this as S) 2S = 1.1111.... 2S - S = 1

[@codingforest7442]

How 2S = 1.1111.... ?

[@lmfao6125]

@@codingforest7442 in binary, multiplying by 2 (represented as 10 in binary) is the same as shifting every digit in the number to the left by 1, just like how multiplying by 10 in decimal (which is base 10) is the same as shifting every digit in the number to the left by 1. so when you multiply 0.111111... by 2 (represented as 10 in binary), you just move every digit one to the left, so it becomes 1.11111...

[@theuser810]

@@codingforest7442 In binary, multiplying by 2 shifts everything a digit left, like how multiplying by 10 does so in decimal.

[@aksharasbhat6480]

@@theuser810 you should have multiplied by 10 (2 in binary)

[@codingforest7442]

@@theuser810 ok I got you now, thx.

[@PaoloPolesana]

This is the best math video ever! That's because you did not just plainly explained a charming math fact, but you guided us to your (interesting!) idea of what's mathematics. Thanks!!!

[@satyenpandita6848]

Thank you for this brilliant illustration. My first instinct was this is completely wrong but I never thought about that I had been constrained in think about distance between numbers in the traditional linear fashion and that if we change the notion of distance, some very counterintuitive results make sense.

[@samirkaushik8863]

It is one the greatest pleasures to derive stuff which are mentioned in books as formulae without any background. Whenever I do it, I feel more confident in mathematics.

[@grainfrizz]

Does this mean that as we approach infinity, the size of my laptop's RAM will be -1 gig?

[@zekrinealfa1113]

no, because it is based on the number line, also talking about physical things makes no sense in this context

[@grainfrizz]

+Zekrine Alfa wow. thanks for that simple explanation! make sense to me now. but isn't -1/12 found in physics, which is about physical stuff? how come this is different?

[@zekrinealfa1113]

I don't know, I have nit gotten to that yet in college, the only think that I can say is that infinite ram is unlikely, also ram is not an infinite sum it is 2 to the power of something

[@zekrinealfa1113]

Not*, thing*

[@jacobkrebs5026]

Daniel Astillero no because this video the math is wrong. You can only use the formula 1/(1-n) for any sum->infinity if the value being added falls 0

[@henryginn7490]

This was the one video I didn’t really get, but now I’ve covered metric spaces at uni it makes more sense. Most people are lost at the rooms, and to try and explain a bit better, it won’t make sense with the usual way of thinking of distance.

[@madkirk7431]

It feels like, as the inventor said, "OOGA BOOGA"

[@minleyfox5231]

Is it you Patrick?

[@thatguy3369]

Then god said “let there be analysis”

[@-Timur1214]

And I hate it. It started so easy and like the next week I have to proof the rational numbers and the week after prove that the complex numbers consist of some Cauchy sequence and body/ring rooms AND I DONT EVEN STUDY MATH

[@YasuoMidOnly]

Timur1214 oh no Im starting after christmas break, tgen this video popped up. Should I be scared

[@-Timur1214]

Yea you should know that already at the beginning you have to study a lot of new math. But if you already know physics (assuming you study physics) then you can atleast focus on learning the new math while physics is so easy that you can neglect it at the beginning. Also right now, after 2 months it became way more chill. Though for analysis I have to learn in the holidays now ^^' If I could go back I would have focused more right at the beginning and made sure I understood everything from week 1 and not thought "ah I'm gonna learn it with the time anyways", thats true but now it's kinda unpleasent to ask stuff from 1-2 months ago xd

[@thatguy3369]

Donut be afraid just let the math gods guide you and everything should be trivial....

[@anymaths]

watch my maths videos to learn something.

[@XoIoRouge]

7:37 I read it in iambic -pentameter- trimeter and now I need a modernized Shakespearean play about mathematics.

[@isavenewspapers8890]

Wouldn't it be iambic trimeter?

[@XoIoRouge]

​@@isavenewspapers8890I actually like your necro post. You've corrected my mistake (which I've now edited in) but you've also reminded me of this video that I haven't seen in 3 years and an enjoyable concept of poetic math. Thanks.

[@frenzscivola3099]

BEST CHANNEL EVER

[@muzammilhalim3188]

ditto

[@BobbyAlter]

ditto

[@quarkyquasar893]

Pikachu

[@zacksima8333]

Yes

[@Ricocossa1]

I'd never noticed the poem at 7:41. It's lovely! :D

[@NicholasMarshall]

I had difficulty distinguishing between the colors of the boxes. I found the topic interesting, and will be reading more.

[@Monkeuyy]

Me having a sudden unexplainable urge to watch a math video at 2 am in the morning

[@Samir_Zouaoui]

i can relate .

[@Firefly256]

Yup

[@safwanshahriar4108]

I'm literally reading your comment at 2:03am.

[@diatonicdissonance]

as opposed to 2 am in the afternoon ?

[@Xayuap]

@@diatonicdissonance 3:46

[@madkirk7431]

3B1B: rooms Everybody: *visible confusion*

[@kelvin31272]

Grant, this is one of the best videos I've ever watched. It just clicked why 1 + 2 + 3... and so on, = -1, when you imagine the idea of sub rooms (although it was kinda weird to think about). I love it. That in of itself, I find, is the coolest thing I've ever seen. How amazing!

[@jaafars.mahdawi6911]

i just can't stop coming back and appreciating this masterpiece!

[@Mathologer]

Great video!

[@kurumi394]

Oh hi Mathologer! I watched your video about this topic as well, great video!

[@Liridiona]

Lol you said 1-1+1.... does Not equal 1/2

[@kairostimeYT]

1. Well, he is right in that case. However, it's super-sum is 1/2 though. 2. How does that make you laugh out loud? @Lirie Aliu

[@Liridiona]

lol it is just a habit sorry

[@Liridiona]

I man't to say that saying "lol" is just a habit

[@TheFerdi265]

I really love the way this "Generalizes" the Two's Complement to an "infinite" number of bits.

[@vko7059]

One of the best videos on the internet.

[@GlorifiedTruth]

This popped up a zillion times in my "recommended for you" list. Finally I relented and watched. I am very glad I did. You have a great way of explaining... who knows, with profs like you, I might have gone a little further in higher math.

[@marksmod]

scratches the surface of the tip of the iceberg floating in the sea of secrets on an alien planet

[@samuelgarbergs8901]

The sum of all powers of two also equals - 1 in signed binary numbers

[@samuelgarbergs8901]

@@nycki93 cool

[@Onaterdem]

@@nycki93 Python is a Godsend

[@loganrussell48]

@@nycki93 Most other major languages have incorporated similar implementations, such as BigInteger in Java

[@parabirb]

@@loganrussell48 don't forget BigInt in JS

[@smyrnianlink]

@@parabirb COBOL had that in 50s . It is called the decimal data type.

[@AkshatSinghania]

I WAS LOOKING FOR THIS VIDEO SINCE LIKE 2 MONTHS AND BRUH THIS VIDEO WAS ALREADY MADE LIKE 6 YEARS AGO , thanks 3blue1brown for the video :))

[@AntiCitizenX]

Math is all about making up rules and definitions, then following them to their logical conclusions.

[@DuckRiceFarmer]

AntiCitizenX Beautifully expressed

[@thecomicindex4673]

Calculus can help innovate! here's a simple derivatives vid (easy) kzbin.info/www/bejne/epibeZqBf9msn68

[@OH2az2]

Philosophy, too.

[@Drigger95]

Nice, you you're an anti-realist? So that means the KCA is correct? Checkmate.

[@SupremeError]

And the absolute most beautiful part of it is those logical conclusions NEVER end up wrong when we fact check them in real life. That is in no way trivial and tells me that there is some solid, grounding logic governing our universe.

[@baltakatei]

Just casually dividing by (1-p), officer. Perfectly legitimate, I swear.

[@YellowJelly13]

As long as p isn't 1 it's all fine!

[@lorenzosarria3359]

5:49 Smaller than 1 Si its ok

[@ДенисКолесник-й6ш]

I cant understand, when you sad "p must be 0

[@wessydafall]

I agree. That is where I lost confidence in this "proof"

[@MuffinsAPlenty]

I mean. That's the entire point of the video. I would suggest rewatching the video, keeping in mind the point of the video (the title tells you the point), and paying careful attention to what Grant says.

[@VikeingBlade]

That's the point -- what if it *did* make sense for p > 1 or p < 0 ?

[@illyon1092]

and that's the rigor he was referring to. Certainly, in our image of numbers it doesn't make sense. So how do we /make it/ make sense? And there we go.

[@florinburian7291]

He just goes through the different cases. Even if they don't apply, leading to a convergence The case of apparently leading to 1/2 or 0.5 is interesting, because you can group the elements of that sum into 0, and 1. And if you would try to see the * average * of all these present elements Its 0.5

[@wildbillgaming6596]

This is the best math video I have ever seen on the internet!

[@Alfetto8]

What a beautiful video. I came here one year ago and I thought I was getting it. Then, coming back here now with more proof-based math knowledge and having seen some of the concepts already, it makes so much more sense. I am curious to see what I'll get from this video one year from now :)

[@AshrafAlHaqq]

What did u get now

[@Spy_Complex]

Contentwise a good video - if you could improve your mic quality it would be perfect

[@3blue1brown]

+Ubermensch Man, I don't know why sound quality wasn't something I cared enough about back then. Trust me, all future videos will be made with a good mic.

[@aryann2525]

Your doing a great work buddy !

[@bored_person]

+3Blue1Brown I would also recommend some acting lessons and/or voice training.

[@sketch4363]

It feels pretty good. I came up with tetration (the operation higher than exponentiation) on my own before finding out other people already thought of it

[@medunco]

I watched this yesterday and came back to it, trying to work out the part where 1 is split up into p and 1-p, so on. Then I realized why the sum of 2^n = -1 is so strange. The original and only sensible assumption is that 0

[@ptr_does_music7042]

God finally somebody tried to make sense of this. I'm looking at your comment again after I digest the video lol

[@YuvrajBachira]

Does this means we can't put p=2 as it was said that 0

[@toolbgtools]

actually point of video is, we got (1-p)+p(1-p)+...+p^n = 1 for 0

[@Domo3000]

That's the whole point of this video. He himself says that the function only makes sense for values 0

[@greenybeany8001]

In a way, once they reshuffle things into that 2-adic system, 0

[@Tomyb15]

I wonder how many other useful things in math are waiting to be discovered/invented but may be never found because our common sense doesn't let us see in these very abstract ways.

[@macpr0c]

I think you leave your common sense when you first enter a calculus class :P I wonder how mathematicians actually approach creating new theorems where do you draw the line of absolute absurdity and brilliant creativity

[@EraLily]

Common sense? Normal people have that?

[@chrvberg]

In Two's Complement representation of signed integers, this equation becomes somehow clear: E.g. the binary number 11111111 represents -1 in signed 8-bit integers. The only difference is, that summation is not infinite.

[@Pablo360able]

But as the number of bits approaches infinity, the summation which adds to -1 approaches 1+2+…+2^∞

[@ptr_does_music7042]

No..in two's complement the largest term is NEGATIVE (it represents -2^(n-1)) that's why the total sum can be -1.

[@saicharanmadem267]

We can use formula a/(1-r) for sum of infinite gp series when r1

[@Baseguy100]

That g(g64) killed me... I was like oh yeah graham's number. Oh wait thats the number of g's...

[@zuzusuperfly8363]

+Kane Angelos Ouch, my mind.

[@666unknowndevil666]

+Zuzu Superfly I know right? The fact that is was in the denominator made it even more unfathomable to me.

[@JamesSmith-ek1or]

+666unknowndevil666 it hurts to even try to comprehend it's vastness

[@mike4ty4]

+Logan Retamoza Or since it's in a denominator, its _tininess_...

[@rbdoppler7841]

+Kane Angelos I couldn't really comprehend it, so I just saved my brain and said, "Yeah that's basically 0." 1/(g(g64)) is so ridiculously tiny.

[@arkomitra9453]

I'm confused

[@LARAUJO_0]

When I saw the equation at 7:56 I thought you were going to explain that the result being -1 meant that the sum would always be 1 less than the next power added to the sum. I didn't expect you to invent a new way to arrange numbers to visually make sense of it.

[@ABera-bm7ns]

This needs way more likes. Most underrated video in 3Blue1Brown

[@lorenzosarria3359]

When I saw 1+2+4...=0, my idea was thinking of powers of 2 as being how many times you can divide by a power of 2 and get an integer, and the equation simplifies to 2^infinity=0, which makes sense, because 0 is the only number you can divide by 2 infinitely and always get an integer

[@no-body-nobody]

woah big pp confirmed

[@lagduck2209]

using p-adic numpers, I've discovered there actually exists cardinality between N0 (aleph-null) and N0pow2(aleph-one) (and it's actually (phi)pow2< clearifying it's connetction to ultimate phibonacci's pattern). I have really elegant proof for it, but it's too large to fit in this comment.

[@lagduck2209]

(actually, I meant N0, 2 pow N0 and phi pow N0)

[@lagduck2209]

(so Continuum hypothesis is false)

[@FraktaleFatalitaet]

Could you please somehow put that proof online?

[@lagduck2209]

I'll try; that proof is actually in russian and in form of 7 hand-written draft-like pages; need to formalize it and bring to well-founded form.

[@lagduck2209]

until then, it's no more than a Fermat's joke about his great theorem

[@Т1000-м1и]

5:30 that moment felt like a cartoon about mathematicians trying to solidify stuff to beat other mathematicians over the opinions of does that concept make sense. My comment certainly doesn't but the general idea is here. Tbh I kinda described real math with a contrast filter.

[@nenmaster5218]

My silly hobby is to recommend science-channel to my fellow science-fans. Mind?

[@krishgarg2806]

Sum of an infinite GP is defined as a/1-r for -1 < r < 1. a is the first term, r is the common ratio.

[@PanDiaxik]

An interesting thing about this is that the idea that 1+2+4+8+16+...=-1 is used to represent negative numbers by computers. If you have 8-bit signed number, you assume the that the most significant but continues forever (when you convert 8-bit number to 16-bit number you fill missing bits with the most significant bit of the 8-bit number) do for positive numbers most significant bit is 0 and repeating it forever doesn't change the value, but for negative numbers if you have for example 11110000, it's 16+32+64+..., which is -1-2-4-8+1+2+4+8+16+... which is -1-2-4-8-1, which is -16 any that's the number that is represented by 11110000.

[@guycomments]

This isn't just about math. Your diagram at the end is fundamentally how we interface with reality as such, in all fields and practices.

[@nenmaster5218]

Hello and Aloha! My silly hobby is to recommend science-channel to my fellow science-fans. Mind?

[@grapesalt]

This whole video summarized in one sentence 'I don't need sleep, I need answers.'

[@BradyPostma]

The content of this video is a delight, but MAN! the audio editing is all over the map!

[@mandolinic]

In a computer integer value, each value of 2^n is stored by setting bit n to one (counting from the right and regarding the least significant bit as bit 0). So adding together all the powers of two you get a word which has all bits set. But, in the two's complement system used by computers, a word with all bits set has the value of -1. Presumably a weird coincidence.

[@3blue1brown]

+Mandolinic Great comment, it's actually not a coincidence! When you're representing integers with n bits, in a sense you are working not with integers but with integers mod 2^n. This is because as you increment from 0 upwards you will be forced to roll the meter back to 0, so to speak, once you hit 2^n. The reason the word with all bits set to 1 nicely represents -1 is that -1 and 1+2+4+8+...+2^{n-1}=(2^n)-1 are congruent mod 2^n. Notice, this means they are very close to each other in a 2-adic sense. As you let n tend to infinity, the words with all 1's are essentially representing -1 in a more and more encompassing representation of the integers, which makes the infinite sum feel a bit more reasonable.

[@RedHairdo]

Mind = Blown

[@kikones34]

+Mandolinic While trying to understand the representation of p-adic numbers, I realized that too. For some reason it made me so happy to see such a strong relation between two matters which I thought had nothing to do with each other! Math never ceases to fascinate me with the level of abstraction it manages to accomplish.

[@ArnabAnimeshDas]

Nice observation you got there

[@douggwyn9656]

Actually two's-complement is not the only representation that has been used in computers. That's why the standard for the C programming language allows also for ones-complement and signed-magnitude. I've encountered all three architectures; there are pros and cons for any of them.

[@RH-ro3sg]

Creating new math, being the first to prove something, felt great and exhilarating in my experience, even though I have done so only on a very modest level with a few fringe results during my master and Ph.D. studies, nothing even remotely approaching the level of maths shown in this video.

[@ishaanlohani5326]

3:57 As a first time endeavour, is actually incredibly clever... -3blue1brown

[@Abhi-jd5tn]

holy shots i gotta note that down

[@harshkale9390]

Holy shitt 😂 You should j

[@jossefyoucef4977]

I have never been so engaged and challenged in a math video like this, legit thought i was in a classroom. There was even a point where i got things confused that I used his room drawing/explanation to understand the wrong formula (1/2+1/4....) And somehow made it make sense as in half room distance+quarter room distance i.e sub-sub rooms all approach one (or it's position). Dunno if that's true or not. But all in all this a very enjoyable and challenging learning experience.

[@antoniusnies-komponistpian2172]

I thought you would talk about residual class rings, but p-adic numbers seem even more exciting.

[@Rebel_Guy]

I sub-sub-subbed

[@analuisafeitosa4882]

Ok I got lost when he started talking about the room stuff

[@PamSesheta]

I love that I found this during an unrelated search learn invent cycle. Thanks for your hard work

[@mr.cheese5697]

0:44 I have been on this one, when in school we were told on concept of fractions. It was truly fascinating experience to discover concept that in between of 2 unequal numbers there are infinitely many numbers.

[@mohit6925]

at 06:55 value of p is taken as -1 but in the derivation, we restricted p to be in between 0 to 1

[@adrianordp]

I don't get why people just ignored that restriction. No wonder why math gone wrong after that. Any minute after ignoring that restriction is just for fun and cannot be taken seriously, at least as far as I understand how math works.

[@Anmol_Sinha]

@@adrianordp I am not a mathematician so take it by a grain of salt. p was indeed given a restriction that it must be between 0 and 1. But, as said in the video, we simply arbitrarily chose the numbers in form of a line where the numbers 2,4,8 etc cannot be in-between 0 and 1. For generalization, we openly accepted other possibilities and cases such that the powers of 2 actually fall between the values of 0 and 1. This case, depicted by rooms is known as 2-adic systems which differ from our normal number system(line). We didn't violate anything as we have followed the fundamental rules used to construct the system of representation which was the distance function. The formula still holds as in this new system, all powers of 2 are between 0 and 1. (You will be correct if you argue that this doesn't approach -1 in the conventional system. We only claimed that it's true for a different system.) and we did all this because we are supposed to think as a mathematician here and must always remove arbitration and generalize our findings. P.S. I agree with you that most people(non mathematicians) who would work with it would do it for fun and do not take it seriously.

[@shirobitoo]

Anyone taking a calculus course needs to watch this

[@iconsworld9]

the background fiddle music, sounds good. Sounds like backstage before start.

[@zairaner1489]

You should probably revisit p-adic numbers one day, even as an excuse to talk more about metrics and convergence