Symbols and meaning in mathematics
HTML-код
- Опубликовано: 17 окт 2024
- Can you use the techniques of mathematics to think about mathematics? The result of this exploration is mathematical logic. In mathematical logic, we consider a formal language, what that language can tell us about math, and how can we deduct truths in that language. It turns out that we have two different aspects of this process, the symbols of the language (syntax) and what the symbols mean (semantics). In this video we explore those ideas!
If these topics sound interesting to you, perhaps you'll like to join the academy of useless ideas in our discord server!
discord.gg/6szYjqnsCm
Share your thoughts! we love comments!
I've been looking for such a material like that for a very long Time ago , but here it is your Channel, it's the academy of the most usefull Idea in the cosmos , so thanks you soo much, i feel that's the Real math ❤
I am glad you enjoyed it! As I rewatched the video, I felt like I am speaking a little too fast sometimes; and that i should pause more to give time for people to think more about the ideas there. Some of those ideas are very deep and they need some reflection. So, hearing that you find the video interesting is reassuring!
@@academyofuselessideas yeah it's a bit fast but that's not a problem AT all , of course there some beautiful and deep insights in , no worries about the speed sir , and thank you soo much for this authentic content 🤗
Dr. Slim , super thanks for this! There is a book I consider it as a two copy book, just in case someone loses one - The dictionary of symbols of mathematical logic edited by Robert Feys and Frederick Fitch
@@barneyross8083 Oh, i don't know that book, i must check it out! thanks for the recommendation!
@@philosophieoverdose9332 Thank you! I am glad you find it amusing! the next video in the series is about deduction systems... but i might want to change it so i am not sure when i'll publish it... as usual, share your thoughts or ideas either here or on our discord server!