[BLANK_AUDIO] In the same park, in the same country, you can have many, many, many different tour. Many different walk. And we already had three of them. The next is a short walk, but I'll cover a topic which, for me, is one of the most important. It's called Leibniz's Dream. And, we'll use the same guide, of course. During this walk, we're going to meet some additional people. Maybe some names you never heard and you've see they come at the bottom of the slide. So, it means it's a bit new. Indeed the most important actors around this Leibniz's Dream are recent. Recent. And what's this dream? We already covered in the, in the former videos the two main topics around reason. Mathematics more on Plato. Remember Plato wrote on the roof of his academy, you don't come in if you don't like geometry or something like that. Mathematics from Plato. And logic more Aristotless. So logic is, of course, connected somehow to reason. Of course. And there are some connections with mathematics. But it's not mathematics. For example, in logic, you don't have numbers. You don't have figures. Logic is the science of valid argument. When do you know that an argument is valid, is correct. That's the science of logic. Probably you're familiar with this Socrates as a man. Men are mortal, thus, Socrates is mortal. That's a valid argument. It's called a syllogism. It's probably the simplest way of arguing of something. And it was invented by, by Aristotle again, again, again, again. And you have two disciplines, mathematics from Plato, logic from Aristotle. What was the dream of Leibniz? To combine. Of course, there are similarities for example, rigor. You have proofs in both mathematics and logic. You have theorems. So there are some connection. And Leibniz was convinced you can build one discipline out of the two. His dream was called Leibniz's Dream. And it's an important dream to talk about. Why? Because now we know for certain, it will never realize. And, a lot of people of course, as, how should I, followers of Leibniz, try to show and to prove and to find a way to succeed in this dream. But one person Kurt Godel. You see in the bottom, Kurt Godel. In 1930 something he proved Leibniz Dream is impossible. You will never have a system that will cover both mathematics and logic. It's a bit like an earthquake. Of course, after so many years now we know there is a kind of limit to the human mind.