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

Frederic Schuller · 511K views · 2015 · 1:40:48

Open on YouTube

University lectures & coursesLogic & formal methodsFundamental physicslecture

Why Mathematics Stack Exchange recommends it

Mathematics Stack Exchange users link it as a rigorous from-scratch introduction to logic and axiomatic systems, and as the entry point to Schuller's differential geometry lectures.

Recommended by 8 people across 11 different months, 2012 to 2022.

What it is

The first lecture of Frederic Schuller's 'Lectures on the Geometric Anatomy of Theoretical Physics' series, recorded as a university course. It starts from propositional and predicate logic and axiomatic systems as the foundation for later sets, topology and differential geometry.

What people said

Strong rec j4nd3r53n · 2017-05 · Mathematics Stack Exchange · on “Differential geometry in hyperspace”

After many years away from maths, I have recently started to dive into a subject I only ever learned the rudiments of: differential geometry, particularly helped by a brilliant series of lectures on youtube ( Lectures on Geometrical Anatomy of Theoretical Physics [this video] if you wish to check it out). This has set me thinking, though; a manifold is of course a topological space, and I wonder if there has been any work on exploring the possibility of somehow "lifting" at least parts of the differentiable structure into in a hyperspace [LINK] over the manifold. I haven't been able to find anything, so far - but then, what would one search for?

Strong rec Tobin Fricke · 2020-04 · Mathematics Stack Exchange · on “is there any good resource for video lectures of differential geometry?”

Frederic Schuller's " Lectures on the Geometrical Anatomy of Theoretical Physics [this video] " are superb. Someone has also written up lecture notes [LINK] from the videos.

Strong rec zltn.guba · 2022-08 · Mathematics Stack Exchange · on “Push forward vector field”

If you are interested in the subject I highly recommend the lectures of Frederic Schuller on differential geometry (on youtube: [this video] )

Recommends Nick Alger · 2012-08 · Mathematics Stack Exchange · on “Complete course of self-study”

Here's a bunch of lesser known material I found really good. It may be a somewhat biased list though, since I tend to like reading "easy" books first to get the main idea, then solving hard problems and moving on to more difficult books later. So, some of this list is less textbook'y and more motivational. It's also a bit biased towards mathematics that is relevant to numerical methods, as that is field of personal interest to me. Linear Algebra: Gilbert Strang's video lectures [LINK] Numerical Linear Algebra: Trefethen & Bau's book [LINK] General techniques for solving mathematical problems: How to Solve It [LINK] Terry Tao's book [LINK] Abstract Algebra: Benedict Gross's video lectures [LI

Recommends James Well · 2017-03 · Mathematics Stack Exchange · on “Why is the Barber's paradox a paradox?”

Here is the video : [this video] --- If the whole playlist comes up it's the 1st vid. I tried hard to find the spot in question but gave up I think it's like 1/3rd near the end

Recommends Daniels Krimans · 2018-03 · Mathematics Stack Exchange · on “Books on logic and ZFC set theory for physicist”

I am undergraduate student in physics with not that many mathematics courses done in my career. Nevertheless, I am very interested in mathematical physics. I started studying from the lectures "Geometrical anatomy of theoretical physics" which can be found at [this video] . From the lectures I have gained some sort of intuition but I feel that for my satisfaction I want to learn a little bit more. For you to better understand my interests, I want to mention what kind of things I would like to learn next. The general idea is that I do not want to go very deep in these exciting and interesting topics but I want to know enough so that I can learn topics like topology, manifolds, bundles and so on th

Recommends Nicolas Lussier-Clément · 2018-07 · Mathematics Stack Exchange · on “How to proof that a dual basis applied to the basis give the Kronecker delta?”

From one class of Fredric Schuller [this video] I learned that this $\partial_b(x^a \circ x^{-1})=\delta^a_b$ from the definition of the derivation on the "b" entry on a projection of the "a" entry.

Recommends j4nd3r53n · 2020-01 · Mathematics Stack Exchange · on “Why is it that given $E=\{ 1, \{2,3\}, \{2,4\} \}$ we have $1\in E$ but $2\not\in E$?”

My absolute favourite is 'Naive Set Theory' by P R Halmos, which to my mind is a very good read. I don't recall if he actually goes very much into the $\in$ relation; though. Or, if you want a more rigorous treatment, try [this video] - the first lecture in a series by Frederic Schuller: "Lectures on the Geometric Anatomy of Theoretical Physics" - he starts right from the bedrock with propositional logic. It isn't easy, but he is a breathtakingly brilliant lecturer and well worth listening to. Plus, you end up understanding fundamental set theory.

Recommends Clemens Bartholdy · 2021-06 · Mathematics Stack Exchange · on “Advice for which "advanced math" topic for a self-taught student to start with? (number theory, group theory, probability, etc)”

Disclaimer: Most of what I suggest is informal and applied mathematics but I think is still good mathematics because it sets up as a primer for when you will actually do those topics in university (?). Hi! I too found myself in this position many times. There are a few routes you can take once you are done with the school mathematics (I am assuming you have done the NCERT syllabus). I'll try to mention all of them: Finish vector calculus and multivariable calculus with this animated lecture series by professor Greist [LINK] . I suggest doing it with a standard book for solving problems. This will open up a lot of door into 'applied' mathematics books. Visual Complex Analysis by Tristan Needh

Recommends Clemens Bartholdy · 2022-04 · Mathematics Stack Exchange · on “Is it coherent to treat the C programming language as a formal system?”

I went through your other questions. Let me suggestion you this concise lecture series [this video] by prof schuller. It is over Physics basically, but you'd be interested in the first lecture I believe. He talks about Godel's theorem near the end. Let me know if you liked it if you checked it out.