The Infinitesimal Monad - Numberphile

More mind-bending math from the world of the infinitely big - and infinitesimally small.
More links & stuff in full description below ↓↓↓
Featuring Professor Carol Wood from Wesleyan University.
More from this interview: • Infinitesimal Monad (e...
Infinity is bigger than you think: • Infinity is bigger tha...
CORRECTION: In the graphic, ∈ n N should read n ∈ N - apologies... Animating error.
Support us on Patreon: / numberphile
NUMBERPHILE
Website: www.numberphile.com/
Numberphile on Facebook: / numberphile
Numberphile tweets: / numberphile
Subscribe: bit.ly/Numberphile_Sub
Numberphile is supported by the Mathematical Sciences Research Institute (MSRI): bit.ly/MSRINumberphile
Videos by Brady Haran
Brady's videos subreddit: / bradyharan
Brady's latest videos across all channels: www.bradyharanblog.com/
Sign up for (occasional) emails: eepurl.com/YdjL9
Numberphile T-Shirts: teespring.com/stores/numberphile
Other merchandise: store.dftba.com/collections/n...

[@EebstertheGreat]

"Monad" is one of those confusing words that has substantially different meanings in philosophy, programming, algebra, analysis, and category theory. Most of these definitions are barely related to each other.

[@igguks]

+EebstertheGreat Actually the ones in programming and category theory are the same thing. Or at least very closely related.

[@EebstertheGreat]

skuggi Those two are closely related, yes. They are also related to the monad of linear algebra, which can be shown to be a special case. They are however almost totally unrelated to the monads of non-standard analysis and philosophy.

[@2Cerealbox]

+EebstertheGreat Thanks for that. I was wondering what possible connection infinitesmals had to do with Haskell (the programming language, not the mathematician).

[@jasondoe2596]

Well, considering that "monad" is the Greek word for "unit", it somewhat makes sense that it would be meaningful in so varied contexts/domains :)

[@lamudri]

+Ryan N Interestingly, since Haskell is non-strict by default, the type Nat defined by 〈data Nat = Z | S Nat〉 is actually the type of co-natural numbers, and includes infinite element inf defined with 〈inf = S inf〉. One can do things like 〈take 6 $ take inf $ [0..]〉, which will work okay. The real natural numbers are defined by 〈data Nat = Z | S !Nat〉, with the ‘!’ for strictness. A thorough treatment of this is given in Agda, where the distinction between (finite) data and (possibly infinite) codata is important for proving that functions are total.

[@yuridecastro9496]

Her face at the end is just priceless.

[@Yomama5923]

+Yuri de Castro I love the self-satisfied look of a mathematician because they know they just blew our minds.

[@ValDominator]

**rekt**

[@rtyuik7]

+Jonathan Gutsymon its got a lil bit of "yeah...chew on THAT"

[@DarkAngelEU]

+Jonathan Gutsymon I love the self-satisfied look of a scientist because they know they just blew our minds. ftfy ;) She reminds me of my math teacher, she always had that face and I believe she did because there's always something you're gonna discover and just shatter the belief you put in this system. Science is about proving you're wrong, infinitesimally

[@Yomama5923]

rtyuik7 LOL, oh my gosh, yes!

[@tomalator]

whenever i asked my math teachers about things like this, they just say "you cant do that." I feel like i have been lied to.

[@nicholasfazzolari3647]

+Thomas Becker That is precisely the problem with mathematics educators. It would be better to say "Go ahead, but you better be able to prove it.", or "Do you think that someone already proved that? Try to find out!". You know, create an environment where experimentation, learning and competition are welcome. After arithmetic and elementary algebra math starts to break the linear learning pattern. People educating pre-college students should assert that to their students.

[@JedaiFou]

+Thomas Becker I tell my students (high school) that ask those questions (not many of them unfortunately) that "you can extend the reals to have something like that but that creates lots of problems" and that we won't treat the subject in class so if they want to know more to look up the hyperreals on Internet. We often just don't have time to answer those questions in details, plus we risk creating confusion in most students which is damn hard to correct... It is generally better (in a pedagogy for the masses way) to present as simple and straightforward an explanation as possible even at the cost of some inexactitudes. (Which is why Maths teachers will tell you that "nothing" has a negative square before you're introduced to the complex, I try to use "no real numbers" but I'm sure this doesn't make much difference and that I'm guilty of the occasional overreach).

[@jameswhistler968]

+JedaiFou says, "I tell my students (high school) that ask those questions that 'you can extend the reals to have something like that but that creates lots of problems'..." Which problems are you thinking of?

[@JedaiFou]

James Whistler Of course, I'm not really thinking of mathematical problems, but rather that "just introducing" infinitesimals isn't an alternative to standard analysis, you have to introduce all hyperreals (infinitesimals, infinites and other hyperreals) and way to do calculus on them and with them... We may be able to replace standard analysis with non-standard but it's not like non-standard analysis is *that much* simpler than standard. Thus we would have to do a complete replacement and there's no way to introduce properly the hyperreals to high-schoolers in a few minutes.

[@jameswhistler968]

JediFou says, "it's not like non-standard analysis is that much simpler than standard." I disagree. You tell me how you use epsilons and deltas to prove that lim_{x --> 1} 1/x = 1, and I'll show you how to do it with infinitesimals. "and there's no way to introduce properly the hyperreals to high-schoolers in a few minutes." Why in the world should it only take a few minutes?

[@hockeynewfoundland]

At 0:46 the animation says "For any ∈ n N ..." when it should read For any n ∈ N ...".

[@numberphile]

+hockeynewfoundland mea culpa

[@rootofminusone]

noticed that

[@simorote]

+hockeynewfoundland actually they are the same logically speaking, although i will concede that it is an unusual notation.

[@borisjo13]

+simorote For any element of n N? That is just wrong.

[@Clashsoft0]

+borisjo13 x ∈ S is technically just infix notation for ∈(x, S) or ∈ x S in prefix notation.

[@danielellis2874]

I like watching numberphile, most of the concepts i can't even begin to understand, but it feels like it resets my brain and that feels nice

[@CrimsonWingBlackbird]

This is the best explanation of hyperreal numbers that I have seen. Perhaps a video series could be done on calculus, with both the limit definition and the hyperreal definition? That would be pretty interesting.

[@FishKungfu]

Kth!

[@NiacinWaterTaffy]

+Fish Kungfu Kth + 1!

[@carn109]

N*th!

[@Smittel]

(L*sqrt(K)+1)th...

[@john_hunter_]

Knd

[@numberphile]

+Fish Kungfu well played

[@arpyzero]

Oh, axiom of choice, you and your well-ordering!

[@Tassdo]

But this is not a well-ordering, is it? If I take the set {1/1, 1/2, 1/3,...} this does not have a smallest element, just like in the reals.

[@user-hq5fn6yv2v]

@@Tassdo PR0 probably meant that too construct N* or R* mentioned in the video you need ultrafilter lemma. And its proof requires Zorn's lemma, which is indeed equivalent to axiom of choice and well-ordering theorem.

[@sciencoking]

Right in the monads...

[@OlivierFRscooter]

+Dennis W that's pretty clever

[@frtard]

+Dennis W I was just typing 'Kicking math in the monads' when I had this strange urge to scroll down...

[@PowerElemental]

There's a talk on KZbin called 'monads and gonads'. It's about a different kind of monad though.

[@zarikegouws5004]

thank you for the idee

[@mal2ksc]

Weeeeeeeeeee! Monads and strife.

[@villanelo1987]

I think she broke Brady. :p

[@juliaswallow8637]

i think i heared few times cracks from his brains... :)

[@Orenotter]

An easy way to think of these... A line segment has measurable length. A 2-D shape is equivalent to infinity lines, but it has a measurable area. A 3-D form is equal to infinite 2-D shapes. It's area is infinity, but that infinity area equates to measurable volume. A tesseract, likewise, has infinite volume which equates to measurable hypervolume. This isn't just theoretical. It's part of everyday life.

[@RedInferno112]

+Orenotter Cancelling out dem infinities.

[@matthewsnell3789]

I really like this lady and the way she presents things. Her pedagogical skills seem much better than some others that appear on this channel.

[@BuFFoTheArtClown]

Wait... I thought the patriarchy was supposed to keep women OUT of STEM? How did this very intelligent woman slip through our fingers? We need to have a meeting about this immediately. Men, you know where to meet.... See you there! (This is a sarcastic statement)

[@littlebigphil]

+BuFFoTheArtClown To the patriarchy-mobile!

[@aimcfarl]

Yes let's pretend systematic patriarchy doesn't exist using anecdotal evidence and ignoring evidence from large scientific studies

[@jb76489]

aimcfarl apparently we can do that so long as said studies are disproving the wage gap

[@aimcfarl]

Which studies disprove the wage gap, it's generally found to be around $0.07 in like work and that increases as they move to higher positions plus the wage gap is one part of the problem, glass ceilings still exist as does a large amount of sexism and lack of support for parental care (which is a problem for both sexes but women get the brunt of it)

[@littlebigphil]

I'd like to point out that no one needs to prove that the wage gap isn't due to sexism. The burden of proof lies on those who claim it is due to sexism.

[@NikolajLepka]

Here I was hoping this would actually talk about monads... in the category theory sense of the word

[@garethdean6382]

Finally! It's near impossible to find a layman's discussion of monads out there. Also, 4th. (I missed out on that bronze medal by *this* much!)

[@VoltzLiveYT]

+Gareth Dean You're probably thinking of a completely different class of monads.

[@garethdean6382]

VoltzLiveYT No, and that's the problem. I was introduced to these through a convoluted path starting with a Sci-Fi book, but when younger me wanted more information all I got was programming and philosophy.

[@VoltzLiveYT]

Gareth Dean That is exactly the misconception I had assumed you had. Monads in FP are different from Category theory are different from number theory.

[@garethdean6382]

VoltzLiveYT It was headache-inducing when I didn't know there were mathematical and non-mathematical uses of the word. Here was this mindblowing concept that I wasn't quite sure about, but it was math of some kind. I rush off to Wikipedia, the only source of information back then... to find an article about creation theories. Had I got the name wrong or just seriously misunderstood that book? It was years before I encountered the concept again under another name. It's nice to have this video to point to if ever the subject comes up again.

[@MarioWenzel]

+VoltzLiveYT Actually, FP monads are the monads from Category theory

[@juliusreiner5733]

I was trying to think, how is there a numberphile video I haven’t seen. I started watching in 2013 and went back and saw them all and have watched them all since. Turns out this one was dropped on my first day of college, when I was enrolling as a pure math major in large part due to this channel!

[@BlinkLed]

This has got to be my favorite area of mathematics. I love being able to measure infinitesimals and infinities, saying with certainty how much bigger one is than another.

[@djyotta]

Now I understand why it's so important to scale your infinitesimal correctly when integrating.

[@stumbling]

I love this stuff! I feel compelled to testify on behalf of mathematics and computer programming. It is programming that really got me interested in mathematics, and I would encourage everyone to learn programming as it provides an outlet for so many interesting and useful things. I was always fairly good at maths but it always felt like a chore at school and I had no inclination to study it in my free time, but then I started learning to code and quickly found my limitations. I couldn't reach into the monitor and mould the worlds I wished to create, I had to do so from afar, I had to learn mathematics to reach into this realm that alone I could not penetrate. This is the same limitation that the first astronomers must have felt, they could not reach the stars but for the aid of mathematics. Programming has shown me the power of mathematics and its true nature as a tool to achieve what otherwise would be impossible or incredibly laborious. I have not ventured very far into the world of mathematics but already I am amazed at what I have found, and with programming I am able to witness the effects with my own eyes.

[@xoblyxanier]

Great video! I like the amount of your questions you left in. Neither too many nor too few.

[@Blazagg]

Great video, I'm always interested when it comes to math becoming somewhat philosophical

[@Rukalin]

THIS IS THE MONAD'S POWAH!

[@UMosNyu]

+Linkaru Holy ... I am feeling it!

[@AlcomIsst]

+Linkaru *MONAD BOY!!*

[@jagaray]

Wow....I've never seen these concepts before, blown my mind. Great video.

[@TomatoBreadOrgasm]

I think that mathematicians mean something very different by "bigger" and "closer together" than laymen do in discussions like this. It seems to me that focusing on the ordinal nature of these spaces would be less confusing for the uninitiated.

[@slpk]

I feel like half of the people doing these numberphile videos should be locked away in a asylum or something. I'd be tempted to join them, though.

[@JarrettWilliams99]

+MichaelKingsfordGray underrated comment

[@thedoublehelix5661]

mathematicians am I right?

[@Triantalex]

??

[@NamelessHobo]

You should do some more videos with her. She's fun to watch.

[@streetleveltech]

I remember my first brush with these concepts when I was in junior high school and reading Gamow's "One Two Three...Infinity." A mind-blowing experience for a kid who was just being introduced to basic algebra.

[@idlikemoreprivacy9716]

Thanks Numberphile for showing us all this beauty!

[@metleon]

Did anyone else immediately go "No, that's where the square root of 3 goes."

[@AllHailZeppelin]

√2 is WAY too close to 2!

[@oz_jones]

*not to scale

[@Euquila]

2! = 2

[@Bratjuuc]

Who cares? It was not about precision in the first place

[@anshulagrawal633]

people who thinks while they simultaneously writes would have bad handwriting so co-operate.

[@shruggzdastr8-facedclown]

Yeah, it's closer to 2-1/K

[@FatLingon]

This was facinating. I also watched the video over at the Numberphile2 channel. Please do more on this topic, more in depth. Feels like we only scratched the surface.

[@LittlePeng9]

I love prof's look at 6:44 while Brady seems to be processing what he just heard.

[@MCPhssthpok]

I'd really like to see you do a video on Conway's surreal numbers.

[@hughdepaor]

the sound of the marker on the paper ... eeeeuuuuggghh my brain

[@UnashamedlyHentai]

+Hugh Sleeman Power I am not aloooonnnee!

[@getsomebud]

ASMR.

[@xfgjhxfj]

+Hugh Sleeman Power I can't watch it's too cringy

[@GuyWithAnAmazingHat]

+Alex Ehler (THOUGHTSEIZE) Actually it's the complete opposite effect, misophonia, a negative reaction to sounds in a similar way some of us has positive reactions in the form of ASMR.

+Hugh Sleeman Power To me, the sound is totally okay. Except the extra squeeky sound the marker makes sometimes like at 5:22.

[@Brotcrunsher]

This was amazing! The Monad thing was blowing my mind.

[@ffhashimi]

This is amazingly interesting and easy to understand..

[@lakshaymd]

"Because we're mathematicians" 😂

[@Argimak]

"It's getting tighter and tighter into that zero". If that doesn't sound dirty then I don't know what does.

[@Marceau.]

+Fel public toilets

[@ThomasGiles]

+Fel Sounds "naughty," in fact. ;P

[@mancheaseskrelpher8419]

+Thomas Giles **jaw drops**

[@photondance]

+Fel I have to admit, I divided by zero when I heard that; just a little.

[@jimi02468]

It doesn't sound dirty if you don't have a perverted mind.

[@frankkeith7286]

Thank you professor. Great job explaining.

[@ItsTimaiFool]

Brady just seems so done with math at the end. And she is just so smug like "Just another day blowing minds."

[@Not_Biohazard]

what about k factorial?

[@jameswhistler968]

+Biohazard : K! is pretty cool because it has all the natural numbers (and more) as factors.

[@JorgetePanete]

*SPECIAL K*

[@johnvonhorn2942]

+Jorge C. M. Brilliant!

[@heoTheo]

Seems like the thing we did at the school yard. One that says the largest number wins. and one would say "a billion" and I would say " billion gazilliond" and he would say "infinite" and I would say "infinite +1" Just realising that I was a model theorist and already using compactness theorem.

[@douggwyn9656]

+heoTheo Infinity plus 1 is not larger than infinity.

[@janinja1000]

+heoTheo infinity plus one is still infinity

[@ChaoticNeutralMatt]

@@douggwyn9656 I'm sorry for the irrelevant comment at this point, wow this is ancient.. But I would say it depends on the infinity. Some infinities can be larger, but both are infinite. Just another type of 'set'.

[@AnneloesF]

So fascinating! Thank you.

[@huntermatthews3407]

This is such a great explanation.

[@nishkaarora6343]

"because, we're mathematicians." like puh-leeeeeeeeeezzzz xD

[@coloneldookie7222]

So it's like Klein bottles...you can explain it well enough, but there is no currently tangible way to truly represent it with the way we know the world works so far.

[@wood_croft]

+Colonel Dookie Interesting...

[@TwistedLemniscate]

+Colonel Dookie Perhaps there's no way of representing infinitesimals, but infinitesimals ARE a tool (and a very useful tool!) used by humans to be able to represent the world itself. I'd call it a "beautiful fiction", but isn't all mathematics a fiction anyway?

[@TheTyTyXD]

+TwistedLemniscate can't really represent anything in the observable world with abstract things like infinity, only in theory

[@codediporpal]

+Colonel Dookie Besides the natural numbers, it's all fantasy.

[@coloneldookie7222]

***** And so can infinitesimals. My point still stands.

[@MisterMajister]

Really good video (the mic setup/audio was a bit off though) of understanding big numbers. I love the idea that the real integers never reach K-1, K, K+1, no matter how many times you add 1. Still, they are real as well? This is where numbers and infinity are so mind blowing!

[@lucainvernizzi9715]

The grin at the end just made everything better. XD

[@S1nwar]

so 1/k is closer to 0 than any 1/N could be. that means you can add the entire 1/K number line to any real number and get a new set which consists of all real numbers + all 1/K numbers in between...

[@noimnotnice]

+S1nwar I wanted to brush this off at first but this is essentially the only reason I could think of to introduce this concept in the first place.

[@TheOlliemath]

+S1nwar yeah, in this model the real numbers are more like scattered solitary stars separated by a black sky of infinitesimals than the continuum we like to think of

[@dave-id2eo]

+S1nwar Basically right. If you fix a real number r, the whole r+1/K line is infinitesimally close to r.

[@XouZ88]

+S1nwar Isn't the sum of N -1/12 though?

[@noimnotnice]

XouZ This is probably a joke, but no - it isn't.

[@NoLongerBreathedIn]

Aw, I was hoping for monoids in the category of endofunctors.

[@ChannelJeffrey]

Another great video. You have introduced me to some really brilliant well spoken folks. Thanks. (The sound quality was a little bit off though)

[@Yulenka-]

I love the attitude "I'm a model theorist, I can do whatever I want" ❤

[@noamtashma2859]

am I the only one that thought that this would somehow be about Haskell? Haskell ftw

[@Evan490BC]

That's a different kind of Monad...

[@josematias2010]

I like those too

[@BvBCrafty]

okay, im done with math now, bye! :D

[@Yomama5923]

+BvBCrafty Haha. Right? It's a fun concept, but I don't think this has any practical applications... at least, nothing I could understand. Sometimes I wonder if mathematicians just enjoy making up and being in their own world.

[@Yomama5923]

Alex Ceceña I take it that you're a mathematician? I disagree that it's an insult. My only point is that I (personally) would enjoy knowing that whatever new concept I'm toiling over would actually help people or solve something with known application. But, I say, if people enjoy just thinking about math or extrapolating on it even though it has no known application, that's fine. You aren't hurting anyone and you should be free to pursue your own happiness.

[@noamtashma2859]

+Jonathan Gutsymon of course we enjoy making stuff up and being in our world. how would anybody do math otherwise?

[@NatCo-Supremacist]

+Jonathan Gutsymon >thinking mathematicians simply "make up" the advanced math that they do >thinking math has no practical applications >not realizing how math intertwines with every physical aspect of the universe

[@genevaconventionsviolator3994]

+Jonathan Gutsymon Well, I'm a deeply Platonic mathematitian so i personally do :) To me math is far more fundamental and meaningful than the "real world" and seek to explore the realms of abstract mathematics WITHOUT having to think about our contrained 3 dimensional world. But that's just me I guess

[@beefjerkykoolaid]

Love this prof!

[@krowwweee2918]

I just watched it until the middle and had to stop for a second and read comments. I think I just had my mind blown by this video :D

[@PassionPopsicle]

I love math

[@sean3533]

Ahh mathematics, where we can define the universe, or make contrasting definitions of the same thing to make it sound like we're not understanding.

[@aleks.j.]

yay im early! Anyways, this channel is amazing, thank you for creating it and keeping it up Brady

[@Reydriel]

This is pretty cool, I've always though about there being a sort of "quantum realm" for numbers inifinitely close and infinitely far. At these numbers, common rules we already know start to break down. They are all part of the same line, but are so tiny or so far away that they pretty mich exist in their own magical dimension. Maths can be pretty awesome like this XD

[@OKay5067]

Square root of 2 is about 1.8? :D

[@mancheaseskrelpher8419]

6:23 "No"

[@S986S]

I love this sort of theoritical mathamatics. Very Cool stuff

[@frankharr9466]

I love this concept.

[@MarioWenzel]

Why do mathematicians always leave out proper quantification?

[@XetXetable]

+Mario Wenzel It's not mathematicians in general, just the one's that play fast and loose with foundations.

[@MarioWenzel]

MichaelKingsfordGray Well, especially in that example, properly using the universal quantifier and the existential quantifier would have gone a long way for people with some understanding of the issue. But math-people are usually bad at using them properly. They often introduce some variables that are actually existentially quantified but they use syntax that implies that they are free.

[@MarioWenzel]

+MichaelKingsfordGray "proper quantification": Proper use of the existential and universal quantifier to correctly bind non-free variables in order to produce a correct definition but since you haven't shown a problem my argument or shown where I am wrong, I guess I know which troll not to feed.

[@JedaiFou]

+MichaelKingsfordGray His explanation was in no way a world salad (see en.wikipedia.org/wiki/Free_variables_and_bound_variables : those are words familiar to logicians and CS theorists) and he is perfectly right that mathematicians tends to use literals with no considerations given to their quantifications and their status. This is generally left implicit but it means that this is one more obstacle for a mathematician to get into a new field he don't yet know the convention thereof.

[@slowfreq]

what about this set K makes it bigger than the real number set? is it just because we said it's bigger?

[@namenotincluded23]

+slowfreq That is exactly why. It is by definition bigger. The same idea is used with i, as well. It is simply defined by the equation i^2 = -1. You can be surprised by how much application can arise by abstract thinking like that.

[@XetXetable]

+slowfreq K is not bigger than the set of reals, it is bigger (has a higher measure) than anything IN the set of reals. Beyond that, what namenotincluded23 said.

[@littlebigphil]

+namenotincluded23 That seems rather weird. How do you determine differences in the size of sets that are larger than countably infinite sets.

[@XetXetable]

+littlebigphil One can define the difference in terms of functions. If set X is smaller than set Y, then there will exist an injective function from X to Y. This holds even for infinite sets. Using this and related concepts, sizes can be established in general. This also means a mathematician has to be involved in the process to construct our function, there's no simple check one can do in general.

[@RFC3514]

+slowfreq - K is the number. The set is N*, and it's being compared to N (the set of naturals).

[@Flocko_]

This video is wonderful.

[@psionic0]

It's something like a translation of origin to infinite (if we want consider infinite as a defined number). Then you can perform any operation you perform in Natural, Integer or Real numbers, but you can't reach 0 (or any other finite number), like you can't reach infinite stating from finite numbers.

[@Hythloday71]

This so called separate 'size' scale seems meaninglessly related to 'size'. Seems no more motivated than saying I'm going to have a number scale with sausages on their shoulders, and each has a bigger sausage on their shoulder than does the regular numbers. I don't mean to disparage, this was great and fine, just I note the ambiguity in this video in/ this system as to what size, magnitude, quantity actually is.

[@XetXetable]

+Hythloday71 This is no different than the notion of size between the integers and the rationals. You don't use rational numbers to count sheep, and you don't use integers to measure lengths. You wouldn't use this system for either. Mostly, this method is used to circumvent some complicated proofs using ordinary systems. Basically, it ends up being easier some times to go from a to infinity (k), and then to b, rather than going directly from a to b.

[@Hythloday71]

You use a subset of the rationals to count sheep and you could use the integers to measure length. Both have property of cardinality and a natural relation to each other.

[@XetXetable]

+Hythloday71 They do not have cardinality. You clearly don't know what that means. You cannot have a set with 5/3 elements. You cannot characterize something of length 1/2 using the integers. These are the wrong choices of structure. Also, this new system has the same "natural relation", being the existence a monotone injection.

[@joeybeauvais-feisthauer3137]

+Hythloday71 There is a natural order (reflexive, antisymmetric and transitive relation) on N by defining "a less than or equal to b" as meaning "there is a natural number c such that a + c = b". Then K is defined to be a number that is bigger (in this order) than any standard natural number, and the order extends uniquely to this extended set of natural numbers. This is a consequence of Peano's axioms. Granted, "size" in this context is not a completely intuitive notion, but it can be formalized. Also, you might be interested to know that there are other useful orders on the standard set of natural numbers. For example, in the divisibility order, 1 is the smallest natural number, while 0 is the biggest.

[@jtoonzkun6480]

+XetXetable Minor nitpick. While you can't use whole numbers to measure lengths like 1/2 in the usual procedures we collectively use, you COULD give equivalent information using ratios of whole numbers. So to express that a length is one half the length of your unit, you just say that are in a 1 to 2 ratio. You COULD interpret that as just being a different spin on rational numbers, and maybe it sort of is, but the idea is that we can fit the short length two times onto the unit, which is a pretty straight forward comparison using whole numbers. This whole tangent is mostly irrelevant though. Feel free to ignore.

[@giorgigogashvili2549]

4:02 sqrt of 2 doesn't go there

[@ToddSchmid]

yay finally some model theory stuff! Brady! Do one one infinitary logics!

[@AbsolutGB96]

You should do a Numberphile 2 episode all about the maths James did in his PhD and the research he did after completing it for a while; in the meantime, this was a great video!

[@jameswhistler968]

+AbsolutGB : Are you talking about me?

[@deadeaded]

Are these the surreal numbers?

[@orbital1337]

+deadeaded No, they are the hyperreal numbers.

[@deadeaded]

+orbital1337 Thanks. More things to learn!

[@PhilBagels]

+orbital1337 So what distinguishes them from the surreals? 1+1/K is at another monad around 1. And so forth. They seem to be exactly the same as surreals.

[@orbital1337]

There are *way* more surreal numbers than hyperreal numbers. In fact, there are so many surreal numbers that they don't even form a set (but a proper class) whereas there are actually just as many hyperreal numbers as ordinary real numbers. The surreal numbers contain numbers which are bigger than all hyperreal numbers (including the infinite ones). They also contain numbers greater than zero which are smaller than all hyperreal numbers - "superinfitesimals" if you want.

[@PhilBagels]

Is it just the arbitrary definition, or is there some other reason why they are so distinguished?

[@willistrong185]

well i think the square root of 2 doesn t go there:)

[@RBLXbranefreez]

This is the kind of math that satisfies my pondering mind.

[@pumpkinpie6930]

I like the squeaky noise the marker makes against the dry paper.

[@moritzkockritz5710]

I cannot watch this video because of the sound the pen makes...

[@beeble2003]

1:58 "It's still a natural number" That's an extremely misleading answer. It's not a natural number at all. Rather, it's an object that you might accidentally allow into the natural numbers if you didn't define them very carefully. In more formal terms, it's an element of a non-standard model of the first-order Peano axioms. But the second-order Peano axioms have no non-standard models and the natural numbers are defined to be the unique model of the second-order axioms.

[@rogerwitte]

This was a fun presentation of (1) Nonstandard models of peano arithmetic and (2) the surreal numbers [at least, so far as I can tell - it is very careful not to mention either of those systems]. I tuned in to the video hoping to improve my understanding of 'monads' (from category theory) but 'monad' was just a name drop here. I enjoyed watching, even though the topic discussed was different from the topic that I expected/hoped for.

[@MuffinsAPlenty]

Yeah, monad is one of those words with multiple meanings. The meaning in nonstandard analysis (used in this video) is different from the meaning in category theory.

[@StevenShields29]

I like this lady--a LOT! And I love that she is not just young, but she has been doing this for YEARS!

[@StevenShields29]

+StevenShields29 And yes, she goes WAY over my head, lol!

[@WarpRulez]

The video fails to mention an use for this.

[@givememore4free]

a

[@user-ri3up7ru4g]

+WarpRulez It's here because it's interesting.

[@douggwyn9656]

+PacMonster0 The Planck length is not infinitesimally small. The universe is not expanding into anything other than itself, and in some models it has finite size. Don't confuse those mathematical fantasies with actual existing conditions.

[@WarpRulez]

***** This has absolutely nothing to do with planck lengths. It's a well-defined value.

[@RDWize]

+Doug Gwyn I think what he meant was, in most physical models, the Planck length is so small that its usually approximated to be infinitesimal which allows you to take integrals.

[@nexttoradio]

OMG I love listening to this woman! Even if this is largely unimportant to me in my day-to-day life.

[@tobiaszb]

RIP Conway with surreals. You can add them and multiply, so there is a monad near each real number. K + 1/K consider. Do we need aditional assumtions to have a monad arround 1/K?

[@rikschaaf]

Yay, finally a good explanation to "infinity" and 1/"infinity"

[@incrediblepony]

I had to prove EXACTLY this for my computability and logic course :O

[@tamptus3479]

I would like to see more with Carol Wood. May be a bit Modeltheory or remarks on forcing. Remarks on countabe Models of ZFC or remarks on V = L or some about the Life of A. Robinson

[@Pelmenji]

"Why not? Because we're mathematicians!" is the best excuse for everything, ever.

[@HeraldoS2]

Just a suggestion. Could you explain the hypothesis of the continium, Martin's axiom and why they contradict? I mean in someway those things are what are behind these ideas.

[@sebastianmalton5967]

I love this sort of mathematics

[@zakerysimpson5363]

I like how pleased she looks at the end

[@richarddeese1991]

With due shame, I must admit that I found this video both fascinating & infuriating! I felt as though I were just about to understand something, but then, just as quickly, it got away from me. It was like chasing the proverbial greased pig! Wow. In retrospect, I honestly have no idea what to make of the whole thing. It makes me feel pretty stupid - a feeling I don't normally enjoy, of course, but one which also (sometimes, but not always, I grant you) makes me determined to learn more. tavi.

[@tmc03186]

This is a pretty mind blowing idea,

[@RillJit]

So are there monads around these k values as you infinitely approach them? And monads with in them, ect

[@JGreenDragon]

This is cool as shit. I love all these weird abstract number experiments and theories. The stuff with Simon also reminds me of this. How does a number system like this react to the Reimann Hypothesis and the set of all intergers equaling -1/12? I'd be curious to hear.

[@mohammadmustafa8279]

the largest number should be the highest number a number can go into a unit like, if for say the number of particles in the universe, and it surpasses other numbers in other units and im not sure if that is even the highest number we can actually use, so it really is just the highest number that we can use logically (hope i got that right)

[@steveybingoluia8110]

very interesting!!!

[@nosuchthing8]

Numberphile, best you tube station ever, even better than n star.

[@karlisbikis5013]

There is a typo at 0:46. It's ∈nℕ but it should be n∈ℕ

[@binbots]

It is hypothesized that there is infinities of different sizes. By making infinity an actual number on the number line (like we did with 0) maybe we can start to make sense of this concept. Examining the number line from left to right the largest number would be infinity. But this infinity would need to contain every number on the number line including negative numbers. So true infinity is negative infinity + positive infinity. This number equals 0 but is also the complete opposite of the 0 we know. The 0 we know is neither + or - and flips the number line from - to +. This new 0 contains all numbers both + and - therefore is (+-0) and flips the number line from + to -. If such a number could exist then the next number on the number line would be (+-0) + 1 (which would be the largest negative number). Then (+-0) + 2 etc etc….all the way back to zero. Then the number line repeats over and over again forever. It continues to cycle between 0 and (+-0) creating a larger infinity that contains an infinite amount of infinities. -1 = the smallest negative number. 0 = nothing. 1 = the smallest positive number. ((+-0)-1) = the largest positive number. (+-0) = infinity. ((+-0)+1) = the largest negative number. …-1,0,1…((+-0)-1),(+-0),((+-0)+1)…-1,0,1… By making infinity a actual number on number line we can eliminate some of its unusual behaviour. For example: instead of infinity - 5 = infinity, now it can equal ((+-0)-5) or the fifth largest positive number. Instead of infinity + 5 = infinity, now it can equal ((+-0)+5) or the fifth largest negative number.

[@unvergebeneid]

I love her face in the last shot: "FU, Brady, you chew on that!"