Natural Models of Type Theory - Steve Awodey
Steve Awodey Carnegie Mellon University; Member, School of Mathematics March 28, 2013 For more videos, visit http://video.ias.edu
From playlist Mathematics
Model Theory - part 01 - The Setup in Classical Set Valued Model Theory
Here we give the basic setup for Model Theory. I learned this from a talk Tom Scanlon gave in 2010 at CUNY.
From playlist Model Theory
Orbit of a set in abstract algebra
In this video we start to take a look at the orbit-stabilizer theorem. Our first stop is the orbit of a set. The orbit is created by taking an arbitrary element of a set and acting on that element by all the elements in the set of an an arbitrary group. In this video, we look at a few p
From playlist Abstract algebra
Now that we know what a quotient group is, let's take a look at an example to cement our understanding of the concepts involved.
From playlist Abstract algebra
(ML 13.3) Directed graphical models - formalism (part 1)
Definition of a directed graphical model, or more precisely, what it means for a distribution to respect a directed acyclic graph.
From playlist Machine Learning
Lecture 2. Homomorphisms and ideals
From playlist Abstract Algebra 2
Group Definition (expanded) - Abstract Algebra
The group is the most fundamental object you will study in abstract algebra. Groups generalize a wide variety of mathematical sets: the integers, symmetries of shapes, modular arithmetic, NxM matrices, and much more. After learning about groups in detail, you will then be ready to contin
From playlist Abstract Algebra
Post-Talk Conversation, “Are Scientific Models Fictions? Model-Based Science as Epistemic Warfare”
Post-Talk Conversation between Lorenzo Magnani, Department of Humanities, Philosophy Section and Computational Philosophy Laboratory, University of Pavia, Italy and James Weatherall, Department of Logic and Philosophy of Science, University of California, Irvine. In the current epistemol
From playlist Franke Program in Science and the Humanities
Model Theory - part 07 - Semantics pt 1
This is the first video on semantics.
From playlist Model Theory
Lecturer: Dr. Erin M. Buchanan Missouri State University Summer/Fall 2016 PSY 523 Psychology and Language lectures covering material from Harley's The Psychology of Language: From Data to Theory. Lecture materials and assignments available at statisticsofdoom.com. https://statisticsofdo
From playlist PSY 523 Psychology and Language
Josef Teichmann: An elementary proof of the reconstruction theorem
CIRM VIRTUAL EVENT Recorded during the meeting "Pathwise Stochastic Analysis and Applications" the March 09, 2021 by the Centre International de Rencontres Mathématiques (Marseille, France) Filmmaker: Guillaume Hennenfent Find this video and other talks given by worldwide mathematician
From playlist Virtual Conference
Wolfram Summer School Physics Track Opening Keynote
Stephen wolfram gives his opening keynote for the Wolfram Summer School physics track. Find more information about the summer school here: https://education.wolfram.com/summer/school/ Stay up-to-date on this project by visiting our website: http://wolfr.am/physics Check out the announceme
From playlist Wolfram Physics Project Livestream Archive
NIPS 2011 Learning Semantics Workshop: Towards More Human-like Machine Learning of Word Meanings
Learning Semantics Workshop at NIPS 2011 Invited Talk: Towards More Human-like Machine Learning of Word Meanings by Josh Tenenbaum Josh Tenenbaum is a Professor in the Department of Brain and Cognitive Sciences at Massachusetts Institute of Technology. Him and his colleagues in the C
From playlist NIPS 2011 Learning Semantics Workshop
(ML 13.4) Directed graphical models - formalism (part 2)
Definition of a directed graphical model, or more precisely, what it means for a distribution to respect a directed acyclic graph.
From playlist Machine Learning
Heather Macbeth - Algorithm and abstraction in formal mathematics - IPAM at UCLA
Recorded 17 February 2023. Heather Macbeth of Fordham University at Lincoln Center presents "Algorithm and abstraction in formal mathematics" at IPAM's Machine Assisted Proofs Workshop. Abstract: Paradoxically, the formalized version of a proof is often both more abstract and more computat
From playlist 2023 Machine Assisted Proofs Workshop
Recorded: Spring 2014 Lecturer: Dr. Erin M. Buchanan Materials: created for Memory and Cognition (PSY 422) using Smith and Kosslyn (2006) Lecture materials and assignments available at statisticsofdoom.com. https://statisticsofdoom.com/page/other-courses/
From playlist PSY 422 Memory and Cognition with Dr. B
The abstract chromatic number - Leonardo Nagami Coregliano
Computer Science/Discrete Mathematics Seminar I Topic: The abstract chromatic number Speaker: Leonardo Nagami Coregliano Affiliation: University of Chicago Date: March 22, 2021 For more video please visit http://video.ias.edu
From playlist Mathematics
Abstraction - Seminar 1 - Natural Abstraction 1
This seminar series is on the relations among Natural Abstraction, Renormalisation and Resolution. This week Alexander Oldenziel gives the first lecture on the Natural Abstraction track, introducing the topic of agents and how to begin formalising that in terms of Bayesian networks and Mar
From playlist Abstraction
Category Theory Lulz - Ken Scambler
Why do functional programmers talk about Category Theory so much? What could this horrifyingly abstract branch of maths have to offer the rest of us? Ken will answer these questions and more, explaining the basic terminology and concepts of Category Theory, and how it exposes deep unde
From playlist Software Development Lectures
In this tutorial I show a few more notations and share a few more thoughts on mappings.
From playlist Abstract algebra