I recently rediscovered math (or rather discovered it for the first time) and I loved this video, especially the clip at the end, (I didn't see coming!) he was so articulate and wise. Thank you.
Fantastic video! I've been self studying set theory and was having trouble understanding the notation for this axiom, but this video cleared it up fantastically. Thank you!
Actually, maths and philosophy need similar mindsets in reasoning. Russell himself summarised his life (i don't have the exact words), quote: When i was young and strong, i was a mathematician. When i still had some energy, i became a philosopher. Finally, when i was utterly useless old man, my only job was to be a politician. Even as a politician, he indeed did great things. Some of those being "Atoms for peace" manifesto with Einstein and defended liberty and science from negationists and religious fanatics.
There is a mathematician within every philosopher and there is a philosopher within every mathematician. At the bottom of math you find the base of philosophy, and at the bottom of philosophy you find the base of math. Both ask the same question: What is true?
Amazing video! I am in my second year in my math major and set theory is one of my favourite subjects. This video made the third axiom my favourite one.
Glad it helped! I'm preparing the next videos: axioms 4,5 and 6 will be together ... then the definition of numbers and N ... then axiom 7 and Infinity.
Hi, I’m not very good at understanding the mathematical explanation of the axioms or paradox’s. But I understand the simple explanations. For example I’m watching your axiom playlist. So I watched the video of you doing the catalog. If I had just watched the mathematical explanation using the Set I would be confused. But since I watched the video before and understood that very well, the math explanation wasn’t so confusing. Please do continue to use the basic explanation with no maths along side the mathematical explanation of the same thing. It really helps thanks.
How successful social behavior like curses and blessings becomes addition and subtraction into marketplace is amazing and telling in ways I can't believe it took so long to learn ourselves and how we Triangulate readability and judge thermodynamical systems with legibility. A truly amazing interactive measure. The keys to the cosmos textualism methodology objectivism truly separated us from ancient world bumbling around with shared knowledge just no way to doing anything with it.
Maybe worth noting that there are non-classical, paraconsistent logics within which derivations of the sort you sketched (say, of 1=2 from an arbitrary contradiction) don't work. For example, in typical relevant logics, disjunctive syllogism is not valid.
Yes, thanks for mentioning that ... I was wondering about the possibility of explaining a bit of that but in the end I thought it was too much ... thank you , ciao!!!
Actually, the real power of Zermelo-Fraenkel set theory comes from the axiom scheme of replacement, invented by Abraham Fraenkel. Replacement implies specification, so the axiom of specification can be removed. Replacement asserts that the image of a set under a function (described by a logic formula) is also a set. For each logic formula in the language of set theory there is an axiom, so replacement consists of infinitely many axioms, called an axiom scheme.
No it does not result in a contradiction. Russell was wrong and Frege was right, the set of all sets which do not contain themselves does not contain itself. Consider….there are two sets of men in the town, those who do shave themselves and those who do not who instead, visit the barber. The barber has posted a sign which instructs that he only shaves those who do not shave themselves. The paradox arises when we consider who would shave the barber, i.e, to which set of men would he belong. But the answer is to neither. There are four criteria by which the two sets of men, necessary to the paradox, are defined as such. Three of these four are identical, that they are men, live in town and must be beardless, so the deciding factor is the fourth one, their relationship to shaving, that one shaves themselves and the other not. If this were not so, there would be only one set of men and the paradox would fail. The barber then shares these same three criteria and like with the first two sets of men, it is his relationship to shaving which is the deciding factor as to what set of men to which he would belong. But it is not the same as the other two but rather that he shaves others. If you deny this logic, you deny the means of definition of the first two sets of men and the paradox fails. If you accept it the paradox fails, because it is not a paradox. That Russell could be so far off is astonishing to me, but he was, unless anyone can argue away that I have defined above. I do not think anyone can but would be excited to see someone try. It would be a fun discussion. Any thoughts?
I recently rediscovered math (or rather discovered it for the first time) and I loved this video, especially the clip at the end, (I didn't see coming!) he was so articulate and wise. Thank you.
Fantastic video! I've been self studying set theory and was having trouble understanding the notation for this axiom, but this video cleared it up fantastically. Thank you!
the last bit proves that mathematicians can be good philosophers
Actually, maths and philosophy need similar mindsets in reasoning.
Russell himself summarised his life (i don't have the exact words), quote:
When i was young and strong, i was a mathematician.
When i still had some energy, i became a philosopher.
Finally, when i was utterly useless old man, my only job was to be a politician.
Even as a politician, he indeed did great things. Some of those being "Atoms for peace" manifesto with Einstein and defended liberty and science from negationists and religious fanatics.
There is a mathematician within every philosopher and there is a philosopher within every mathematician. At the bottom of math you find the base of philosophy, and at the bottom of philosophy you find the base of math. Both ask the same question: What is true?
Mathematics is applied philosophy
Amazing video! I am in my second year in my math major and set theory is one of my favourite subjects.
This video made the third axiom my favourite one.
Glad it helped! I'm preparing the next videos:
axioms 4,5 and 6 will be together ...
then the definition of numbers and N ...
then axiom 7 and Infinity.
@@guzmat Amazing! I can't wait
I always heard you can prove anything from a contradictory statement, but never seen the actual construction. Nice
May I ask the reference of the outro video you have given? 7:03
I'm travelling ... i Will answef you when i go back home ...
check the description of this video: ruclips.net/video/ihaB8AFOhZo/видео.html
Hi, I’m not very good at understanding the mathematical explanation of the axioms or paradox’s. But I understand the simple explanations. For example I’m watching your axiom playlist. So I watched the video of you doing the catalog. If I had just watched the mathematical explanation using the Set I would be confused. But since I watched the video before and understood that very well, the math explanation wasn’t so confusing. Please do continue to use the basic explanation with no maths along side the mathematical explanation of the same thing. It really helps thanks.
Thank you!!! I really appreciate your comment, it really helps me to understand what is better. Ciao!!!
* paradoxes
How successful social behavior like curses and blessings becomes addition and subtraction into marketplace is amazing and telling in ways I can't believe it took so long to learn ourselves and how we Triangulate readability and judge thermodynamical systems with legibility.
A truly amazing interactive measure.
The keys to the cosmos textualism methodology objectivism truly separated us from ancient world bumbling around with shared knowledge just no way to doing anything with it.
Maybe worth noting that there are non-classical, paraconsistent logics within which derivations of the sort you sketched (say, of 1=2 from an arbitrary contradiction) don't work. For example, in typical relevant logics, disjunctive syllogism is not valid.
Yes, thanks for mentioning that ... I was wondering about the possibility of explaining a bit of that but in the end I thought it was too much ... thank you , ciao!!!
For Terrence Howard, the most important axiome is 1x1=2
The barber shaves all men who do not shave himself. Who shaves the Barber?
wouldnt you say the "Axiom" of Choice is more important than the Axiom of Specification ?
that's interesting ... we'll discuss that in a few videos from now ...
Actually, the real power of Zermelo-Fraenkel set theory comes from the axiom scheme of replacement, invented by Abraham Fraenkel. Replacement implies specification, so the axiom of specification can be removed. Replacement asserts that the image of a set under a function (described by a logic formula) is also a set. For each logic formula in the language of set theory there is an axiom, so replacement consists of infinitely many axioms, called an axiom scheme.
U Look Like Clever 😜😺
No it does not result in a contradiction. Russell was wrong and Frege was right, the set of all sets which do not contain themselves does not contain itself. Consider….there are two sets of men in the town, those who do shave themselves and those who do not who instead, visit the barber. The barber has posted a sign which instructs that he only shaves those who do not shave themselves. The paradox arises when we consider who would shave the barber, i.e, to which set of men would he belong. But the answer is to neither.
There are four criteria by which the two sets of men, necessary to the paradox, are defined as such. Three of these four are identical, that they are men, live in town and must be beardless, so the deciding factor is the fourth one, their relationship to shaving, that one shaves themselves and the other not. If this were not so, there would be only one set of men and the paradox would fail. The barber then shares these same three criteria and like with the first two sets of men, it is his relationship to shaving which is the deciding factor as to what set of men to which he would belong. But it is not the same as the other two but rather that he shaves others. If you deny this logic, you deny the means of definition of the first two sets of men and the paradox fails. If you accept it the paradox fails, because it is not a paradox. That Russell could be so far off is astonishing to me, but he was, unless anyone can argue away that I have defined above. I do not think anyone can but would be excited to see someone try. It would be a fun discussion.
Any thoughts?
Well, if you don’t like it, you just define a solution out of the blue. Haha, that’s maths.
Exactly! :D
Women do shave