Introduction/Logic of propositions and predicates- 01 - Frederic Schuller

This is from a series of lectures - "Lectures on the Geometric Anatomy of Theoretical Physics" delivered by Dr.Frederic P Schuller

[armin_hammer_studios]

The internet needed this lecture. Thank you.

[Sidionian]

This guy has a deep and powerful understanding of mathematics and physics. I am basing this not just on this lecture, but others. I am just posting it here. Thanks for making these gems available in the public domain. I usually fall half asleep when I watch other lecturers, but this guy keeps me awake because there's so much food for thought here. Philosophically as well as mathematically/physically! No wonder Perimeter Institute hired him.

[mrKitke]

I've always admired people who can explain complicated and abstract ideas with easy and great clarity of thought - and this lecturer is definitely a person to be admired for such traits.

[YourFriendlyAlan]

For clarity, between 1:07:10 and 1:12:25, the assumption (M) should be q_j can be written as the j'th step if and only if there is m, n such that for 1≤m, n<j, the predicate (q_m^q_n)=>q_j is true.

For example, assume P and P=>Q are axioms.

Then, a valid proof that Q is true is as follows:

(1) P (A)
(2) P=>Q (A)
(3) Q (M).

Remark: (P^P=>Q)=>Q is a tautology which allows us to invoke (M) at stage j=3.

[aishwariyasweety]

Ok I just want to say that I am forever indebted to the amazing Mr. Schuller, who has practically and unwittingly taught me all the basic higher mathematics that I need! 😢

[markkennedy]

This guy is an exceptional lecturer. The way he seamlessly goes from the technical to the context of the subject is something most lecturers can't seem to do. All the while letting the student know where he is. The start where he outlines the layers of mathematics/logic and how the physics relies on these, the Venn diagram of algebra, analysis and geometry and DG at the centre. and the bit where he talks about how it's important to know "what we are not talking about" when explaining the fundamentals of predicate logic without getting lost in the details of the example X as an element of Y since we haven't defined "element of" yet. Exceptional teaching.

[Djole]

This is the true act of love and compassion, Thank you!

[vilbjrgbroch]

Hello Frederic Schuller, thank you very much for making this public. This lecture series is extraordinary clear and really excellent for a self-study and an overview (personally being a computer musician who slowly is studying more and more mathematics) Is it possible to get to know which textbook you are using? And is it possible to access the problem-sets somewhere on the web?
Vilbjørg Broch

[bibhuti]

Dear Dr Schuller,

Brilliantly delivered lectures, great clarity of thought. Beautifully presented. I just wanted to know if there's a website for this course taught by you. It will be great to have access to the problem sets that you mention in some of the lectures. This will reinforce our understanding of the material. Also, is there a particular textbook you are following?

Thanks.

[jacobrafati]

Hands down for this amazing introduction to everything. If I was in the class, I will applaud but I guess the students were super confused. I watched this lecture in 4 parts so I had enough time to digest it. Thank you so much. You've been an amazing teacher to me, Dr. Schuller!

[KirilIliev_Utube]

Wonderfully structured. You keep the audience engaged, you go at a pace that does not tire the student but keeps them glued to the blackboard. And you go to the deepest corners and leave no aspect uncovered.

[kummer]

A clean class of computer science. Logic is exactly circuit theory among many other things. The beauty of it and importance deserves a permanent place in our hearts and the internet.

[amirkhan]

Absolutely brilliant, breath-taking and addictive!

[williansprincipe]

This series of Lectures is pure pleasure! Sometimes I come back here just to be amazed again. Thank you!

[CORDEIROMAT]

sometimes a person can be an excellent professor or an excellent scientist but this guy is both. In my life I had the privilege to watch a professor like that and I thank God for this.

[Blue-ikij]

Wonderful lecture. For those wondering, he does describe a consistent axiomatic system correctly but the definition he stated was for an incomplete axiomatic system.

[fulmensp]

Mr. Schuller, these lectures are just amazing. Just wow.
Thank you so much for sharing it, I wish I could attend your lectures.
I am especially amazed how well you have explained the role of different math branches for understanding contemporary physics. I was looking for it for quite some time now.
Thank you very much.

[raunitsingh]

Amazing!, not just the content but the way he delivers it with such calmness and clarity, incredible!

[theodorepailas]

There was a lot of information to process in each lecture but I haven't lost my interest neither for a second. That also holds for the lectures in Quantum Theory and the ones given in the International winter school on gravity and light. An amazing lecturer. Thank you very much for your effort.

It would be very helpful if you may upload lectures also in QFT course for instance, with this kind of mathematical clarity.

Is there any way that we might get the problem sheets?

[LocNguyenCrypto]

Amazing! He explains things very well. I can understand more than 90% materials. See you guys at the final lecture.