Introduction to the Nature of Proof (3 of 3: Liars & truth-tellers)

แชร์
ฝัง
  • เผยแพร่เมื่อ 3 ธ.ค. 2024

ความคิดเห็น • 52

  • @okso_0452
    @okso_0452 3 ปีที่แล้ว +9

    A quick tip: if you hold down when you are drawing a line, circle etc, Notability automatically converts it to a perfect line, circle etc

    • @JansthcirlU
      @JansthcirlU 3 ปีที่แล้ว +2

      He's used that handy feature many times in videos where geometric precision was more relevant to the lecture.

  • @AdilsonVCasula
    @AdilsonVCasula 3 ปีที่แล้ว +3

    These classes setups are going amazing.

  • @ProjectDeathSpeakers
    @ProjectDeathSpeakers 3 ปีที่แล้ว +18

    Very nice introduction. Only thing to mention: 3 truth-tellers doesn't contradict "not P" but the fact that alpha is a liar ;-)

    • @NoFontNL
      @NoFontNL 3 ปีที่แล้ว

      And that beta is a liar. Doesn't make much of a difference in this example

  • @HarrySurplus
    @HarrySurplus 3 ปีที่แล้ว +4

    Eddie your lessons are fantastic.

    • @qwertyTRiG
      @qwertyTRiG 3 ปีที่แล้ว

      Watching Eddie's lessons makes me think of Lockhart's Lament. I think Eddie manages it.

  • @myidanny
    @myidanny 3 ปีที่แล้ว +2

    I am remarkably envious: this handwriting is pretty ^-^

  • @jiotv_mods
    @jiotv_mods 3 ปีที่แล้ว

    Getting things split increases excitement thanks eddie for the idea

  • @kramconley7972
    @kramconley7972 2 ปีที่แล้ว

    i am just thankful that i attempted the hsc in '71; 1st level maths did not include implications in the syllabus, mark

  • @shobhalohani6762
    @shobhalohani6762 3 ปีที่แล้ว +1

    I love this channel, can someone suggest more channels like these.. of any country..

  • @mxlexrd
    @mxlexrd 3 ปีที่แล้ว +19

    3 truth-tellers doesn't contradict ¬P, it contradicts R. (It also contradicts ¬Q.)

    • @auronwintermoon6064
      @auronwintermoon6064 3 ปีที่แล้ว

      3 truth-tellers is an implication of Beta being a liar =P

    • @mxlexrd
      @mxlexrd 3 ปีที่แล้ว +3

      @@auronwintermoon6064 Yes, I know. What I'm saying is that "at least one truth-teller" and "3 truth tellers" are not contradictory.

    • @jeremypnet
      @jeremypnet 3 ปีที่แล้ว

      It doesn’t contradict ¬Q. (Or ¬P) only R. Well, I suppose you could say it contradicts ¬P because ¬P implies R.

    • @mxlexrd
      @mxlexrd 3 ปีที่แล้ว +3

      @@jeremypnet True, it doesn't literally contradict the content of ¬Q. What I meant was it contradicts the other implication of ¬Q, that B is a liar.

    • @auronwintermoon6064
      @auronwintermoon6064 3 ปีที่แล้ว

      @@mxlexrd I didn't mean to correct you, quite the opposite. You're right and I wanted to clarify it further. I'm sorry if I've misslead you.

  • @mbinmaslamah
    @mbinmaslamah 3 ปีที่แล้ว +3

    Poor Gamma!!!
    Without saying anything, he is a liar!

  • @danielmacarthur7208
    @danielmacarthur7208 3 ปีที่แล้ว +2

    Amazing eddie!!!!!!!!!!!!!!!!!!!!!!!! i wish i got u as my math teacher :(

  • @bilal_ali.
    @bilal_ali. 3 ปีที่แล้ว +1

    *Yes I was right* ☺️
    Thanks 😊

  • @speimath1393
    @speimath1393 3 ปีที่แล้ว +4

    What does he use to write on for technology

  • @PauxloE
    @PauxloE 3 ปีที่แล้ว

    14:30 I guess here we should write that "there are 2 truth-tellers" contradicts the combination of R and "β is a liar". It is not contradicting R by itself.
    15:28 "there are 3 thruth-tellers" is not at all contradicting ¬P ("there is at least one truth-teller"). It is contradicting the statement "β is a liar" (as well as the previously established statement R that α is a liar).

    • @AlyxGlide
      @AlyxGlide 3 ปีที่แล้ว

      The discussion forced Q's perspective onto R & assumes that Q would not trap themselves in a lie when Q may in fact say many other distinctly deceptive things that may be falsely assumed as true around our aloof figure R

  • @СагындыкАманжол-н6ы
    @СагындыкАманжол-н6ы 3 ปีที่แล้ว +2

    Amazing style of online lessons! Can I copy this style and make my own videos on TH-cam, but in Russian?

    • @aashsyed1277
      @aashsyed1277 3 ปีที่แล้ว

      yes. well you need a digital pen

  • @rinchuimy1292
    @rinchuimy1292 3 ปีที่แล้ว

    Thank you👍

  • @vikramtete7461
    @vikramtete7461 3 ปีที่แล้ว

    Hello...Eddie what's the difference between between a statement is assumed and as statement is asserted?

  • @rodicabrudea832
    @rodicabrudea832 3 ปีที่แล้ว +2

    Hi. I don't get why false on Q cannot mean 2 truth tellers.

    • @sergiuszstrzelczyk7984
      @sergiuszstrzelczyk7984 3 ปีที่แล้ว +2

      It's because If alpha is a liar and beta is a liar, then there can be maximally 1 truth teller

  • @farhanabbasi486
    @farhanabbasi486 3 ปีที่แล้ว +2

    Sir make videos on abstract algebra.

  • @AlyxGlide
    @AlyxGlide 3 ปีที่แล้ว

    I deeply enjoy these videos & learning together, I must say that the equation cannot be solved from Q's oblique obfuscating statement. Parallel conditions presented by Q are assumption. If Q wished to not be deceptive, but forthright & truthful Q would have made a succinct reference to P & be known as true.
    Q may say a number of oblique statements so what Q said is conditional truth with aloof R.
    If Star Trek taught me anything it's that Q, oh Q must say something distinct for who knows what people say when we also cannot attest to truth

    • @pineapple2463
      @pineapple2463 ปีที่แล้ว

      I like the way you talk. Are you perhaps a law student or in the said profession?

  • @aashsyed1277
    @aashsyed1277 3 ปีที่แล้ว

    on the board: solution to the reimann hypothesis

  • @tomreingold4024
    @tomreingold4024 3 ปีที่แล้ว

    How can Gamma be a liar if they didn’t say anything?

    • @ahmadradwan7429
      @ahmadradwan7429 3 ปีที่แล้ว +1

      because we already have enough evidence on our hands to conclude that there's one and only one truth-teller, and that is beta or the second person.
      So we don't need gamma to say anything for us to decide which tribe they belong to, considering we've already made a decision on who's who.
      Hope this helped :).

    • @tomreingold4024
      @tomreingold4024 3 ปีที่แล้ว

      Ahmad, I still don’t follow. Holding silence is not a lie in this case.

    • @OverloadedOrama
      @OverloadedOrama 3 ปีที่แล้ว

      @@tomreingold4024 In the real world we wouldn't know what γ would be. But in this hypothetical scenario, we know that people MUST be either truth-tellers or liars. It is a binary scenario, there is no in-between. Since β is the one and only truth-teller, that means that γ is a liar.

    • @derzockertee4355
      @derzockertee4355 3 ปีที่แล้ว

      @@tomreingold4024 Have you watched part 2?

    • @tomreingold4024
      @tomreingold4024 3 ปีที่แล้ว +1

      @Function Overload, thank you.

  • @prataprudra
    @prataprudra 3 ปีที่แล้ว

    Teacher Eddie: in the end you said 3 truth tellers contradicts notP statement. Thats not true, the right conclusion is 3 truth tellers contradicts statement R

  • @junodisarapong6635
    @junodisarapong6635 3 ปีที่แล้ว +2

    The first native was a liar, the second was a truth-teller, and the third was a liar.
    If the first native was telling the truth, then there is a problem with his statement, "we are all liars." So, he must be a liar. That means that his statement is false, and there must be at least one person telling the truth.
    If the second native is a liar, then either there are two people telling the truth or none. But we know that they can't all be liars, and there can't be two truth-tellers since the first one is known to be a liar.
    Hence, the second native is telling the truth, and that means he is the only truth-teller.
    So the third native is a liar (even though he didn't speak).