Introduction/Logic of propositions and predicates- 01 - Frederic Schuller Published 2015-09-21 Download video MP4 360p Recommendations 1:51:56 Axioms of set Theory - Lec 02 - Frederic Schuller 06:34 When Computers Write Proofs, What's the Point of Mathematicians? 1:44:15 Differential structures: the pivotal concept of tangent vector spaces - Lec 09 - Frederic Schuller 16:20 The REAL Three Body Problem in Physics 57:24 Terence Tao at IMO 2024: AI and Mathematics 12:21 The Mathematician Who Discovered Math's Greatest Mystery 23:05 Edward Witten explains The String Theory (2000) 1:36:58 01 Vogelperspektive 2014 04 08 13:37 Differential Geometry in Under 15 Minutes 14:20 ALL OF PHYSICS explained in 14 minutes 12:44 A Quick Intro to Fiber Bundles (Hopf Fibration) 1:00:00 Walter B. Rudin: "Set Theory: An Offspring of Analysis" 28:28 Russell's Paradox - a simple explanation of a profound problem 38:06 Lorentz's Ether Unveiled: The Legacy And Controversies Of Einstein's Rival 10:57 The World's Best Mathematician (*) - Numberphile 16:43 The 379 page proof that 1+1=2 22:01 This algebra describes EVERYTHING. 14:15 Russell's Paradox - A Ripple in the Foundations of Mathematics 1:29:40 Differential Geometry - Claudio Arezzo - Lecture 01 Similar videos 33:15 Propositions and Predicates - Quantum Mafia #1 1:17:06 Lecture 1: Topology (International Winter School on Gravity and Light 2015) 1:38:42 Topological spaces - construction and purpose - Lec 04 - Frederic Schuller 2:09:35 Axioms of Quantum Mechanics - Lec01 - Frederic Schuller 1:42:05 1 Experimentum: crucis und Quantenwahrscheinlichkeiten - Frederic Schuller 1:45:50 Measure Theory -Lec05- Frederic Schuller 1:49:18 Topological manifolds and manifold bundles- Lec 06 - Frederic Schuller 1:34:50 Discrete Math - Review of Propositional Logic & Predicate Logic 1:39:15 Application: Spin structures - lec 27 - Frederic Schuller 1:28:12 19 Allgemeine Unschärferlation - Frederic Schuller 1:23:01 Lecture 2: Topological Manifolds (International Winter School on Gravity and Light 2015) 1:05:01 Conncections and connection 1-forms - Lec 21 - Frederic Schuller 1:16:41 Lecture 14 introduction to predicate calculus More results