Mathematical logic | Metatheorems | Model theory

In mathematical logic, abstract model theory is a generalization of model theory that studies the general properties of extensions of first-order logic and their models. Abstract model theory provides an approach that allows us to step back and study a wide range of logics and their relationships. The starting point for the study of abstract models, which resulted in good examples was Lindström's theorem. In 1974 Jon Barwise provided an axiomatization of abstract model theory. (Wikipedia).

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