Russell's Paradox - a simple explanation of a profound problem
Вставка
- Опубліковано 7 вер 2022
- I am writing a book! If you want to know when it is ready (and maybe win a free copy), submit your email on my website: www.jeffreykaplan.org/
I won’t spam you or share your email address with anyone.
This is a video lecture explaining Russell's Paradox. At the very heart of logic and mathematics, there is a paradox that has yet to be resolved. It was discovered by the mathematician and philosopher, Bertrand Russell, in 1901. In this talk, Professor Jeffrey Kaplan teaches you the basics of set theory (a foundational branch of mathematics dating back to the 1870s) in 20 minutes. Then he explains Russell’s Paradox, which is quite a thrilling thing if you are learning it for the first time. Finally, Kaplan argues that the paradox goes even deeper than Russell himself realized.
Also, I should mention Georg Cantor, Gotlob Frege, Logicism, and Zermelo-Fraenkel set theory in this description for keyword search reasons.
My teacher told me that "all rules have exceptions" and I told her that that meant that there are rules that don't have exceptions. Because if "all rules have exceptions" is a rule then it must have an exception that contradicts it.
That's a good one.
Very True, However; it is a universal Constant that "He who has the Gold, Makes the Rules". Without Exception!!!
needed a minute to figure out how that worked haha
but if a rule has the exception of not having exceptions, it is still a rule with an exception; right?
@@harrymingelickr883 _Except_ there are societies that have rules but don't have gold, _and_ there are societies that have rules but don't _value_ gold. 😉
I started reading Russel’s “the limits of the human mind” and I found out mine lasted one paragraph.
Lmao
The more you know, the more you know what you don't
So true, I am a licensed engineer and have forgotten more about technical subjects than most people know- but education makes one a humble person- just knowing how much knowledge is out there of which 99.9% the average person does NOT know
@@louismartin4446 "of which 99.9% I don't know" you should have said. Why would the ignorance of other people make you humble?
@@louismartin4446how did I know you were an engineer?
Unlike many of your commenters, I don't have anything pithy to say about your presentation. I had never heard of Russell's Paradox or anyone else's Paradox. All I can do is tell you how much I appreciate how you described it. I did have to go back and review a couple of sections near the end, but I got it!
You are passionate about sharing your knowledge with everyone who cares to learn. Even, and perhaps especially, people incarcerated in prisons. You are a gifted teacher, so thank you for sharing your knowledge with ALL of us.
Well said!!!
Boo urns. Have pithy on us!
Weirdly said!.... Now I'd like to learn why @janathonbeton2002 is in prison 🧐
@@squirrelbait2004 I'm guessing it's because @sqrlbain2004 can't spell my name ...lol
@@squirrelbait2004 BC he belongs to that set.
At my age (77), I am not going to wade through 18,643 comments to check if someone else has made the same comment as I am making here! I apologise in advance, however, if that is, in fact, the case.
When I first came across Russell's Paradox, more than 50 years ago, I explained it to myself as follows: if A is a set, then A is not the same thing as {A}, the set containing A. A set, in short, cannot be a member of itself, and the Paradox arises because the erroneous assumption is being made that a set can be a member of itself - your Rule 11.
On the few occasions in the last 50 years when I have thought about this again, I have come to the same conclusion.
I concur with the other comments about the quality of your presentation. Well done!
Upon watching this (very good) video, I immediately thought this paradox might be caused by a double negation effect... but your idea seems to solve it in a satisfactory matter.
A is not {A} and thus {A} is not {{A}}.
As more of a physicist than a mathematician I have always held that there are no exceptions to a rule. If an exception is encountered then the 'rule' is not a rule and the 'rule' requires modification such that the exception no longer exists under the modified rule. Set rule 11 is at fault as you have identified. Think of it spatially - set A has a boundary as it 'contains', and the set that 'contains' set A has a second boundary around Set A and is spatially different from Set A - therefore a set cannot contain itself.
Yes, rule 11 is prima facia absurd. If our set is {A}, and "itself", then itself is {A,{A}}, but then becomes {A,{A,{A}}}, etc. Any set that contains itself is automatically an infinite set, even if the first set is null. It makes no sense that you could "create" a set that includes what is being created. The set doesn't exist until you create it, so you can't very well include it within itself (except something like "a set of all things that don't yet exist", in which case... No sets exist that contain itself.)
@@user-pg3mr4oj4p But not all sets are physical and as such concerned with boundaries. The set of all sets contains itself surely? Simply ask: Is the set of all sets a set?
@dereksmith5934 No set is physical. Hence the question. If sets were physical, then we could just measure them to see if any contain themself, or attempt to manufacture one. (And until then, the only correct answer would be "We don't know.") A set that contains all sets does not contain itself, because it only contains all the sets that existed up until you created that set. You could then say "a set that contains all sets that ever will exist", but... If you make a rule that says it can't contain itself, then it can't contain itself.
Sets are sort of an Aristotelian concept - they exist in the aether, and are a perfect example of themselves. So the question is what is more perfect - a logically contradictory set that is infinitely regressive (ie "paradoxical"), or one that can not contain itself? Totally up to you, unless of course you want to complain about your own answer like Jeffrey. You want your set of all sets to contain your set of all sets as well as all sets... doesn't make sense to me, but whatever. It's your set, you do what you want with it.
edit: But we could extend the question to all things, not just sets of things. Can the boundary of a thing be within the thing? Something like an apple, the answer doesn't matter. But with things like time, space, and universes, it starts to matter. Do the questions "What happened before the beginning of time," and "What is beyond space," make sense? If not, boundaries are not inside of the thing (and the answers are "the boundary is the boundary").
I asked my girlfriend if we could have sets and she told me no because I didn't contain myself.
Lol, I love the humor you two have.
Niiiiiiiice
You're under arrest.
I sat here wondering how to respond to such brilliance for like 5 minutes
- We already have sets at home.
- At home: { }
I really didn’t expect LeBron James to be so crucial to the fundamentals of set theory. What a legend.
4-time NBA champion LeBron James*
@@nim127 Oh yes, thank you. Sorry
How does this effect his legacy?
@@jackthomas3483 It seems like is legacy is a set!
@@jackthomas3483affect. But big props for not misusing "impact" like everyone else.
The effect of LeBron losing in the playoffs was it affected his legacy compared with Michael Jordan.
I've tried watching this twice now and I realise that I am a member of the set of people who don't care enough about Russell's Paradox to watch to the end.
Back to the win/fail compilations you go then
Is rather pointless...but abstract thinking is intriguing
Watch to see when it is placed in other context to disguise its true intent, to confuse the real situation.
But you cared enough to comment.
Thank you for the brilliantly clear, insightful and extensive exposition of Russell's Paradox! Thank you too for not mentioning the dull, trite and deeply unhelpful 'Barber' analogy along the way either!
I speak German and understand the letter Russell wrote to his colleague. the level of confidence he put into his writing that his recipient will just understand him amazes me.
yeah, I can barely read 90% of that handwriting 🤣
Interestingly, depicted are only the first and last page of the letter and the actual paradoxon is not described on these pages (he adds the formulaic representation of "abovementioned contradiction" in the post scriptum, but that's it). Pity, I would've liked to read the original wording and I'm far too lazy to hunt down the letter myself 🤣
@@sourcererseven3858 what did he say in the letter
@@sourcererseven3858 Yeah, because google is such a chore.
But it's cool as he is so respectful and still shoots a hole in the theory with his paradox.
It's important to keep in mind these men have dedicated their lives, decades, studying this. It's a form of language therefore shorthand is precise and expresses those years of knowledge.
It's just one of those random variables that got lucky. I wanted everyone in my class to side with me so we could together over rule the system. But I wasn't so lucky and I spend most days in detention.
For a 57 year old man who cannot even recite his times tables (my head just doesn't do maths), I'm stunned I actually followed that, I really did!!
That speaks volumes about this guys ability to convey information. I applaud you Sir, especially for the ability to hold my attention for the entire video. I quite enjoyed that!! I've no idea what use it is to me personally, but it was fascinating!
So are you really not good at maths or has it just been explained poorly to you in the past ...
@@GrantDayZA probably a bit of both swaying more toward poor teaching. Ive always been very good at art from being a kid. Don't get me wrong here I'm not saying love me love me I'm thick! I have a BA (Hons) degree in the social sciences, but honestly I've never been able to recite my times tables. If you fire one off I can tell you the answer eg. 7x8 or 9x6 etc. I just can't recite the whole tables they way your taught to more or less sing them if you get my meaning. I got by for a while but when they got to algebra and sticking letters in that was it, I just lost the plot and switched off and had a giggle instead. I enjoyed Pythagoras like working out areas was easy, and the simple letter stuff like 3 × X = 9, but when those equations got a bit serious my head just switched off!! In retrospect, I wish I had a maths head as now theres so much Id like to ask questions on but feel I cannot explain myself because I'll look stupid. I'm absolutely fascinated by Jeremy Strides math on Coral Castle, but I'm lost when he talks about prime sets etc. Anyways, I'm waffling now. But yeah, I just don't have a brain that handles maths, but.... We can't have everything can we!! Gotta work within your limitations so I'll keep on trying lol. Have a good day
What a lovely comment for me to read! You've made my day. Thank you!
I was thinking pretty much the same thing. I've often told people that I am "math stupid", and blunder through anything that involves math. Jeffery's presentation was both captivating and inarguable. At least I think it was - LOL. But you shouldn't take my word for it; I'm math stupid.
BTW - I've never watched any of Jeffery's videos before today. He reminds me of a mix of both Sheldon and Leonard from the Big Bang Theory. "Sheldon and Leonard" is a set. Heh. See? I learned something. :D
@@nichebundles7246 I did took set theory in the university explained by a very good professor and I have to say that the way Jeffrey was able to explain all of this in only half hour, while keeping me focused (maybe helped by the use of LeBron and Garfield) was just flawless!
PS. I was also looking at Sheldon's eyes at some point of the video
About 20 years ago I wrote a book about this (and other) paradoxes called 101 Philosophy Problems. It's really not complicated. See the tale of the Barber - given sole responsibility to shave everyone in the village EXCEPT those who normally shave themselves - but who will shave the Barber? However, Jeffrey is right that SOLUTIONS to it create new problems about how we both talk and think about the world. People - philosophers! - even say things like "such a barber cannot exist… Put another, way, the cures are worse than the disease. The problem for Frege and also Russell (as he mentions) is that it shows the limits of maths and logic. The more intriguing problem is that it shows the limits of how we think.
When I was in 7th grade, we were taught set theory in math class (yes, an advanced level geek class). The set theory we were taught included ‘a set cannot contain itself.’ Yale University wrote our curriculum.
Shrödinger’s veterinarian walked into the waiting room and said to Shrödinger ‘I have good news and bad news….’
The set theory we were taught included ‘a set cannot contain itself.’
I instantly thought of the set {A set of all sets}... but wait.. if it can't contain itself.. then it is impossible.. as it's a set... and a set of all sets...
Shrödinger’s cat May or may not have been alive in 1926.... I think it's fairly well dead now!
Never thought I could have such an enjoyable time watching a 30 min video on advanced mathematical theory. I chuckled and even laughed multiple times. Well done sir
same here
I as well and I'm math phobic.
Wow, it was that long? I didn't even notice.
Advanced?
I couldn't help but laughing every time he said "LeBron James, 4 time..."
I think my favourite example of this is "this sentence is a lie". It's the example that helped me to grasp the paradox.
I'm no logician, but I think the answer to that paradox is just to say "nuh uh, that's not really a proposition." So it's better to say that there are two sentences, Sentence A, and Sentence B. Sentence A = "Sentence B is false;" Sentence B = "Sentence A is false." That way, you get around the self-referential problem.
And what if Pinocchio said, "My nose is about to grow."
@@lokidecatPinocchio’s nose only grows when he intentionally tells a lie. So saying something false does not cause his nose to grow. So therefore Pinocchio’s nose will not grow after saying “my nose will now grow”.
You just invoked my memory of how Spock defeated the Normal android in Star Trek TOS.
My favourite is: all generalisations are wrong.
I have no interest in mathematics and no advanced training in mathematics, but i can follow the concepts --and more to the point - I love listening to characters who love what they do, and Jeff, you are a fascinating character. And that is a compliment.
As a child I spent weeks writing "S, P, AO, Agent" and whatever else, under words for a language class (this was in a different country so abbreviations may not carry over) - its been 2 decades since, and today is the first time I have seen it used to explain something. It saved me 60, or maybe 90 seconds. Time well spent!
Honestly, there's a lot beyond my understanding. So it was weirdly reassuring to hear about the genius guy whose brain just straight-up blue screened because of this paradox.
How could it be reassuring? Because if set theory was “beyond his understanding” then something tells me this dude is not gonna be hospitalized over reading a letter he doesn’t understand.
Fun fact: basic set theory was part of Mathematics education in elemetary school in germany of the 1970s (and not a small one) . My estimate is, this forever reduced Germanys BIP by 2-3%.
Your honest comment is genuinely reassuring, because weirdly you solved the paradox. If there are not things beyond understanding, then the concept of understanding itself becomes nonsensical.
The narrative construct of reality is a instance of mathematical induction, moving from the known to the unknown. Reality is chaos and the unknown, determinism is an emergent property of the process of understanding. So if you take away hope and possibility (which resides in the unknown) you take the life out of reason and the reason out of life.
Fcvk I just blue-screened myself 😂
Your head was designed with paradox-absorbing crumple zones.
@@jacobwiren8142 it’s like the “designed-to-be-dropped” cartilage system never disappears. It merely adapts to be hit you take.
Thank you for this. What got me here is my quest to understand Robert S. Hartman's formal axiology. Glad I found your channel.
Thank you, I understood all except for your example of Le brone, I had no idea what you were talking about.
As soon as you got to explaining to the paradox, I knew exactly what the issue was because it's conceptually identical to several other paradoxes I've studied, including the Liar's Paradox and the Grandfather Paradox. I've noticed that this sort of problem tends to arise in almost any kind of abstract, self-referential system, if you dig deep enough.
I solved the paradox to my satisfaction by simply pretending we lived in a quantum universe which has settled down into three dimensions (three mutually perpendicular straight lines whose point of intersection is a single point whose most basic characteristic is extension, which is the lie we define by giving it points connected in a straight line and which is a set filled with all measurable elements or points; it isn't stable and wobbles around a bit, and the "barber" all the while exists in an indeterminate number of point states until it is measured and comes into being when it actuates the 3D point at which the three lines of points become one point from an infinite set of points...the geometric approach...
thank you!
@@choamlockstep I have the same concept, except that I consider datums of existence to be measured in dimensional probabilities, instead of explicitly naming them as quantum. Those two ideas may be the same or not; I haven't thought about it enough. However, I do agree that datums "settle down" into specific dimensions only when required to maintain probabilistic relationships with other datums. Thus, measuring particles within a 4D domain can cause those particles to seemingly pop in and out of existence, when in fact their presence within a particular point in the 3D domain only occurs when absolutely necessary. Perhaps this relates to quantum phenomena because observation seems to be a key factor in "forcing" the probabilistic relationships to adhere to the constraints imposed by observation?
Well done you
yep, it's like an infinite logic loop without a break condition.
This man legit put his own death year in the quote what an enigmatic legend I dig this guy
off the grave yeah
I have long known that *I shall die on 21 April 2052* , aged 89; I am so sure, in fact, that it's been up on a poster (containing my favourite quote) I created and stuck in my office 26 years ago. My hope is that if nothing funny happens on that day, some gentle soul -- knowing of the prophecy -- will be kind enough to do me in. There are, after all, many ways to generate a self-fulfilling prophecy.
@@olafshomkirtimukh9935 I will hopefully live tomorrow starting from the day I post this comment. There you go.
@@olafshomkirtimukh9935 Olaf, if this is your true desire, I may be able to help
@@olafshomkirtimukh9935 I don't know if it is true or not, but I have heard it said many times that, before we come to this Earth to live the experience (under the veil), that we have pre arranged the mission, that supposedly we have entered into a contract to fulfill an experience, if this is the case if this is true, was your mission to come here to this world, to wish that your prediction comes true? if so then if your prophecy comes true was that a lesson that you had to experience in this life time to help you gain some form of knowledge for your TRUE self, because if you are trying to will your self into a state of absolute focus, what happens if you pass away a day earlier, or a day later, does this mean that if you don't make your prophesized date that you have not reached a pass in this life, or is it just an experiment where by near enough is good enough, because if I wish you well in your prophecy or desire, I only wish that you can achieve anything that you put your mind too, but not wanting you to die, hopefully you have other reasons for being here and that your prediction date is just a passing interest but not the main focus, because for what it's worth the meaning of life is subjective, to the individual but I truly do hope your lifes experience for your TRUE self is achived before your date of passing over to the bigger classroom, I truly don't wish for you to fail, but I am hoping that your wishes or desires are achieved, either way, the way humanity is travelling along these days towards another world war, presumably to reduce the population, ("Alice in chains" had an album called Jar of flies,) this was based off a famous scientific experiment, and I can't help but think that represents humanity)
a planitary extinction level event may just arrive before hand, to reset the earth like the pins at a bowling alley for the next set of contenders, if this "set of humanity" doesn't make the grade, we may all end up giving our seats away to more deserving passangers.
I also LOVED the video you made about Peter Singer's ideas about morality. I personally have these ideas, and it's almost a "Principle" for me really, How Altruism "should work" but does Not most often. You are doing great things, teaching people Philosophy is a great way to help them cultivate a "thinking of their Own" as it's not that common these days to be honest.
I honestly thought I would be out of my depth here. I am no maths genius, I hardly know my times tables. But I understood this!! Wow
As someone who has always sucked at math, I'm actually shocked that I pretty much understood everything you said.
Me too, because he uses images like a basketballblayer and cats.
So you do not suck in math ... you suck in logic !
Then you are set.
@coldshot1723, you did not suck at math. It was your teachers that sucked at teaching you. In high school, Albert Einstein had the same problem as you did, but fortunately for the World, he realised that it was his teacher that sucked at teaching, and not he at learning
@@newmankidman5763 Absolutely, I fell into the same dilemma, having a shitty High school match teacher
I love the bridge between the linguistics and mathematics. I too believe that math is a branch of logic and that there are many parallels between language and math. Great Video!
I would say there is very little in aim and intention. The correspondence is obvious, but a mathematical language sounds like a mathematical romance, dull and ugly. Stay in your own field, and do well by your own harvest and herd.
Well you kind of need language to explain math to someone. That includes computers.
9:59 10:00 10:00 10:01 true
language and mathematics are symbols. symbols represent things or ideas. we use symbols to communicate ideas to each other. so they are both imperfect symbols. we’re not perfect beings, having not discovered the perfect language with which to communicate. i believe bertrand found a glitch in our matrix. but: it’s ok. the matrix still works …
When I was about 7 years old. I came across a calculus text book and opened it. Of course I did not understand it, but after looking through it, I said to my dad- dad that looks like someone thought up their own math and wrote it down. I'm 46 so I noticed this argument 39 years ago. Imaginary numbers. It's all you need to know to realize math starts as an idea before it becomes math (differential equations is another example). The only math is 2+2 =4. All other "math" was an idea before it was math. They can certainly be mutually exclusive- math and language- but they are also undoubtedly connected. Astronomy is where we see the biggest "man-made math" in my opinion. Certain terms, the best example being parsecs, is a made up term using made up measurements. However, lastly, all math at one point was "invented" one day in the past. One day in the past someone said a circle is 360 degrees and we all said -okey doke.
As someone who has never been good at math and gets anxious at basic addition and multiplication, thank you. You explained everything in a way that was quick, easy to understand and actually giving me a time frame on how long it will take you to explain something and giving the sort of cliff notes was really awesome. Literally every time you said, “don’t worry, you won’t need to remember that” I felt relief. And I actually learned something without feeling fucking dumb as bricks lol came for the philosophy, stayed for your awesome way of educating!
Your, sir, are the best best teacher i have ever seen in my life.
It's the same as the liar paradox, "this sentence is false". Whenever you allow self-reference in a logical system (where true/false are the expected outcomes), you enable the paradox. "Sentences can refer to themselves", "Sets can contain themselves", "Predicates can refer to themselves" - - these are all equivalent, and all problematic in a T/F logical system. The solution, as Russell and others proposed, is to not allow self-reference (or self-containment), which makes sense because self-reference creates endless loops for the T/F evaluation, as you aptly demonstrated. The solution is to show how self-reference, though feasible semantically, isn't logically valid in subject/object relationships - to get into that is beyond the scope of this comment. Another solution is to allow self-reference but to specifically handle endless loops as "undefined", i.e. have 3 possible outcomes: T, F, Undefined. Great video but I disagree if you have hit on anything new using Predicates.
He wasn't claiming he hit on something new by showing predication is structurally equivalent to set theory. He was claiming that predication is how we naturally think. And that the paradox arises from the way we naturally use predication in language (and maybe in thought), and can't be solved way by saying "self-reference isn't allowed". Because in language, self-reference is allowed. And the rules of language are observations, not rules we can change.
@@thenonsequitur Yes, Jeffrey's proposal is that the problem is real because it's noticeable in real language - the use of predicates, which is a new twist on the problem. However the problem with predicates is no more real than the problem with "this sentence is false", which has been around for a long time, and which he didn't bring up in the video, oddly... The video is initially about logic. When you bring up logical problems in language, you need to address the relationship between logic and language... what's valid/acceptable in one system is not necessarily so for the other. "This sentence is false" is a misconstruction (in logic) or a syntactic curiosity (in linguistics).
@@brynbstn yeah this video, while interesting, felt anti climactic for me. He seemed to leave out some important bits to make it as mind blowing as it seems to be for him
@darren collings ... and like a paradox, you can tie up more than one boat
Here's an example to clarify that the relationship between language and logic is not fully correspondent: "Four plus nine is one". This a completely valid statement, syntically. Is it correct? "No" most would say because 4+9=13. However it depends on the mathematical domain you are using. You assumed the standard number line. What if we were talking about the numbers on a clock? The point here is that, the logical domain behind a statement should not be assumed. It has to be defined. The syntax tells you nothing of the logical system under question. A valid syntax does not necessitate logical validity.
Being told I don't have to remember certain things is surprisingly comforting. What a wonderful video. I truly enjoyed your presentation of Russell’s paradox..
Wait, am I supposed to remember that?
It’s been a while since a 30min video was too short. This I hope you’ll agree is true of itself.
Fantastic explanation
On the predicate paradox: The main issue you seem to be grappling with on this is functionally comparable to the old, simpler paradox: "This sentence is false." If it's false, it's true; if it's true, it's false. So which could it be?
The most descriptively accurate answer I can think of is that it is neither, because it has no constant referential point upon which to base its definition. What can the sentence even proffer within it as "false"? What truth is it trying to debunk? None, because no such truth was extrapolated. Its only point of reference is itself, but it _ipso facto_ eliminates that point by labeling it false, thus leaving it a useless self-contradictory abstraction, vacuous of point, logic, sense or reason.
And keep in mind that for definitions literary or otherwise, _constant_ referential points are not to be underestimated in their essentiality. Without them, the means to describe them become variable and generalized to the point of uselessness. Consider, for example, the set that contains all sets, [X]. Okay- does that set include itself, [X] + [X+1]? Does it include that set, as well, [X] + [X + 1] + [X+2]? You'd have to keep on reiterating the addition of the set within itself ad infinitum, but doing so leaves you with an infinitely escalating value - and if your set contains an infinite value, can you really say you have a definition for it, considering the whole point of these sets was as a means to define whole numbers and now you have to find a single whole number for a sigma function?
This doesn't mean that math is broken, it only means that generalized categorizations give naive (heh) interpretations of mathematics that don't hold up without much greater scrutiny. If Zeno can be wrong about his ideas on motion being an illusion and Euclid can be wrong on his ideas of geometry, so can some professors be wrong about their ideas on sets. Nobody ever said this math stuff was easy, unless they did, in which case they can file under [set x: x contains all people who are shameless liars.]
just wow.!!!!, you just broke the iteration of this amazing professor I would love to see you do it in a video as good as this one.
it's just a play on words, sort of like values@@hespa8801
Nice description.
Sometimes you can string together words that look cool (this sentence is false) but in reality are just silly words that end up being meaningless or incoherent, logically useless. Words twisted back on themselves.
Maybe sets should be accounted for through the passage of time. It seems like their also may only have meaning for our minds which is subject to time.
I'm learning basic programming (C#) so your comment reminded me of something adjacent. If you define some object such as a string to be some... well... string of letters, that is fine, it can even be a pre-existing string (analogous to sets containing other sets), but you cannot fundamentally define the string object to be itself, as 'itself' doesn't exist yet, it can be defined as null, but cannot be defined as itself or any variation on itself. I find this quite interesting, as this paradox appears to subtly arise even before the introduction of the "this sentence is false" style paradox. It seems that it is ok to say "this sentence is true" because the action of declaring it doesn't invalidate its 'inital state'; the sentence agrees with itself. conversely, the paradox "this sentence is false" invalidates its initial state as it doesn't agree with its own definition. But the problem with both of these sentences is that they are evaluations on a sentence that is still being constructed. It is fine to define a statement that is altered by a different statement, like defining "bool A = true" followed by "A = false" to change its state, but saying that "bool A = A" or "bool A = !A", analogous to saying "this statement is true" and "this statement is false" respectively, is impossible.
Writing this now, I am just realising that you can extrapolate this to compound sentences. "this sentence is a statement, and that statement is false" is allowed (afaik) because the statement has been defined in the former half of the compound sentence, and has been then made false by the latter, which is fundamentally disconnected from the former. You can also say "this sentence is a statement, and it is false", but this opens two possible interpretations. Is the "this sentence" false, or is the statement false? I put this down to the vague nature of the sentence itself, but I'm not sure.
If I had to guess, this intepretation suggests that a set that contains all sets that contain themselves (I'll define as V) must not contain itself, as the set constructor logic for V cannot have V as an input as it hasn't been completely defined according to its conditions. This (I assume) would hold for any set constructor that, upon full compilation, satisfies its own conditions.
This guy mastered writing on a window to a level i've never seen before
There is a software which change left and right, so he can write normally on the glass like on a school board.
A smart phone does this as well.@@zente16
@@zente16 whats that software
@@EthanWTF Literally ANY video editing software can flip an image...
he was in the Navy, they use the mirror image style to document and track the battle situation, it is not difficult to learn, you just have to practice for a few weeks.
The root issue is self-referencing, as noted by Douglas Hofstadter in his famous book "Gödel, Escher, Bach": any language that allows objects to make reference to themselves will contain a form of Russell's Paradox.
The one thing I would add to that, Conrad, is that as I said above, Language is not mathematics, and language can often be used to create a paradox, but, in truth, mathematics is an accounting not a linguistic description. Thus, the paradox is in our description not in fact.
@@jameskelso839 Indeed, in the case of set theory I think the paradox stems from trying to define a mathematical object ("set") out of nowhere by simply putting some words together, instead of having the concept arise bottom-up (which esentially is what the ZF scheme of axioms tries to do). But I also think that the issue is not limited to Mathematics; for instance, in Psychology, I notice a remarkable absence of a rigorous definition for "behavior" in the literature; I suspect that any attempt to define it via some sentence will be met with another instance of Russell's Paradox.
Well, I can't argue with that at all because behavior is an individual trait that no two persons have in common and there are those in my past who have convinced me that they have no idea what good or bad behavior is. I will absolutely say that I have studied mathematics a lot, and Cantors rules a widely used and there is literally no evidence of them ever failing in a calculation. No matter what any philosopher says about Russell the only thing that guy did was send a brilliant mathematician to therapy because he caused him to doubt his life work of furthering Mathematics. I have 4 terms of calculus behind me, and set theory works just the way Cantor set them out.@@conradolacerda
@@jameskelso839 Don't think that's correct. Gödel and Tarski proved Russel's Paradox holds for math and all formal systems. Math can never be both consistent and complete, nor can it prove the truth of itself.
If physics one day becomes complete, each event and each entity in the universe will have a one to one correspondence with a mathematical entity. But the description of the universe is contained within the universe, so it is self-referential, and hence results in the paradox which allows for events we cannot explain.
I was stymede half way through but it was so entertaining I stayed to the end.
I did have some "Set Theory" in upper-division Math classes. But I'm learning a lot here!
This reminds me of the "failure paradox" as well.
In a nutshell; if one sets out with the goal to fail, then they can only succeed. Because if they fail then they succeeded at failing which invalidates the failure, but if they fail at failing then they succeeded at failing which is still a success.
But is the goal to fail at anything? or one thing
@@vanceoz4080the goal is just to fail - I don’t think the paradox works when you assign it to something
❤
Not true. For example if I want to fail on a math test I can just not answer any of the questions and with certainty I will fail the math test.
@@linsqopiring6816 it doesn’t work when you apply it to another action.
I was a math major a million years ago. I wish you were one of my math profs! You are a great teacher!
Looking at that 1st sentence, I guess the bar for being a math major is set fairly low...
q8D
Luckily for me, my headphonrs stopped working half way through. I needed the break 😂 great video
Just discovered this channel... love the content and entertaining style. Subscribed!
You did a better job teaching me the “why” behind the math than every teacher and professor I have ever had. Thank you.
Nobody needs to know the "why" behind the math. You do not need to know "why" an axe is a proven successful tool for taking down a tree.
@@frankcourtney6065well actually you do because once you think of changing the system, knowing how and why axes work, you can create a better tool/system of work
@@frankcourtney6065 you just don't understand
@theneocypher, you are correct. The problem with 99.9% of math teachers and Professors is that they do a very poor job at explaining the logical correlation within the math, "the why behind the math", and as a result of which, the vast majority of students find math to be way more difficult than it actually is, and therefore develop a disdain for it
@@newmankidman5763 Even more is that, even if you attain knowledge of how to solve a particular set of problems it seems like a lot of the juggling we do in equations seem pointless, arbitrary.
Generally when you solve trigonometry question, you are given an equation and you need to do something to it. Most of the time the process seems nonsensical and no reason as to why it might even be helpful to think in this manner
Your deadpan delivery of hilarious lines makes my brain happy
really? thats funny, because it has the exact opposite effect on me... but anyways heres some shiny keys 🔑🗝 look how they shine 😲
That's enjoying the humor while being too engaged to laugh. All those happy little endorphins just pile up on one another.
@@Sergio_deusMay I see the shiny keys again. They make me happy.
This paradox is one of many paradoxs in a set of known paradoxes.
That make up the set of all paradoxes.
If I recall correctly, Borges loved this paradox but he talked about a a catalog that contains every catalog, it's in "Babel's library" (sorry for my English translation).
Great video. I think it perfectly illustrates the fundamental flaws inherent to viewing language as a logical system. Even Wittgenstein, once considered the greatest champion of linguistic logic, decided later in his life to abandon that path. Language is not and never will be logical, because the purpose of language is not description but communication. All language is at its core more concerned with forming connections and being useful than with being accurate to reality
I was sifting through the comments because he never restated is original claim, “math is a human construct”?
You put words to my thoughts. Math is objective, and any apparent paradox speaks to the limitations of our tools, namely language and human thought.
I must disagree. The purpose of language is not communication. The purpose of language is deception. There is no reason for language to be as complex as it is if it is designed to communicate ideas. It only needs the complexity we see if its goal is to deceive.
@@rainey82 NO! Math is not objective! Math is completely subject to human minds. If human minds (or some other complex mind) do not exist then math does not exist. Being dependent on a complex mind by definition makes it subjective. You clearly do not understand the definitions of objective and subjective.
@@acvarthered Fair enough. Math is a language. Our understanding of the universe, described through math, can be complete or incomplete. The principles of the objective universe are objective.
@@acvarthered So did you just communicate or deceive?
You took 30 min to explain something that my prof couldn’t explain in 2 hrs, lifesaver 🙏
Literally be explained in 5 mins its not that mind blowing this bored me hard
@@toddallan7086 okay todd allan
This despite the fact he actually over-explains at almost every point along the way.
No, he didn't.
@@tognah6918 lmao
There's just so much here to address including linguistics...
In Spanish, " corre rapido ese hombre " is different than, " ese hombre corre rapido "; but maybe it's just my spanish being my first language. Anyways in english you wound say, " that man runs fast ", maybe not, " runs fast that man ."
My point being that you're talking about two different concepts.
P.s. i love this video. I quit math after i got to college and encountered sets and matrices and what have you; but you are so informative that I'm starting to get it. Also, i still remember that i said i have a practical solution to the paradox. Forthcoming...
If it were up to me, I would make a distinction between actual sets and hypothetical sets. While for mathematical reasons, you may want to have an empty set... that can't actually physically exist and is therefore a hypothetical set. So I would propose a different or modified set of rules for actual sets v.s. hypothetical sets. You can say "1.) A set can contain anything." But is that true of actual sets? No. Because actual sets can't "contain" something that doesn't exist and therefore can't be "contained" by it. So "Things I can't imagine" falls into that category. It can't ever be an actual set. But maybe for theoretical reasons, it would still be helpful to explore hypothetical sets. So we would have a a different set of rules that accepts the fact that paradoxes can occur. Why does it matter if its only hypothetical? In that event, the paradox is only hypothetical too.
I have no interest in math and somehow i just watched this whole 28 minute video on something ill never use. Youre a great content creator, bravo.
As a mathematically challenged person, this video made my head hurt and I had to rewatch several parts, several times. But, I understood much, perhaps even most, of what you said, and must agree with the other comments before mine, that you are a gifted teacher. Thank you for sharing this.
My brain ONLY works mathematically. So, of course, I have trouble relating to most of the world. So, in that sense, you are lucky to be able to relate to so many people.
The fact you want to learn even though you're not mathematically minded is awesome in of itself
@@Pepespizzeria1 Anyone can learn from a great teacher. Even a genius can fail with a poor teacher. Compared to other nation I think that the USA ranks 47th below the country with the best educational system. Finland has been rated number 1 for many years. USA spends $800 billion a year on defense to have the best military on the planet. I guess the military is what America values the most. It's NOT you, it's currently the teachers.
@@Pepespizzeria1: Good attitude. I bet that it's not Jonathan Bakalarz's fault that he feels that way.
Whoever talks about Russell’s library catalogue paradox automatically gets my subscription!!
The 1st rule of Russell’s library catalogue paradox is
Nobody talks about Russell’s library catalogue paradox...
@@TheButlerNZ ok, so whoever talks about the library paradox does not in principle talks about the library paradox so he gets my subscription AND does not get my subscription at the same time
@@LoveCoffee123 I find myself in two minds about that...
@@TheButlerNZ It seems this situation has put you in a undecidable state.
@@LoveCoffee123 Maybe. I'm beside myself!
I took a set theory class about a year ago, and this was beyond interesting. I was immediately asking about infinite sets the first day. Something seemed wonky. I get it based on real life, set is basically perception and allocations within it, and how things apply to singular vs multiples. Here's a goofy idea, would an empty set be able to equate to potential energy? It's a set with no content, but holds "reservation", it has potential
Perhaps you can help me out since you have studied this more than me.
This doesn't actually seem like a paradox to me, here's why.
This is a set
{ Cat }
This isn't a set
{ Cat
I argue that a set doesn't exist until it is created, because the set doesn't yet exist while you are creating it, it can't contain itself.
It is only after you create a set that it can be added to a set, and once you add the set to the new set it isn't the same set anymore and thus it doesn't contain itself.
Am I missing something here?
@@CivReborn As more of a physicist than a mathematician I have always held that there are no exceptions to a rule. If an exception is encountered then the 'rule' is not a rule and the 'rule' requires modification such that the exception no longer exists under the modified rule. Set theory rule #11 is at fault. Think of it spatially - set A has a boundary as it 'contains', and the set that 'contains' set A has a second boundary around Set A and is spatially different from Set A - therefore a set cannot contain itself.
This problem of self reference, infinite recursion, strange loops, or whatever one chooses to call it comes up again and again. Gödel’s incompleteness theorem is essentially another form of it, Hofstadter has made a career writing about it, and classical philosophers knew all about it and expressed it in many ways that we might boil down to the Liar’s Paradox or the most efficient form, “this statement is false”. They’re all logically-topologically equivalent. Good presentation for lay people, I like your channel and have subscribed. Going to check out your other videos. Cheers.
Yes, but no, but yes, but no, but yes, but no adinfinitum.
It strikes me as analogous to dividing by zero.
@@BoxdHound It has a certain undefined quality about it.
You can also create a problem of undecidability. You can have statement "this statement is true". It can be proved to be true and it can be proved to be false. If you put the statement into a set with some true statements and then you say "all the statements in the set are true" then you have another undecidable statement.
My answer to the learner asking these questions would be to go dig a hole. Then another hole. And then another. And keep doing that until he figures out it is stupid to dig holes just to dig holes, and stops.
Btw, I like the way you explained it very much. Very clear arguments. I wish all my fundmaental and logic math classes were given this clearly.
I haven't read much philosophy and even that was a long time ago, but I remember Plato going on about the skill philosophers need to practice - abstraction, maybe? Well, he didn't use that word, it was something about learning to see the idea behind the things. The point is that it is a skill to be practiced. So maybe professors don't always explain the best way possible, but you gained the skill anyway - which is useful, since it is rare that math comes the most consumable way possible. My logic prof was also quite dry btw. Well, I rambled, sry.
I can attest that the set of people watching this video is spread out across time, because I am watching this video from the future.
Mathematics is just the language of the plurality observed by the eyes of the beholder
You have a gift. I actually understood this whole thing. I wish I'd had you teaching all of my philosophy and math classes in college.
I wish he would endeavor to explain why Zenos Paradox isnt really a paradox, because it surely is not. That would make an interesting video
If you understood it, you would realize that you can't really understand it ;)
The fact that he is so involved and tells you the story as if it is conspiracy tale is just amazing
Yes truly amassing!
Dude you need to chill 😂
items amassed = set
{x: is a youtube comment, x: is grammatically correct, x: does not contain malapropisms, x: is read by anyone}
@@scambammer6102 The set of all things that are amassed ?
One of the most clearly spoken and informative 28 minutes on Set Theory I have ever seen. Entertaining, insightful, and I learned a little more about our world. Bedankt!
This guy is low key hilarious, and I understood the paradox better after watching this too!
I could sit through a 5 hours math class of this guy, he somehow made a math subject entertaining.
go out in the sun, look at a plant - seriously .
@@RazaXML some people (just like myself) need that 5th grade comprehension to even begin to understand math, so this is actually really valuable for someone like me and others like me.
My math classes were always taught to those who actually understood math, like two people, the ones who didn’t (the rest of the class) were left in the after classes and usually got 1-3/10 grades..
So we always needed to go after class and rewrite the tests, it’s a fucked up system in a lot of Latvian schools, probably a lot more places in the world as well
This isn't maths - where is the practical application? This is a waste of time.
@@jbooks888 math has applications that transcend the merely practical.
It’s a playground of logical thought where black holes are discovered and the contents of atoms and nuclei found.
More than that, math describes and circumscribes the limits of our understanding of what’s *out there*.
Your passion for teaching is exemplary. If half the teachers around the world had this type of energy and devotion, students would stay riveted. This is what we need. Also, if I name my cat "Is a cat," Then "Is a cat" is a cat!
thats a set of sets
..well.. the really fun part it isent at all a paradox...
its a problem all/most programmers has solved multiple times...
the destinction between data-(sets) and meta-data-(sets)...
its where Le Browns confusion comes from...
ex
{x: x data sets} X can be say shoe sizes, and the data for X is 30, 31, 32 etc...
the metadata X is a description for the data X nothing more.. hence no paradox...
say we make a dataset of cat colours, the colours are gray, white ...
the meta data is cat colours, and the data is gray, white etc
the meta data is obviously never a part of any set,
but the set can point to itself and it creates no paradox
Cat colours: gray, white, {Cat Colours} aka as self reference wich is used in objective programming
we can also use it to create collections of sets thats contains references to themself or other sets that contains referenses to it (aka Cycles in programming) without creating any paradoxes...
ex
Variable:INT A, B, C
Dataset:OBJECT-ARRAY AA:OBJECT, BB:INT, CC:FLOAT
Data A:1, B:2, C:3
Data AA:AA, BB, CC ( This dataset contains a cycle 'AA' )
Data BB:A, B, C
Data CC: 1.0, 1.5, 2.3
No, because in that case "is a cat" is not a predicate, it's a noun.
You're brilliant! The cat named "is a cat" is a member of the set of all cats. Therefore, "is a cat" is an element contained within the set {x : x is a cat} ...Kudos, @copasetic87
we actually need all the teachers to be like that. And they should be. And many many many actually are already. lmao "is a cat" is not a cat!
Excellent presentation. Yes, I found myself having precisely the same thoughts about the rules, just before you addressed it.
I really enjoyed this! …enough to give a thumbs up and to see what more content you have to share. Thank you sir.
The way he writes so that we can read while standing behind the glass indicating he is writing backwards and reversed is the gem amongst the treasure.
My guess is that they flipped the video post-filming to make it fit our viewpoint
@@hollywoodbb that's by far the most likely explanation. For one thing, were the video not flipped in post, and assuming he's wearing a shirt made for males, the placket holding the buttons would be the one on our left, and the one with the buttonholes on our right. Also, he appears to be wearing his wristwatch on his right wrist, which I don't think many people do.
@@StefanoMioli really good eye! That’s impressive
@@hollywoodbb no, that is the actual skill. I am doing it too, yet a bit slower.
I learned to that at about age 8. If you cannot do that yet, don't worry when u get to be a big person its simple as. 😊
By the way, the question of whether "is not true of itself" is true of itself is equivalent to whether "this statement is false" is true, which is perhaps the most well-known paradox ever.
Not in this case. Let us call the original statement S1. So "this statement is false" = "S1 is false" = statement S2. S1 and S2 are not the same statements (e.g., S1 is the statement, "apples are never red", which is obviously not the statement S2: "the statement "apples are never red" is false"). So if S2 is true, it does not mean at all that S1 is true (they not being the same statements) and in fact bolsters S1's falsehood, not imply that S1 is true. So S2 is NOT self-contradictory and there is no paradox here. You made the mistake of equating S1 and S2 and thus the truth of S2 implying S1 is also true (which it does not as explained above), thus leading falsely to a paradox (i.e., S2 is self contradictory), which is not there.
@@shan79a I think you misunderstand what I am talking about. It is not the term "Is false", which I can apply to any statement S1 to get statement S2= "S1 is false" . It is the statement S3 = "This statement is false", where "this statement" refers to S3, so contextually S3 = "S3 is false".
"This statement is false".
If the statement is false, then it is actually proven to be true. If it is true, then it no longer satisfies the condition of being false, which would mean that it is actually false. But if it's false, then that means it's true. And on and on
4:53 yeah. this is nonsense. in the moment in which I refuse the set-theory in and itself as a highly hypothetical, theoretical construct that it is, I don't have a paradox. It is that simple. the redundancy is self-evident from the start. you cannot simply walk past, that something unimaginable IS something - and then be astonished, when you run into a paradox. What a stupid theorem. utterly useless.
@@alexeytsybyshev9459 The statement "this statement is false* is a vacuous statement as it is not saying that anything particular is false, but an empty/null concept/entity is false, i.e., a nothingness is false. Such extreme boundary-condition logic (referring to a nothingness as opposed to something concrete) can never occur in any type of logical statement in any field, and thus is meaningless and worthless to consider as leading to a self-referential paradox.
you are in the set of all x such that x is a UA-camr who skillfully makes intimidating mathematical theory entertaining and intuitive
You are the doorsteps of Quantum Logic. Keep going.
What’s really surprising is how perfectly he’s able to write backwards
what if he writes normally and the video is mirrored?
@@renge598Yeah the first few minutes of the first video of his you see are fun.
"How does he do that? Ohhh, mirroring."
Look at his shirt and the way it is buttoned. Two sides overlap opposite to what you normally see. That is a good solid clue that the video was reversed.
He doesn't. In the video his watch looks like it's on his right-hand, it looks like he's writing left-handed, his shirt lapel is reversed, his jacket buttons are reversed. Which means...the video is flipped horizontally before posting.
@@renge598 thats fucking genius
As someone who is much more linguistic in my thinking than mathematical, this was a great explanation.
Was it though?
I agree! We can easily (or almost) understand the paradox! Great video!
While the style is good... his information is wrong.
@@JamesJNothingIsTooSensitive how so
@@ame_lia To quote my OG comment I made when I first saw this video:
Your very first premise is wrong. Even if math itself is a product of the human imagination, that doesn't make mathematical truths subjective.
The *_units used_* are subjective, but the truths themselves are objective, as shown by the ability to come to those truths no matter what type of mathematical system you choose to use.
The *_system_* is subjective, but the truths discovered by that system are still *_objective_* no different than measuring distance. You can shoose to measure in inches, or centimeters... or even use cubits or any other mesaurement you choose, but the distance remains an objective distance. Only the representation of that distance is subjective.
Since your very first premise is demonstrably incorrect, I'm going to assume the rest of your arguement is as well, although I will still watch the rest of the video to be certain. As such my comment may get edited as I see more of this video.
Edit: Holy shit, 7 minutes and 21 seconds in and this is downright *_riddled_* with erroneous claims and misinformation about mathematics and sets. This is... fucking hell this is bad.
Well done Jeffey. Brilliantly explained to people of my medium intelllect!
I think in order for your words to have value they have to mean something, have some sort of understandible interpretation or definition. So following that idea to say something "is warm is warm" is the same thing as saying "is warm" and if it isnt than we dont know what it is it means nothing, its useless. CS Lewis wrote in his book "the problem of pain" about the idea of what he calls if i remember right a "absolute contradiction" essentially the idea is that something with absolute power couldn't do, and not do something at the same time in the same way, its impossible. the reason why isn't because he lacked power (he has absolute power) but is because we can say jibbersh and think things that cant reflect a possible world even with absolute power. Words and thoughts usually have a imaginary representation sometimes they dont even have that.
Thank you for the fantastic video i appreciate it!
Also as sort of rebuttable to the example that the phrase "typically comes at the end of a sentence" "typically comes at the end of a sentence" you actually aren't referring to the predicate with another predicate because they aren't the same thing, they are the same words used two different ways. The subject is the first phrase, the words used to describe a facture of the phrase happened to be the words chosen for the video. He could've said "the phrase "typically comes at the end of a sentence" is most often at the end of sentences" it's a nature of "A" that "B" is usually true. Is what is actually going on not "it's a nature of "A" that "A" that "A" is usually "A". Just because a descriptor happens to also be the name of the tool doesn't make it the same things. It's the same description for two different things, not a predicate for predicate, at Least in the way I understand the word. If it was as he said I don't think we'd be able to make sense of the two sentences together
You can explain things better than any of my philosophy teachers. 10/10 👍
Except this fool thinks Russell's paradox is still a problem in 2023. It was solved by Russell in the theory of types, and in modern set theory, the paradox nowhere appears, because sets can't contain themselves. The point of Russell's paradox is that there is a limit to the notion of size of abstract sets which is set by logic. The proper foundation idea isn't sets, it's computation, and sets are important to the degree they explain properties of computations.
@@annaclarafenyo8185 except you fool thinks the video is about the original set theory paradox and didn't realize the goal of the video is the language version of the problem.
@@capitaopacoca8454 There is no language version of the problem, informal language is vague. That's why people invented formal languages like those of Russell and Whitehead, or modern set theory. Philosophy can only be done with a formal language underpinning because of nonsense like this 'paradox'.
@@annaclarafenyo8185 No, even if you say that "no set can contain itself" then you make M = {x set / x doesn't contain itself} and so M will be the set of all sets because any set doesn't contain itself as your law. Now,
ask again if M contains itself.
M is a set, right? And as a set, it doesn't contain itself. Then matches the definition "x set/ x doesn't contain itself", then M is in that set so M contains M. The paradox remains.
@@bestopinion9257 There is no set of all sets. This is naive set theory, it is inconsistent. You form sets by computational processes iterated an ordinal number of times. That's ZF set theory, it's understood since the 1910s.
How did I suddenly start listening to a lecture? You are a GREAT teacher.
?
@@toby7582 I certainly wasn't planning on hearing a math lecture when I clicked on this, but he is such a good teacher that I stayed.
@@private464 it was pretty good.
I just don't like how in the beginning he's trying to sound like Vsauce.
That gets old pretty fast for me.
But still interesting and impressive backwards writing on that glass or however he's doing it.
@@toby7582 Agreed. It wasn't perfect. Some parts too slow and the end was too fast. I just find it remarkable (literally) that he got me to listen to a whole lecture that I wasn't planning on or even interested in!
@@private464 you weren't interested?
Why click on the video then?
The fact that some infinite sets are contained by others demonstrates Cantor's assertion.
you explained it so well you brought me back to 10th grade maths
I didn't expect to laugh so much in a video about a math paradox. You're a great teacher!
The repetition of 'LeBron James is a 4-time NBA champion' really made it for me.
Then you should read Kant's Critique of Pure Reason.
yea he really combines profound math-expertise while having fun at teaching
i wonder if gödels incompleteness theorems have similar logic and thought behind this paradox with predicates and set theory..who inspired who..it is this overlap of different possibilities until they neutralize themselves or the entire theory almost
@@lawrenceleske3470 i read it in german. i didn't understand a single word, but that's also true if you read it in english
You’re a brilliant teacher; it’s not an easy feat to deliver such an entertaining intro to set theory in several minutes! Looking forward to checking out your other vids. Thanks!
Our shanti Mantra
पूर्णमिदम् पूर्णमद:.....
This is explained in only four lines.
Google it.
How is he good? He is literally terrible in every way. He has no clue what he’s talking about and litterally talks way too much. He talks for the sake of talking in this video.
Russell was so excited with his discovery, he just couldn't contain himself.
I really enjoyed the video. I watched it with my son who’s in 10th grade and we talked a lot about it afterward. One thing that struck me was that trying to prove that numbers are an extension of logic by describing 1 as {x=all the things there can be one of} breaks down immediately if you try to do the problem 1+1. Because sets only contain unique values, “all the things there could be 1 of” and “all the things there can be 2 of” both end up in the set that describes 2. And so I think it means that as soon as there’s a 2, 1 stops existing. So for the “sets that cannot contain themselves” they exist until they contain themselves and then they stop existing. Someone above me mentioned Schrodingers cat and I think there is something about the uncertainty principle here.
You’re a phenomenal instructor/teacher! I took basic college algebra just because it was a requirement for my Bachelors… I have always hated math. The way you explained this was EXCELLENT and I totally understood it.
Thank you for a perfectly clear explanation. I am in my 50's now and value it so much when I can find a concise and intelligent explanation for something I should have learned a long, long time ago but just didn’t. It's like scratching a 30 year itch.
Subscribed. Appreciated.
However, this video's explanation was *Not* concise, and it's *Not* something you should've learned a long, long time ago. :)
Agreed on the quality of the presentation. Though I've studied this problem, Kaplan's presentation brought some aspects into focus. But the real questions raised have not been discussed yet, such as the relationship between set theory and ordinary language, in general and on the point of this paradox. Kaplan says "just saying things about things." But that's exactly what happened in the video itself, it was all "saying things about things." So what is the difference? Needs to be a sequel, I guess there is.
Well this never bothered me (even though it should), mostly because these types of paradoxes exist in all sorts of places. For example, the simplest one I can think of is the statement “I am lying.” If you’re lying while saying that, then you’re telling the truth. If you’re telling the truth while saying that, then you’re lying. Anything that is both self-referential and a negation can create a paradox/contradiction.
This is an excellent explication of Russell's paradox and, despite the idiocy of most of the commentators here, an important idea in mathematics and philosophy. Thanks for posting.
The problem with the bit about predicates is that, when they're being used as the subject of a sentence predicates cease to be predicates. A predicate is a predicate because it's performing the function of a predicate in a sentence. And it is _only_ a predicate _because_ it is performing the function of a predicate in a sentence. At all other times that string of characters is just a string of characters. You can put quotes around the string of characters and use it as the subject of a sentence, but that makes it a different string of characters and the subject of a sentence, it does _not_ restore the quality of 'being a predicate' to the string of characters. This means that the example predicate 'is a predicate' which was used in the video is not, in fact, true of itself in the example sentence given because in the sentence " 'is a predicate' is a predicate." is not actually a true statement. 'is a predicate' is not, in that context, a predicate.
The real irony is that the point which was being made is still valid, Kaplan just used the wrong example. "This sentence is a string of characters." In this example the predicate 'is a string of characters' is true of itself and thus predicates are, as the video was trying to demonstrate, capable of being true of themselves. There were even a few other examples given later in the video that are properly true of themselves, one of which was quite similar to the one I came up with. And yet the guy chose to focus on a predicate that was demonstrably not true of itself to demonstrate that predicates can be true of themselves.
Honestly though, that seems about right for the guy who made a whole video on a topic that's about as useful to talk about as why mathematicians unilaterally decided that any number to the zeroth power is one and any number to the first power is itself. Neither of these things make any logical sense when you break down the math behind them. And yet they are still defined as true because otherwise a great many very important mathematical operations would fall apart.
I like the point you made. I would like to add that rule 11 only said that prediciates CAN be true of themselves. This is that same logic that should be applied to his set theory, that sets CAN contain themselves, but they dont have to.
I wonder, though, why not make a rule that says sets of sets of sets that do not contain themselves cannot be made. (What is that? A set twice removed?) That is the stated exception to rule number 1.
"are still defined as true because otherwise a great many very important mathematical operations would fall apart." Perhaps it is that fact that lends voracity to those statements, i.e. raising a number to the power of zero and one are defined in the way that they are, and why they have remained as such. If you can demonstrate new math where those are not true statements, and that new math exceeds the usefulness of all the math built around those simple facts as they're stated today... then more power to you.
@@thom1218 The problem with the power of zero and the power of one is that by the rules of exponents those aren't even valid operations to perform. Perhaps there's some logical language in which you can define exponents such that raising a number to the power of zero equals one and raising a number to the power of one equals the number you started with, but by the commonly available definitions of exponents, multiplying a number by itself the number of times indicated by the exponent, there is no actual mathematical procedure to perform for the powers of zero and one. You can't multiply a number by itself zero times, nor does multiplying a number by itself once make sense when multiplying it by itself is raising it to the power of two, not one.
I'm not saying I have some new math where it makes sense. I'm saying these represent similar situations where what makes sense doesn't line up with the way things has to work for the systems of logic and math to operate correctly.
Precisely what I thought: a predicate can't be a predicate if it doesn't have a subject. So unless you make up a rule that whatever string that was a predicate in another sentence, keeps the value of being a predicate in a new one, then the logic would cease there.
@@jver1384 His problem was that he got too self-referential
Being told I don't have to remember certain things is surprisingly comforting
It's remarkable how complicated it can be too explain why "This sentence is false" is a paradox
Hmmm not a sentence and false but so true why true sentence this is a thought A statement but to many rules. Are perceptions of an ego rules don’t exist facts exist If quantum particles Behave differently while you observe and differ when not is a matter of fact 😮 do facts differ since they matter?
"I can't write this in a letter to Gottlob Frege because Gottlob Frege is dead" cracked me up.
I spent most of my 20s arguing about the saying “there’s an exception to every rule”. If there’s an exception to every rule, then the rule that there’s an exception to every rule can’t be true because there would be an exception to the rule that’s there’s an exception to every rule, meaning not all rules have exceptions, meaning there isn’t an exception to every rule. That’s about as far as my logical abilities can carry me down a path similar to this
I just posted a comment mentioning that very rule.
You failed to notice the companion rule which exists solely because of this rule.
This rule must not have exceptions.
A rule without exception there is no circumstance in which it needs or could ever have an exception ergo it is the exception to the rule that all rules have an exception ‘including this one’.
Also the exception to rule eleven is that sets can contain themselves except where they reference self non containment.
The truth is the set neither contains itself nor doesn’t contain itself, the opposite is true of the set of sets that contain themselves because that one both does and does not contain itself.
It’s really confusing because it either doesn’t contain itself making it a set that doesn’t contain itself or it does contain itself making it a set that does contain itself both are true but never at the same time it’s in a superposition of two states both are equally true until you pick one and then only that one is true.
The exception to rule eleven follows the opposite concept antiposition ( or whatever you want to call it) where an object cannot be inside or outside and should you try to choose one you must always be wrong.
Do to its state of antiposition the waveform (schroedinger’s cat reference) cannot collapse so it cannot be resolved to inclusion or exclusion.
And yes writing this is giving me a headache I hate conceptual paradoxes.
There are conditions that affect every rule. Perhaps that partially addressed your paradox?
As a backend kotlin/java dev, apparently I knew a lot about sets and predicates without knowing I knew a lot about sets and predicates. Interesting video!
I mean we deal with them all the time in the forms of arrays and whatnot right?
😅
Amazingly great. This is profound and should be widely spread.
Jeffery Kaplan! You are such a cool teacher! This video is mind blowing. I have watched it three times so far. You are so captivating that I enjoy watching it again and again. I like how you bring back 4 time MBA champion Lebron James throughout the video. :)
As someone who never liked mathematics and didn't even try to understand it, i watched this video with so much focus that now this is the main problem in my brain, which i never thought of before
i know how you feel.
Agreed, tho' in my case I do like math, use math in my profession(s), still I found this video thought provoking. One can read/hear something complex or profound for the Nth time, and there are always unrealized nuances to consider.
YES!!!
Everything is nothing and nothing is everything
If only my teachers were like this. "You don't need to remember this" was my internal mantra throughout school, and my grades reflected that. Now, if my teachers said that all the time, I would have way higher grades.
Awe yuh, the ol' -- "its my teachers fault that my grades were so terrible!"
You will find at least one of these under every maths related vid on utube
@@whatshumor7639 So how, (even if he could have done that), would that have made it his fault that you refused to learn anything. It is not your teachers job to force you to learn things. It is you and your parents job.
Schools are not supposed to babysit you.
I went to school and aced every maths related and physics class I took from the first grade on. No one, not parents or teachers forced me to do that
@@whatshumor7639 Oh, I get it, it was a joke! Good job!!!
The Russell's Paradox has been explain and formalised by Gödel in so call "incompleteness theorem" in 1930, and James Margetson developed a computerized formal proof in 2004.
Lol. I’ve been trying to understand maths since I was young. Couldn’t do it. Thought I was just some kind of idiot. The more I delve the more confused I become. Nice video pal.
I've heard several explanations of Russell's Paradox and this is definitely the best. Your students (if you have them) are lucky to have you as a teacher.
We are they.
Informative, and amusing, when played at double speed :)
You are one of his students. He has been your teacher.
@@emdiar6588 They are us.
They=them
I've never laughed so hard learning about math and/or logic, and I'm a university professor, so I've learned a lot of both.
What have you learned ?
May the love and the peace of Jesus be with us.
@@nickelchlorine2753 Neither. Professors teach, don't learn.
May the love and the peace of Jesus be with us.
@@nickelchlorine2753 When did I asked you a question ⁉️
May the love and the peace of Jesus be with us.
@@jwu1950 right there. But may the love of the lord and light be with us.
@@thej3799 Peace. Don't forget peace.
May the love and the peace of Jesus be with us.
Quantum Mechanics, spooky action at a distance, all explained with this Paradox...? Nice work Jeff.
What amuses me about this video is…he is explaining something that only a mathematically minded person would understand or even care about; but his presenting style is the same as a kindergarten teacher might explain Goldilocks and the three Bears to a 4 yr old.
I can't help thinking that on some perverse level Russel was pleased with himself that his ideas had the power to literally blow someones mind.
or it was all pointless rhetoric.
@@honeycat535 Sounds like you just prefer to not think about it.
@@somedudeok1451 Sounds like youre relieved someone replied.
@@honeycat535 ??? I replied to you...
Math as concepts isn't that boring. It's when you use math to do stuff (aka work) that things begin to be boring. Because instead of working I can instead watch UA-cam videos that are much more interesting