Huh, I'm a native German speaker and I never knew that! Also, apparently, the Q stands for "Quotient" - in case anyone is wondering about this as well :D
Learning these symbols in university is one of the most useful things I've ever learned. You can write out, read, and analyze so many logical and mathematical questions in very concise space, and once you're used to it, it's almost like your brain analyzes the statements more efficiently, too. No more having to read a bunch of English words between every important part of a statement: every individual symbol already communicates an entire idea, and they're all the important parts.
@@silviavalentine3812 I started at uni as a biomedical engineering major, then switched to computer science. All my electives were psychology, formal logic, or philosophy related. That combination meant I had a ton of classes about how to think logically, and so learned all these symbols 😁 Well, almost all of them... I've never heard of those meta-implication symbols 🤷♂ For sane people who don't go overboard on the "teach me how to science" train, there are thankfully channels like this one to teach you 🙂
@@silviavalentine3812 Well, I as a mech engg major, have not even seen these symbols even in lectures, so you must wonder how I know anything about them
Talking about aleph reminded me of this song: Aleph null bottles of beer on the wall, Aleph null bottles of beer; Take one down, pass it around: Aleph null bottles of beer on the wall.
Would that work in cultures that use the Hebrew letters for numbers? The subscript 0 might help differentiate, but there is no symbol for 0 in traditional Hebrew.
@@ItsPForPea Mathematicians might. Doesn't mean everyone does, or for all purposes. Just this week, I came across an 800-year-old text describing how to get the area of a circle, and an 1600-year-old text discussing the ratios of the circumferences and areas of circles and squares inscribed in one another. Hindu-Arabic numerals appeared nowhere.
For anyone who wants to pursue a math major, this will become one of the most helpful videos you'll ever watch, because you'll never stop seeing these symbols no matter which field of math you're in.
It's also really helpful just utility-wise for anyone who's studying or using a lot of math or logic. I learned these symbols when I took a course in discrete math in college, and it's revolutionized how I've taken notes for classes ever since. It's really quick and convenient shorthand.
00:28 ∧ And 01:14 ∨ Or 01:55 ⊕ Exclusive or 02:25 ¬ Negation (sometimes ∼) 03:07 → Implication 03:41 ⟷ If and only if 04:30 ⇒, ⇐, ⇔ Statements about statements (meta-statement) 06:00 ∀, ∃ Quantifiers, ”for all”, ”there exists” 07:37 ∄ Not exists 08:06 Sets 09:14 ∅ The empty set 10:47 A \ B Set difference (”the part of A 11:55 A^C Complement (”the part outside”) 13:25 A ∩ B Intersection (”the common part of A and B”) 14:14 A ∪ B Union (”everything that is in A or in B”) 14:38 ⊂, ⊆ Set inclusion, subset 15:50 ⊂, ⊊ Set inclusion, strict subset 16:14 ⊈ Not a subset 16:43 ∈, ∉ Membership, element of 18:07 Blackboard bolt font, i.e., N 18:29 ℕ The set of natural numbers (0 is a natural number) 18:57 ℤ The set of integers 19:18 ℚ The set of rational numbers 19:51 ℝ The set of real numbers 20:09 ℂ The set of complex numbers 20:24 Hebrew letters Aleph, Beth, Gimel Daleth
Three logicians walk into a bar. The bartender asks, "Will you all be having a drink?" The first logician says, "I don't know." The second logician says, "I don't know." The third logician says, "Yes."
@@sk8rdmanThe third logician heard the first two. Imagine if the first one didn't want to have a drink, what would he have said to "Will you all be having a drink?", interpreted literally as "Does every single one of you want a drink?" ?
As a Norwegian, I cinsider the empty set to be a different symbol from Ø. Our letter tends to be taller and aligned like O but with a slash, while the empty set tends to be perfectly round and not aligned to the baseline of your writing. They do look very similar though.
If you typeset \emptyset on LaTex you get exactly the symbol you describe as your letter. But almost everybody prefers \varnothing which is the rounded one 😅
I used to write my naughts with a cross through the middle to help distinguish between “0” and “O”, until I learned that Ø is more commonly used to refer to “null” or “nothing” instead of just “zero”
I (for one) would love to see more videos on symbology and notation. I think it is one of the things that can be really overwhelming when you are trying to wrap your head around a new mathematical concept. Peeling back the layers of abstraction is what you do best, Brady!
The lack of explanation for the symbols has often been my undoing to understanding many Wikipedia articles on mathematics. Thank you for filling that gap.
@@analogueavenue I feel personally attacked :p This suggestion likely ends up in recursive Wikipedia rabbit-holes until my stamina is depleted. Great, now I know all about the Crimean War... but what was I looking up again?
I feel either sad for your lacking school system, or happy for you that you are young enough not to have been introduced to them while already being interested in mathematics.
@@IllidanS4 No need to feel sad, though it probably should have been covered in school. I'm an adult with a bachelor's education including a fair amount of math. You don't need to know set notation to do a lot of math.
I swear, I got to calc and they were throwing out all these symbols as if we should know them and I was like "Bro I've never seen these things in my life, explain please" and then they wouldn't explain so I'd look it up when I got home
Outside set theory, horizontal arrow (→) has a bunch of meanings and contexts, but one you'll see a lot in mathematics is "from...to..." in function notation, to indicate that a function or operator takes you from one set to another. e.g. "a function f from A to B" is written as f : A→B. Another one you'll see a lot is "as...goes to..." in the context of limits. For example, under the limit symbol "lim" you might see "x→∞" and it means "as x goes to infinity". "Goes to" can also be read as "approaches".
The function notation, while coincidentally the same, actually has a connection to implication. In Proof/Type Theoretic context, an implication, e.g P -> Q, is a function from proofs of P to proofs of Q.
Also in programming, like *(shutter)* MathCAD, it's basically the equals sign, used to set and assign variables. I'm sure this is from some other -- actual -- programming language, but I don't know that one.
@@stapler942 I used Maple in secondary school and first year of Uni, that software uses := as the assignment operator. Never seen that anywhere else, but because of that tool, I have used it as an assignment operator on whiteboard/paper when doing maths, to distinguish it from equality. Always got wonderfully complicated when doing multiple courses in a study session and switching between writing pseudocode and maths on the whiteboard
@@rubiks6 ... No. When I made the comment it was not raining where I live. I'm pretty sure it was raining somewhere else in the country, though. No, definitely. It was 100% raining somewhere.
They... Sorry, they hated...what? School, set theory, kids or... Life? I am asking curious ofc, ironic vs your parents and a bit sad for you, but i said maybe I'm misunderstanding something?@ I can imagine how a child could be annoying if he literally has fun in writing you a language you don't know and pretend you understand it. Personally I would have done worse. But... you used the word "hated it"... 😳
9:26 not quite!! they're similar, but there is a difference between the open set symbol ∅ and the danish letter ø. it doesn't matter in most disciplines, but it's significant in, for instance, linguistics, where /ø/ represents a specific vowel, while ∅ means no sound at all. so like, u → ø / _N means that the /u/ vowel becomes the /ø/ vowel before a nasal, whereas u → ∅ / _N means that the /u/ vowel becomes completely silent
In the 60's, my math teacher termed intersection and union as cap and cup, with the empty set being "Oink!", which was always amusing. But then he also call factorial as "Shriek!".
Of course, there are symbols for cap product and cup product in algebraic topology, sometimes they look like intersection and union, but also drawn as flatter wider symbols.
! is also a logical symbol that sort of works like the definite article, so "!x" is "THE x". I think shriek is the standard way to read it, as that's what my logic professor read it as.
For more context, double arrow is sometimes referred to as entailment. Single arrow is a symbol within the language. Double arrow is a metalanguage symbol. It is also sometimes denoted with the double turnstile ⊨. Single arrow can only be written as A →B. However entailment can be written as follows: P, Q, R ⊨ S. The above statement says if P, Q, R are assigned the "true" value, then S must have a "true" value assignment.
@@jarlsparkley Single arrow is exclusively a statement within a language. Double arrow is a statement about the language. It's true that if A ⊨ B, then A →B if A and B are sentences. But we could use ⊨ for the following statement Γ ⊨ Δ, where Γ and Δ are sets of sentences in which case Γ → Δ doesn't make sense.
I don't know what he was going off when he was talking about the two different interpretations of implication but they are the same. The only reason why two different versions exist was literally due to printing. Turnstile only has it to differentiate between models and proofs
@@odineinmann5299 Depending on the metalogic textbook, double arrow is used when doing derivations in sequent calculus. The textbook that was used in my metalogic class used double arrow in derivations of theorems
I remember my freshman year in uni, by far the hardest part was wrapping my head around logic symbols and, in particular, the difference between "if" and "if and only if". The definition of continuity for functions was a nightmare! The next year I went to another department where they had a course in first order logic and patiently explained all this stuff. Suddenly everything became clear and I fell in love with math and logic!
My intro to discreet mathematics professor would really appreciate you explaining this. 😂 They complained about the way we overused and misused the implication arrows. There's just not enough time in most of your academic career to get the background needed. Appreciate the supplement.❤
Mathematical logic and number theory have been my twin academic passions since graduating with my degree in cognitive science in 2000. Looking forward to the follow-up video.
At last, a numberphile video where I'm actually familiar with the topic being discussed. The only thing I didn't know was the difference between -> and =>. In my courses, we usually use => for all implications, while -> is reserved for stuff like function definitions, such as f: R -> R.
If you're CS or formal-logic inclined, an implication of P -> Q is actually a function from a proof of P to a proof of Q by the Curry-Howard Correspondence. Also, I never see => get used in the fields I'm in. It's not worth the confusion in most cases frees up an arrow notation type for some other operation.
When I first saw high level mathematics some of these symbols looked like variables to me, so it didn’t make any sense. I think lot’s of people would find this video extremely helpful.
A Numberphile video on Russell's paradox and set theory size issues by a logician like this guy would be amazing. He explains things very well without sacrificing accuracy in name of simplicity, as logicians typically do.
Please do make another video on the other symbols. It’s a great refresher for me. Also could you go more into the differences between the double and single line Arrows, I remember being told to only use double arrows for logical statements. So it would be nice to understand the differences.
notes: 1:46 - "OR" does not mean "only one can be true", that is "XOR" or "Exclusive OR", in this case "OR" will require one or more to be true. 2:08 - although we don't use XOR a lot in math, but It can be use full in Computer Science and sometimes Crytography, take the lorenze cipher machine from WWII for example 9:47 - the way I interpret the empty set symbol, is to have a set (the circle on a viendiagram) and you have nothing in it (the slash) 12:30 - sometime we use a bar on top, or a dot on top, or we use the "prime" on the exponential position 17:03 - my way of interpreting the symbol is to translate it to "belongs to", eg "a belongs to A"
In case you find the descriptions of set operations a little abstract: using Venn diagrams helped me to grasp set operations like union, intersection and difference. You see the bunch of pictures once, and you will probably remember it forever.
The difference between the implication (single bar arrow) and inference (double bar arrow), and the reason the latter is needed is illustrated in Lewis Carroll's "What the Tortoise Said to Achilles"
When I was in elementary school I remember being taught that the Natural numbers are also known as the counting numbers and are basically the integers greater than zero; the Whole numbers is basically the same PLUS zero (non-negative integers); and then the rest are as Karagila described. Though I never understood why there was such a minor distinction between Natural numbers (people in general start counting at 1 etc) and Whole numbers.
18:30 Those letters are more-properly called _doublestruck._ As in, if you were on a manual typewriter, you would type the letter, backspace, and type it again. (Most of the time, the first and second would not be in exactly the same horizontal position because the backspace isn't that precise.)
In my country we either use the apostrophe ‘ or a horizontal bar above the letter to denote the complement of a set. Set notations are usually taught around 10th grade here, while I only learnt logic symbols when i was in a number theory class even though at that point we could just write in words if we wanted to.
[computer nerd rage engaged] 😠 Umm ACKSHUALLY, U+00D8 Ø Latin Capital Letter O With Stroke is not the same letter as U+2205 ∅ Empty Set, nor is it the same character as U+2300 ⌀ Diameter Sign. But you are completely right, it is not even close to U+03A6 Φ Greek Capital Letter Phi.
I have a tattoo of the Axiom of Infinity from ZFC set theory on my left shoulder. Part of the reason that I chose that axiom in particular is that it literally has no numbers in it: it's just a bunch of symbols. When I got the tattoo, I used to tell people that I know two languages: English and Mathematics. And the tattoo helped prove my point. Since that time I've learned Spanish, so now I know three languages. It was pretty cool that when I went to Colombia a couple of years ago, one of my friends was able to read my tattoo using the Spanish words for all of the symbols.
Awesome video!!! Just didn't get in 14:34 when it shows {evens} U {odds} = {Natural} I thought the result should be the whole set of Integers bc there are negative evens and odds too. Am I missing something?
Everyone should learn a bit of logic and set theory. It's a great foundation for realising that common sense and rational thinking isn't quite so simple as many think.
Don't know many of the symbols but know enough of the concepts from college and engineering math as in logic circuit design, switching theory or programming a computer in Fortran or some high level language. I must be under a rock but functional for so many years.
Amazing video, this will be so useful to so many people, and it’s why I’ve supported and loved Numberphile for so long! There is a slight error with the mathbb Q, R, Z, N letters at the end that might confuse people. The video says double strike R is the real numbers, eg {some subset of real numbers}. There should be … after these examples, because double strike R is always the set of EVERY real number. Same for the other examples (Q Z N).
I learned it this way in elementary school, but any serious work I do or see includes 0 in the Naturals and uses Z+ when needing only the positive integers.
Within the last few years, I took both Discrete Math for Computing and Symbolic Logic at University and it was interesting to see how much overlap there was, but how it was presented a bit differently.
Exclusive or is very important - it's the "non-carry" part of addition. When you add two bits, the "sum" is bit1 xor bit2, and the "carry" is bit1 ^ bit2 (bit1 and bit2). Actually you'd need to consider the carry in from the prior bit, so you'd have sum = bit1 xor bit2 xor carry_in, and carry_out = (bit1 and bit2) or (bit1 and carry) or (bit2 and carry). That is, so long as at least two inputs are true, the carry out will be true.
I needed this video 12 years ago when I did attempted the mathematical analysis course at uni...
9 месяцев назад
can you guys explain the difference between the implication symbols?? As a maths student I’m very curious about it. I’ve always resorted to the double line one for everything, because that’s how every teacher and textbook does it. At least, any exceptions have flown under my radar.
You can construct and, or, xor, negation using either the NAND/AND operator or the NOR/OR operator. Digital logic makes use of these building blocks to construct other logic functions. You can build any logical machine using only one operator.
Symbolic logic and bitwise operators should be taught to kids in middle school or high school as a baseline part of the curriculum. They're so helpful in learning how to think about and solve problems. Even if you don't ever use them formally, understanding the basic ideas behind these symbols is massively helpful.
It has been so long since I was a student that I don't remember: Is there a symbol for the set of irrational numbers? What about pure imaginary numbers? I understand N for natural, R for real, Q for rational (quotients), and C for complex, but why Z for integers?
It’s ℙ or 𝕁 for the irrationals. Though, ℙ has a lot of different meanings and 𝕁 seems rather rarely used ℂ \ ℚ would be more reliably understood. And also seems like a reasonable choice given how the irrationals are kinda just defined by excluding the rationals I think 𝕀 or 𝕚 is used for the set of imaginary numbers (the complex numbers without a real component)
Finally someone is explaining all Sixty of these Symbols
😂
I like this pun
Top comment tbh
Ooh, i just thought of a name for a channel.
I see what you did there
18:56 For anyone wondering why integer is Z, it's from German “Zahlen” which means “numbers”.
I guess I always assumed it was a handy sideways N, but that makes more sense!
Huh, I'm a native German speaker and I never knew that! Also, apparently, the Q stands for "Quotient" - in case anyone is wondering about this as well :D
I've always thought it's just a "italic" version of 𝕀, since I mostly encounter it as ℤ. Never really thought about it though, thanks!
My teacher said, "Ze Integers"
@@agisfcp ze integerz
Learning these symbols in university is one of the most useful things I've ever learned. You can write out, read, and analyze so many logical and mathematical questions in very concise space, and once you're used to it, it's almost like your brain analyzes the statements more efficiently, too. No more having to read a bunch of English words between every important part of a statement: every individual symbol already communicates an entire idea, and they're all the important parts.
I didn't get to learn them :(
@@silviavalentine3812 I started at uni as a biomedical engineering major, then switched to computer science. All my electives were psychology, formal logic, or philosophy related. That combination meant I had a ton of classes about how to think logically, and so learned all these symbols 😁 Well, almost all of them... I've never heard of those meta-implication symbols 🤷♂
For sane people who don't go overboard on the "teach me how to science" train, there are thankfully channels like this one to teach you 🙂
@@IceMetalPunk i went to college as a physics+astronomy dual major and whenever they used these symbols they just assumed we knew them already 😥
I learned boolean. Different logic notation, same thing.
@@silviavalentine3812 Well, I as a mech engg major, have not even seen these symbols even in lectures, so you must wonder how I know anything about them
Talking about aleph reminded me of this song:
Aleph null bottles of beer on the wall,
Aleph null bottles of beer;
Take one down, pass it around:
Aleph null bottles of beer on the wall.
Cheers mate! 🍻
Would that work in cultures that use the Hebrew letters for numbers? The subscript 0 might help differentiate, but there is no symbol for 0 in traditional Hebrew.
@@menachemsalomonpretty sure every mathematicians in the world agrees to use hinduarabic numbers
@@ItsPForPea Mathematicians might. Doesn't mean everyone does, or for all purposes. Just this week, I came across an 800-year-old text describing how to get the area of a circle, and an 1600-year-old text discussing the ratios of the circumferences and areas of circles and squares inscribed in one another. Hindu-Arabic numerals appeared nowhere.
Gematria and isopsephy are interesting areas.
For anyone who wants to pursue a math major, this will become one of the most helpful videos you'll ever watch, because you'll never stop seeing these symbols no matter which field of math you're in.
It’s also quite useful in computer science.
I mean even if you're just reading a paper as a lay person, this can turn a bunch of hieroglyphs into an actual message lol
There's also a free pdf of "Book of Proof" that goes over actually using these symbols.
I am in engineering I also see these symbols all the time. Especially in papers that use optimization
It's also really helpful just utility-wise for anyone who's studying or using a lot of math or logic. I learned these symbols when I took a course in discrete math in college, and it's revolutionized how I've taken notes for classes ever since. It's really quick and convenient shorthand.
This will become one of the most viewed numberphile videos
You are exactly right👀ツ
==>
I am watching this for amateurs reasons
¯\_(ツ)_/¯
Quick, somebody post a list of the symbols so everyone can copy and paste them
Only if it would be linked every time one of these is used
I think that the views on this video ≴ the views of the #1 video and ≷ the second most viewed video (⊭)
@@whophd wikipedia has a list at List_of_logic_symbols
00:28 ∧ And
01:14 ∨ Or
01:55 ⊕ Exclusive or
02:25 ¬ Negation (sometimes ∼)
03:07 → Implication
03:41 ⟷ If and only if
04:30 ⇒, ⇐, ⇔ Statements about statements (meta-statement)
06:00 ∀, ∃ Quantifiers, ”for all”, ”there exists”
07:37 ∄ Not exists
08:06 Sets
09:14 ∅ The empty set
10:47 A \ B Set difference (”the part of A
11:55 A^C Complement (”the part outside”)
13:25 A ∩ B Intersection (”the common part of A and B”) 14:14 A ∪ B Union (”everything that is in A or in B”)
14:38 ⊂, ⊆ Set inclusion, subset
15:50 ⊂, ⊊ Set inclusion, strict subset
16:14 ⊈ Not a subset
16:43 ∈, ∉ Membership, element of
18:07 Blackboard bolt font, i.e., N
18:29 ℕ The set of natural numbers (0 is a natural number)
18:57 ℤ The set of integers
19:18 ℚ The set of rational numbers
19:51 ℝ The set of real numbers
20:09 ℂ The set of complex numbers
20:24 Hebrew letters Aleph, Beth, Gimel Daleth
Many thanks
Thanks a lot 🌹
I can finally understand the last 8 years of numberphile videos
you could be a set theorist!
I can’t wait to use first order set theory to complete my Precalculus homework ;)
lol
Loving the subtle addition of -1/12 in *Q*
22/7 jumped out as well. Got me wondering if there's something to 4/7 or 5/28!
Three logicians walk into a bar. The bartender asks, "Will you all be having a drink?"
The first logician says, "I don't know."
The second logician says, "I don't know."
The third logician says, "Yes."
^ this
Please explain.
@@sk8rdmanThe third logician heard the first two. Imagine if the first one didn't want to have a drink, what would he have said to "Will you all be having a drink?", interpreted literally as "Does every single one of you want a drink?" ?
@@chaddaifouche536 I see. That makes sense.
@@chaddaifouche536well if he didn't want a drink he could have easily said "no", that's how the last one knew that they all wanted a drink.
As a Norwegian, I cinsider the empty set to be a different symbol from Ø. Our letter tends to be taller and aligned like O but with a slash, while the empty set tends to be perfectly round and not aligned to the baseline of your writing. They do look very similar though.
Cinsider? ©?
If you typeset \emptyset on LaTex you get exactly the symbol you describe as your letter. But almost everybody prefers \varnothing which is the rounded one 😅
Yeah, I think the symbol started as "Ø" but got stylized over time. Kind of like how ∀ and ∃ lost their serifs.
I used to write my naughts with a cross through the middle to help distinguish between “0” and “O”, until I learned that Ø is more commonly used to refer to “null” or “nothing” instead of just “zero”
@@nickcook2775there's a lot of this in hand notation and it's the thing I burned on more than once
I (for one) would love to see more videos on symbology and notation. I think it is one of the things that can be really overwhelming when you are trying to wrap your head around a new mathematical concept. Peeling back the layers of abstraction is what you do best, Brady!
The lack of explanation for the symbols has often been my undoing to understanding many Wikipedia articles on mathematics. Thank you for filling that gap.
@@analogueavenue I feel personally attacked :p
This suggestion likely ends up in recursive Wikipedia rabbit-holes until my stamina is depleted. Great, now I know all about the Crimean War... but what was I looking up again?
I feel either sad for your lacking school system, or happy for you that you are young enough not to have been introduced to them while already being interested in mathematics.
@@IllidanS4 No need to feel sad, though it probably should have been covered in school. I'm an adult with a bachelor's education including a fair amount of math. You don't need to know set notation to do a lot of math.
Honestly, Wikipedia is particularly overcomplicated when it comes to math, even ignoring the liberal use of niche notation
Wikipedia makes no effort to teach maths. It always lists math in the most unhelpful way possible, in my experience.
Professor Blackboard Boldface was truly one of the best maths popularisers of his time.
Even more popular than Marcel Triangle, the first person to prove the Triangle Inequality.
I prefer Professor Definitely I. Doublestruck.
what about Professor Barry L. Postulate
I like Numberphile Λ I look forward to next Numberphile video
"what are these symbols?"
-an unsuspecting student joining the calc 2 course
unfortunately many calc 2 classes don't include these symbols. I personally learned it in a discrete math class.
@@FunctionallyLiteratePerson same, and also in logic
tbf continuous calculus and set theory/logic are two entirely different branches of mathematics, so it's unsurprising calc classes don't cover it
@@FunctionallyLiteratePerson yo fr, i know 'V (all)' the symbols in the video thumbnail bcoz i encountered em in discreet math 😂
I swear, I got to calc and they were throwing out all these symbols as if we should know them and I was like "Bro I've never seen these things in my life, explain please" and then they wouldn't explain so I'd look it up when I got home
Outside set theory, horizontal arrow (→) has a bunch of meanings and contexts, but one you'll see a lot in mathematics is "from...to..." in function notation, to indicate that a function or operator takes you from one set to another.
e.g. "a function f from A to B" is written as f : A→B.
Another one you'll see a lot is "as...goes to..." in the context of limits. For example, under the limit symbol "lim" you might see "x→∞" and it means "as x goes to infinity". "Goes to" can also be read as "approaches".
The function notation, while coincidentally the same, actually has a connection to implication. In Proof/Type Theoretic context, an implication, e.g P -> Q, is a function from proofs of P to proofs of Q.
@@MadocComadrin And what symbol do you use for a conditional?
Also in programming, like *(shutter)* MathCAD, it's basically the equals sign, used to set and assign variables. I'm sure this is from some other -- actual -- programming language, but I don't know that one.
@@kindlin I've seen
@@stapler942 I used Maple in secondary school and first year of Uni, that software uses := as the assignment operator. Never seen that anywhere else, but because of that tool, I have used it as an assignment operator on whiteboard/paper when doing maths, to distinguish it from equality. Always got wonderfully complicated when doing multiple courses in a study session and switching between writing pseudocode and maths on the whiteboard
∃! will always be my favourite one.
There exists exactly one. Not useful in pure math, but for note-taking, it's awesome.
i disagree, it can be quite useful, some theorems become much more powerful with this !, like prime decomposition
The etymology of mathematical symbols is so complex. The history is deeper than just ancient Greek
Yeah I'm not even sure if it's etymology at that point. Symbology? Semiotics? Honestly this is a fascinating question!
@@stapler942 Mathietysymbiosiothensistemoptica
Wumbology.
@@stapler942 Lexicography?
As someone in Brazil, can confirm is it not currently raining.
Are you sure? It's a big country.
@@rubiks6 ...
No.
When I made the comment it was not raining where I live. I'm pretty sure it was raining somewhere else in the country, though.
No, definitely. It was 100% raining somewhere.
@@4thalt - 🌦😄.
If all the trees were not burnt down, it probably would be raining due to the evapotransporation of moisture to the air.
@@thevikingwarrior I can also confirm there are still trees
You could literally describe things without saying or writing a word. It's mindblowing. People should be learning this thing since elementary schools.
I learned basic set theory in elementary. Grateful for that for life (it was sadly just a temporary phase, since parents generally hated it).
They... Sorry, they hated...what? School, set theory, kids or... Life?
I am asking curious ofc, ironic vs your parents and a bit sad for you, but i said maybe I'm misunderstanding something?@
I can imagine how a child could be annoying if he literally has fun in writing you a language you don't know and pretend you understand it. Personally I would have done worse. But... you used the word "hated it"... 😳
9:26 not quite!! they're similar, but there is a difference between the open set symbol ∅ and the danish letter ø. it doesn't matter in most disciplines, but it's significant in, for instance, linguistics, where /ø/ represents a specific vowel, while ∅ means no sound at all. so like, u → ø / _N means that the /u/ vowel becomes the /ø/ vowel before a nasal, whereas u → ∅ / _N means that the /u/ vowel becomes completely silent
How do you distinguish these in handwriting?
This was a much-needed refresher, and delightful to hear Brady jumping ahead in understanding as Asaf explains.
This video is amazing. Please do the rest of the symbols because that would be excellent.
In the 60's, my math teacher termed intersection and union as cap and cup, with the empty set being "Oink!", which was always amusing. But then he also call factorial as "Shriek!".
so the cap of cup and cap is {c, p} and the cup of cup and cap is cuap
In LaTeX \cap and \cup are actually the commands you use to get those.
Of course, there are symbols for cap product and cup product in algebraic topology, sometimes they look like intersection and union, but also drawn as flatter wider symbols.
! is also a logical symbol that sort of works like the definite article, so "!x" is "THE x". I think shriek is the standard way to read it, as that's what my logic professor read it as.
@@radeklew1 not forgetting the derangement symbol !. ∀∞ n ∈ ℕ, n!! < !n < n!
An Aleph video with Asaf is hype beyond measure
Please more logic exploration!
For more context, double arrow is sometimes referred to as entailment. Single arrow is a symbol within the language. Double arrow is a metalanguage symbol. It is also sometimes denoted with the double turnstile ⊨. Single arrow can only be written as A →B. However entailment can be written as follows: P, Q, R ⊨ S. The above statement says if P, Q, R are assigned the "true" value, then S must have a "true" value assignment.
So like, can I think of it as a single arrow can be used when the statement can be deduced from the framework?
@@jarlsparkley Single arrow is exclusively a statement within a language. Double arrow is a statement about the language. It's true that if A ⊨ B, then A →B if A and B are sentences. But we could use ⊨ for the following statement Γ ⊨ Δ, where Γ and Δ are sets of sentences in which case Γ → Δ doesn't make sense.
I don't know what he was going off when he was talking about the two different interpretations of implication but they are the same. The only reason why two different versions exist was literally due to printing. Turnstile only has it to differentiate between models and proofs
So...
(P^Q^R)→S
?
@@odineinmann5299 Depending on the metalogic textbook, double arrow is used when doing derivations in sequent calculus. The textbook that was used in my metalogic class used double arrow in derivations of theorems
I could listen to this guy all day
I remember my freshman year in uni, by far the hardest part was wrapping my head around logic symbols and, in particular, the difference between "if" and "if and only if". The definition of continuity for functions was a nightmare!
The next year I went to another department where they had a course in first order logic and patiently explained all this stuff. Suddenly everything became clear and I fell in love with math and logic!
I can’t believe you released this the day of my discrete math test. Thank you so much, this is exactly what I needed.
My intro to discreet mathematics professor would really appreciate you explaining this. 😂
They complained about the way we overused and misused the implication arrows. There's just not enough time in most of your academic career to get the background needed. Appreciate the supplement.❤
Yes please continue this and cover the rest of the symbols.
I really like the questions! That clarifies things way more! Thanks prof and Brady!
My favorite is "for all" and "there exists"
He’s a really good teacher
Got a midterm for my intro to analysis class in 20. Good thing you posted just in time. 🙏
You should definitely make a video that covers all of the symbols!
Wow... This guy just gave me a quick refresher of Set Theory.
Mathematical logic and number theory have been my twin academic passions since graduating with my degree in cognitive science in 2000. Looking forward to the follow-up video.
At last, a numberphile video where I'm actually familiar with the topic being discussed. The only thing I didn't know was the difference between -> and =>. In my courses, we usually use => for all implications, while -> is reserved for stuff like function definitions, such as f: R -> R.
If you're CS or formal-logic inclined, an implication of P -> Q is actually a function from a proof of P to a proof of Q by the Curry-Howard Correspondence.
Also, I never see => get used in the fields I'm in. It's not worth the confusion in most cases frees up an arrow notation type for some other operation.
What do you use for a conditional?
asaf karaglia is the goat, love him
Absolutely wonderful! Yes, please do a future video covering logician math symbols, as you mention you would if enough people requested it. Thanks!
its so impressive how quickly brady picks this stuff up and always asks pertinent questions
Finally someone explains it
When I first saw high level mathematics some of these symbols looked like variables to me, so it didn’t make any sense. I think lot’s of people would find this video extremely helpful.
A Numberphile video on Russell's paradox and set theory size issues by a logician like this guy would be amazing. He explains things very well without sacrificing accuracy in name of simplicity, as logicians typically do.
Veritasium and Numberphile both popping off with awesome math videos on the same day!
Hyped for the explanation of those last symbols!
I’ve watched tonnes of Numberphile videos but this was one of the most fascinating
Please do make another video on the other symbols. It’s a great refresher for me.
Also could you go more into the differences between the double and single line Arrows, I remember being told to only use double arrows for logical statements. So it would be nice to understand the differences.
notes:
1:46 - "OR" does not mean "only one can be true", that is "XOR" or "Exclusive OR", in this case "OR" will require one or more to be true.
2:08 - although we don't use XOR a lot in math, but It can be use full in Computer Science and sometimes Crytography, take the lorenze cipher machine from WWII for example
9:47 - the way I interpret the empty set symbol, is to have a set (the circle on a viendiagram) and you have nothing in it (the slash)
12:30 - sometime we use a bar on top, or a dot on top, or we use the "prime" on the exponential position
17:03 - my way of interpreting the symbol is to translate it to "belongs to", eg "a belongs to A"
Brady has a Light Saber sitting on his shelf?! I always knew he was a Jedi Knight!
Here's the story: ruclips.net/video/eziNiGMIRCw/видео.html
@@numberphile That was a great story! Thanks for sharing it with us!
😂
@@numberphile I'm trying to figure out what the flap display panel is on Asaf's left (on the wall to the right of the periodic table).
In case you find the descriptions of set operations a little abstract: using Venn diagrams helped me to grasp set operations like union, intersection and difference. You see the bunch of pictures once, and you will probably remember it forever.
This is so important and helpful.
The difference between the implication (single bar arrow) and inference (double bar arrow), and the reason the latter is needed is illustrated in Lewis Carroll's "What the Tortoise Said to Achilles"
Numberphile posts > I click
Me 3h later
When I was in elementary school I remember being taught that the Natural numbers are also known as the counting numbers and are basically the integers greater than zero; the Whole numbers is basically the same PLUS zero (non-negative integers); and then the rest are as Karagila described. Though I never understood why there was such a minor distinction between Natural numbers (people in general start counting at 1 etc) and Whole numbers.
Yes, more. I haven't even finished this yet, but yes, more please. I will watch every single one happily.
What's the name of the "Paper Change" song?! Been looking for it for ages since I discovered this channel!
I know there are tonnes of comments in the same spirit, but Brady is on fire in recent Numberphile videos, asking all the best questions!
The "Paper Change" transition is really cute
I've long been fascinated by these symbols - the ultimate secret handshake!
Took me back to the school days. Happy I still remembered all of them
18:30 Those letters are more-properly called _doublestruck._ As in, if you were on a manual typewriter, you would type the letter, backspace, and type it again. (Most of the time, the first and second would not be in exactly the same horizontal position because the backspace isn't that precise.)
More of these basics that I've forgotten already!
I would like a video on the difference between the two types of arrows!
This is an excellent video
In my country we either use the apostrophe ‘ or a horizontal bar above the letter to denote the complement of a set.
Set notations are usually taught around 10th grade here, while I only learnt logic symbols when i was in a number theory class even though at that point we could just write in words if we wanted to.
@13:55 we learned to say A cap B and A cup B for these two symbols
[computer nerd rage engaged] 😠 Umm ACKSHUALLY, U+00D8 Ø Latin Capital Letter O With Stroke is not the same letter as U+2205 ∅ Empty Set, nor is it the same character as U+2300 ⌀ Diameter Sign. But you are completely right, it is not even close to U+03A6 Φ Greek Capital Letter Phi.
You need to write this out with the new symbols we just learned, so we can understand it😂
I have a tattoo of the Axiom of Infinity from ZFC set theory on my left shoulder. Part of the reason that I chose that axiom in particular is that it literally has no numbers in it: it's just a bunch of symbols.
When I got the tattoo, I used to tell people that I know two languages: English and Mathematics. And the tattoo helped prove my point. Since that time I've learned Spanish, so now I know three languages. It was pretty cool that when I went to Colombia a couple of years ago, one of my friends was able to read my tattoo using the Spanish words for all of the symbols.
9:31 Although they look very similar, the letter Ø and the null sign (∅) are typographically and technically different
Awesome video!!!
Just didn't get in 14:34 when it shows {evens} U {odds} = {Natural} I thought the result should be the whole set of Integers bc there are negative evens and odds too.
Am I missing something?
Everyone should learn a bit of logic and set theory. It's a great foundation for realising that common sense and rational thinking isn't quite so simple as many think.
2:43 Sometimes people also draw a horizontal bar over the statement symbol to denote "not".
Don't know many of the symbols but know enough of the concepts from college and engineering math as in logic circuit design, switching theory or programming a computer in Fortran or some high level language. I must be under a rock but functional for so many years.
Excellent presentation! I'll welcome deeper videos on fubdamental logic anytime!
Amazing video, this will be so useful to so many people, and it’s why I’ve supported and loved Numberphile for so long!
There is a slight error with the mathbb Q, R, Z, N letters at the end that might confuse people. The video says double strike R is the real numbers, eg {some subset of real numbers}. There should be … after these examples, because double strike R is always the set of EVERY real number. Same for the other examples (Q Z N).
18:46 what I learned is that the natural numbers are 1, 2, 3, and so on and that 0, along with the natural numbers, is a whole number
I learned it this way in elementary school, but any serious work I do or see includes 0 in the Naturals and uses Z+ when needing only the positive integers.
can't wait for the upcoming videos
Finally a numberphile video I knew completely already ❤
Yes, follow-up video, please! 🙏
Within the last few years, I took both Discrete Math for Computing and Symbolic Logic at University and it was interesting to see how much overlap there was, but how it was presented a bit differently.
I formally request the explanation of the other symbols left behind at 7:51. Thank you good sir.
I think Brady could be a good mathematician. His questions are always on point, meaning he has intuition on the subject
I'm torn between the relief of refreshing my memory, and putting up wards to dispel any Calc III nightmares I'll have tonight, haha
Exclusive or is very important - it's the "non-carry" part of addition. When you add two bits, the "sum" is bit1 xor bit2, and the "carry" is bit1 ^ bit2 (bit1 and bit2). Actually you'd need to consider the carry in from the prior bit, so you'd have sum = bit1 xor bit2 xor carry_in, and carry_out = (bit1 and bit2) or (bit1 and carry) or (bit2 and carry). That is, so long as at least two inputs are true, the carry out will be true.
I love listening to Asaf, cool video
Looking forward to the next video! Glory to the Absolute (Infinity)!
I needed this video 12 years ago when I did attempted the mathematical analysis course at uni...
can you guys explain the difference between the implication symbols?? As a maths student I’m very curious about it. I’ve always resorted to the double line one for everything, because that’s how every teacher and textbook does it. At least, any exceptions have flown under my radar.
The complement is extremely useful in probability :-) and we do use it in research!
9:24 In the Norwegian alphabet we also use Ø
It would be fun to be reminded when we first saw the [Paper Change] musical interlude on Numberphile...
You can construct and, or, xor, negation using either the NAND/AND operator or the NOR/OR operator. Digital logic makes use of these building blocks to construct other logic functions. You can build any logical machine using only one operator.
Symbolic logic and bitwise operators should be taught to kids in middle school or high school as a baseline part of the curriculum. They're so helpful in learning how to think about and solve problems. Even if you don't ever use them formally, understanding the basic ideas behind these symbols is massively helpful.
Kids can understand logic gates.
It has been so long since I was a student that I don't remember: Is there a symbol for the set of irrational numbers? What about pure imaginary numbers?
I understand N for natural, R for real, Q for rational (quotients), and C for complex, but why Z for integers?
It’s ℙ or 𝕁 for the irrationals. Though, ℙ has a lot of different meanings and 𝕁 seems rather rarely used
ℂ \ ℚ would be more reliably understood. And also seems like a reasonable choice given how the irrationals are kinda just defined by excluding the rationals
I think 𝕀 or 𝕚 is used for the set of imaginary numbers (the complex numbers without a real component)
9:25 "I'm not even going to try and pronounce 'cuz I will get completely burned on that" Ironically burned has that exact sound. lol
The calligraphic P for "the power set of" is also beautiful.