In mathematical logic, structural proof theory is the subdiscipline of proof theory that studies proof calculi that support a notion of analytic proof, a kind of proof whose semantic properties are exposed. When all the theorems of a logic formalised in a structural proof theory have analytic proofs, then the proof theory can be used to demonstrate such things as consistency, provide decision procedures, and allow mathematical or computational witnesses to be extracted as counterparts to theorems, the kind of task that is more often given to model theory. (Wikipedia).
R - Hierarchical Confirmatory Factor Analysis Lecture
Lecturer: Dr. Erin M. Buchanan Missouri State University Summer 2016 This lecture covers the basics to understanding a hierarchical CFA, in contrast to a bifactor CFA model. Interpretation and discussion of the theoretical differences between these models and first order models are discu
From playlist Structural Equation Modeling
R - Structural Equation Model Basics Lecture 1
Lecturer: Dr. Erin M. Buchanan Missouri State University Summer 2016 This lecture covers the basic terminology for structural equation modeling including: identification, scaling, variable types, manifest/latent variables, path coefficient types, endogenous/exogenous variables, degrees o
From playlist Structural Equation Modeling
R - Structural Equation Model Basics Lecture 2
Lecturer: Dr. Erin M. Buchanan Missouri State University Summer 2016 This lecture covers the basic terminology for structural equation modeling including: identification, scaling, variable types, manifest/latent variables, path coefficient types, endogenous/exogenous variables, degrees o
From playlist Structural Equation Modeling
Set Theory (Part 2): ZFC Axioms
Please feel free to leave comments/questions on the video and practice problems below! In this video, I introduce some common axioms in set theory using the Zermelo-Fraenkel w/ choice (ZFC) system. Five out of nine ZFC axioms are covered and the remaining four will be introduced in their
From playlist Set Theory by Mathoma
Foundations of Quantum Mechanics: Completeness
Foundations of Quantum Mechanics: Completeness This lecture is a long and complex proof that every finite vector space is complete. The purpose is to demonstrate some of the methods of real and functional analysis as well as to emphasize the significance of a vector space being finite-dim
From playlist Mathematical Foundations of Quantum Mechanics
SA02: Structural Analysis: Stability
This lecture is a part of our online course on introductory structural analysis. Sign up using the following URL: https://courses.structure.education/ In addition to updated, expanded, and better organized video lectures, the course contains quizzes and other learning content. Solution f
From playlist Dr. Structure: Structural Analysis Video Lectures
R - Full Structural Equation Models Lecture
Lecturer: Dr. Erin M. Buchanan Missouri State University Summer 2016 This lecture covers how to program reflexive and formative indicators in lavaan, their interpretation, and how to use them. We talk about how to convert from a measurement model only to a full structural model. Lectur
From playlist Structural Equation Modeling
SA04U: Truss Analysis (Method of Joints)
This lecture is a part of our online course on introductory structural analysis. Sign up using the following URL: https://courses.structure.education/ In addition to updated, expanded, and better organized video lectures, the course contains quizzes and other learning content.
From playlist Dr. Structure: Structural Analysis Video Lectures
Review of set theory -- Proofs
This lecture is on Introduction to Higher Mathematics (Proofs). For more see http://calculus123.com.
From playlist Proofs
Type theory and formalization of mathematics - Anders Mörtberg
Short Talks by Postdoctoral Members Anders Mörtberg - September 28, 2015 http://www.math.ias.edu/calendar/event/88254/1443464100/1443465000 More videos on http://video.ias.edu
From playlist Short Talks by Postdoctoral Members
Title: Constructive Bounds from Ultraproducts and Noetherianity
From playlist Spring 2016
Structure vs Randomness in Complexity Theory - Rahul Santhanam
Computer Science/Discrete Mathematics Seminar I Topic: Structure vs Randomness in Complexity Theory Speaker: Rahul Santhanam Affiliation: University of Oxford Date: April 20, 2020 For more video please visit http://video.ias.edu
From playlist Mathematics
Univalent Foundations Seminar - Steve Awodey
Steve Awodey Carnegie Mellon University; Member, School of Mathematics November 19, 2012 For more videos, visit http://video.ias.edu
From playlist Mathematics
Univalence from a computer science point-of-view - Dan Licata
Vladimir Voevodsky Memorial Conference Topic: Univalence from a computer science point-of-view Speaker: Dan Licata Affiliation: Wesleyan University Date: September 14, 2018 For more video please visit http://video.ias.edu
From playlist Mathematics
Computing with Univalence - Daniel Licata
Daniel Licata Carnegie Mellon University; Member, School of Mathematics September 28, 2012 For more videos, visit http://video.ias.edu
From playlist Mathematics
Wolfram Physics Project: Relations to Category Theory
Stephen Wolfram and special guests discuss the Wolfram Physics Project and its relations to Category Theory. Begins at 9:50 Originally livestreamed at: https://twitch.tv/stephen_wolfram Stay up-to-date on this project by visiting our website: http://wolfr.am/physics Check out the announc
From playlist Wolfram Physics Project Livestream Archive
SHM - 16/01/15 - Constructivismes en mathématiques - Thierry Coquand
Thierry Coquand (Université de Gothenburg), « Théorie des types et mathématiques constructives »
From playlist Les constructivismes mathématiques - Séminaire d'Histoire des Mathématiques
Representation theory and geometry – Geordie Williamson – ICM2018
Plenary Lecture 17 Representation theory and geometry Geordie Williamson Abstract: One of the most fundamental questions in representation theory asks for a description of the simple representations. I will give an introduction to this problem with an emphasis on the representation theor
From playlist Plenary Lectures
Hodge Theory -- From Abel to Deligne - Phillip Griffiths
Phillip Griffiths School of Mathematics, Institute for Advanced Study October 14, 2013 For more videos, visit http://video.ias.edu
From playlist Mathematics
SA19: Work-Energy Principle (Part 1)
This lecture is a part of our online course on introductory structural analysis. Sign up using the following URL: https://courses.structure.education/ In addition to updated, expanded, and better organized video lectures, the course contains quizzes and other learning content.
From playlist Dr. Structure: Structural Analysis Video Lectures