Well seeing as Political positions are mostly held by people that should have long retired and old people, joints, etc. are crunchy...democracy has a little crunch.

When I was earning my master's degree, I heard a lot about finite state machines (FSMs), but it was all theory - like clouds in the sky: there's a lot of water, but you can't drink it. I toiled for three months after graduating until I implemented my first FSM in code in 1981. Now, there is a programming methodology based on this concept - v-agent oriented programming (VAOP) - with many examples of its implementation. It's best to start learning about VAOP with this article on Medium: "Bagels and Muffins of Programming or How Easy It Is to Convert a Bagel into a Black Hole".

It’s not a paradox anymore when you define it- Each person has the freedom to define it. A heap isn’t a unit of measurement. So it can change person to person. I like science that searches for a use. Not just logician masturbation

Thank you for the lovely explanation

woke

Thank you so much. Great explanation.

Jen could also work at the fair outside of our imperfect knowledge, right?

Finally dear god. I fucking nailed it. Its hard to ask what this is when you dont know what this is. Holy shit 🎉🎉🎉

what a horrible lecture, a pain to watch. Why make the slides so ugly? Why speak in such a boring fashion? Why just read outloud whats on the slides? Why not continue using that which the variables represent rather then the variables themselves

What??

haaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa

Lets say you want to sell something , the buyer says give me some discount . You will reduce the selling price a little bit. The buyer says ok now give me just 1 more cent discount . You think ok 1 cent wouldn't make such a difference and agree with that. The buyer again say ok now give 1 cent more , after all it doesn't make such a difference and you think he is right and reduce 1 more cent . So this process continues untill you will reach to zero price 😅

This made writing proofs in general so much clearer for me. Thank you.

So the "the king of France has red hair." is not logically equivalent to "if the king of France exists, then he has red hair." ?

Such an unbelievably brief, clear, and super useful explanation! Huge thanks for making and uploading the video!!!

I don't know what I just watched.

That is why I don't like Predicate Logic and think that Propositional Logic isn't less powerful. All we have to do is to aim with tablets. And that's all. I know the methods.

Jen could have climbed the wall to get in or have been given access by a friend so she might not necessarily have a ticket.

would not be a paradox if we just assign more specific meaning to it. unlike ship of thessus

7:05 why is the graph og 2log2n not continuous?

I love when she said 'this is a really really trivia l' 😅😅

i love you

The earth is flat based on...?

so, madam in action this automaton is a model regarding how are we gonna implement our desired product not to do much with programming part, like its mainly used for understanding purpose isn't it

Instagram account ??

Amazing explanation done by the prof.

What did I just witness 😂

Perhaps examples that were absolutely necessary, etc., would have been more convincing. Some students from real life keep bringing up real life examples of people sneaking into movie theaters without tickets. The examples you give are clear, but weak.

**!i!*

I am so bad at following along with all this shit it’s unreal

I think you must first define "heap" before traveling further down Alice's rabbit hole. Here, let me help. Let us understand that heap is not in fact a conditional number at all but in fact an observation. Someone will look at something and say, "That's a heap." It could be straw, it could be a load on a truck, it could be any number of things - and more importantly ANY NUMBER that the observer assumes is a lot. It is the human brain that determines what 'heap' means and this will vary from one person to another. "Heap" granted the word itself is as this video states, 'vague.' Therefore there is no need to assign a number to 'heap' merely to acknowledge it as an amount that someone sees is plenty or 'a lot.' That it all you need to know. There is no paradox or need of a deeper understanding except to a non-Turing computer. In my defense I used to write databases for businesses years ago. So yes I am completely familiar with finites and absolutes. Today I write fictional books and I can indeed be very vague. Welcome to the human experience.

2:40, why is the little guy slipping if the sidewalks are dry?

3:41 Take notes, Gary Milne!!!

All true except obviously the speaker is not aware that the drop to the curve on a 24,901 mile circumference sphere is measurable as being 8 inche multiplied by the number of miles into the distance. Either the sphere will cause a physical obstruction according to this formula for finding the sphere edge which is measurable; Or it will not and then you know it is not a sphere. Law of excluded middle results in that the earth is not a globe.

I loved it

Are you a good person? Let’s look at some of the Ten Commandments to see! Have you ever stolen? (Even if it’s something really small or not worth much) Have you ever lied? Or have you ever looked with lust? Now, have you ever taken the Lords name in vain? If you’ve ever done any of those things, you would be either a liar, a thief, an adulterer,(for looking with lust), or a blasphemer(for taking Gods name in vain) or maybe even all of them. Therefore we have all sinned against God and therefore deserve death.(Romans 3:23 & 6:23)That’s why ~2000 years ago a Savior was sent, Jesus Christ to die for the sins of the world and then rose 3 days later. Through His sacrifice He paid the fine for our sins, and now we can be made new by accepting His free gift of Salvation. In order to accept this free gift, we must first repent. This is a change of mind about sin (from an embrace of sin to rejection of sin) and a turning to God. Once you repent, you can then turn to FAITH in the Savior. A person who has truly repented of their sin and exercised faith in Christ will give evidence of a changed life. Therefore, as a result of Salvation you’ll then produce good works and the fruit of Salvation. You aren’t saved by doing good works. But you can then produce good works once you are saved.

Why I can’t understand that 🙃🙃🙃

but sir if my pet is a bird then my pet is a mammale

Wow, I was desperately looking for something like this. I was struggling with a question for a few hours now and solved It in 5 mins after watching this video. Thank you so much.

math? no thanks

What is the programmatical equivalence to logical implications? I really can't understand it this way.

Let's imagine that I have a set of four cards laid on the table, each of which shows a certain color on one face, and shows a certain number on its opposite face. And I state that "In this set, if a card shows an even number on one face, then its opposite face is red". In real life, this statement makes sense only when there is at least one element in the set that satisfies the first condition, and it is true only when each card that satisfies the first condition also satisfies the second condition. On the other hand, in logic, this statement can make sense even if there is no element that satisfies the first condition and it is true only when each card verifies any of the following clauses: a) The first condition is true and the second condition is true, b) the first condition is false and the second condition is true, and c) the first condition is false and the second condition is false. Because in that way we guarantee that there are no cards that contradict the implication. So, in logic, this statement means "There are no cards that verify the first condition but not the second" (In this case, we do not need any card to fulfill the first condition for this statement to make sense.) Furthermore, if there exists at least one card that satisfies the first condition, then by guaranteeing the logical implication, we guarantee that that or those cards also satisfy the second statement. That is, we’re guaranteeing that each card that satisfies the first condition also satisfies the second condition. So we can say that, in this context, the logical implication and the real life implication actually mean exactly the same thing when there exists at least one card that satisfies the first condition. PD: Question for you, ¿would they mean the same thing if there were no cards that satisfy the first condition?

Amazing video!

Nice tutorial, thanks

"Everyday" meaning of implication. For an easier understanding of the meaning of direct implication and memorizing its truth table, an everyday model can be useful: A is the boss. He can order "work" (1) or say "do what you want" (0). B - subordinate. He can work (1) or mess around (0). In this case, the implication is nothing more than the obedience of the subordinate to the superior. According to the truth table, it is easy to check that there is no obedience only when the boss orders to work (1), and the subordinate is idle(0).

Is this really how the story goes?

Can you just explain why "if we don't even care about the consequence value" then the whole statement is defined to be true rather than false?

Thanks❤️

This may a dumb question, but is there such a thing of an "infinite machine"?

The bothersome detail is the Part II of this video on the Law has a date/time stamp earlier than the Part I.