Logic & Foundations Courses and Certifications

Churchill CompSci Talks

Kolmogorov Complexity and Gödel's Incompleteness Theorems

Explore Kolmogorov complexity, randomness, and compressibility in data, and discover their surprising connections to Gödel's incompleteness theorems in mathematical logic.

• YouTube
• 26 minutes
• Self-Paced
• Free Video

Centre International de Rencontres Mathématiques

Almost Periodicity from a Model-Theoretic Perspective

Delve into advanced mathematical concepts exploring almost periodicity through model theory, featuring insights from renowned mathematician Amador Martin-Pizarro.

• YouTube
• 52 minutes
• Self-Paced
• Free Video

Centre International de Rencontres Mathématiques

Pseudofinite Omega-Categorical Groups

Delve into advanced mathematical concepts exploring pseudofinite omega-categorical groups, featuring insights on model theory and its applications to group theory and combinatorics.

• YouTube
• 55 minutes
• Self-Paced
• Free Video

Centre International de Rencontres Mathématiques

Quasirandomness of Definable Subsets of Definable Groups in Finite Fields

Delve into advanced mathematical concepts exploring quasirandomness in definable subsets of finite field groups through expert analysis and theoretical frameworks.

• YouTube
• 54 minutes
• Self-Paced
• Free Video

Harvard CMSA

Logic and Formal Methods in Mathematics and Machine Learning

Explore fundamental connections between mathematical logic and formal methods while examining their applications in modern machine learning and computational systems.

• YouTube
• 57 minutes
• Self-Paced
• Free Video

Topos Institute

Domain-specific Logics for Scientific Modeling - Theory and Practice

Explore domain-specific logics for scientific modeling through theoretical foundations and practical applications, emphasizing innovative approaches to mathematical reasoning and model development.

• YouTube
• 52 minutes
• Self-Paced
• Free Video

Topos Institute

70 Years with Heyting Algebras - Identities and Distributive Lattices

Explore the 70-year journey through Heyting algebras, examining their connections to logic and the groundbreaking proof about finite distributive lattices in mathematical theory.

• YouTube
• 53 minutes
• Self-Paced
• Free Video

MUNI Seminar Series

Taming the Monster of Independence in Mathematics

Explore approaches to settling seemingly independent mathematical problems, focusing on Gödel's incompleteness theorem and the Continuum Hypothesis.

• YouTube
• 54 minutes
• Self-Paced
• Free Video

BIMSA

Analysis from a Boldface Recursion Theory Point of View

Explore real analysis through recursion theory, applying results and techniques to gain new insights and perspectives.

• YouTube
• 50 minutes
• Self-Paced
• Free Video

BIMSA

Infinitary Combinatorics and Finitary Arithmetic

Explore recent developments in characterizing Ramsey-type combinatorial principles within reverse mathematics, focusing on proof-theoretic strength analysis.

• YouTube
• 1 hour 1 minute
• Self-Paced
• Free Video

Schmid College, Chapman University

A Reassessment of Gödel's Doctrine - The Necessity of Infinity

Delve into the philosophical examination of Gödel's Doctrine, exploring the necessity of infinity in mathematical proofs and its implications for finitary mathematics through multiple proof approaches.

• YouTube
• 1 hour 56 minutes
• Self-Paced
• Free Video

Erwin Schrödinger International Institute for Mathematics and Physics (ESI)

Scott Ranks of Models of Fragments of PA

Explore Scott ranks of models in fragments of Peano Arithmetic through advanced mathematical logic and model theory techniques.

• YouTube
• 58 minutes
• Self-Paced
• Free Video

Erwin Schrödinger International Institute for Mathematics and Physics (ESI)

Relativized Computable Categoricity

Explore relativized computable categoricity in Turing degrees, examining nonmonotonic behaviors below 0' and structural classes with computable witnesses to these phenomena.

• YouTube
• 43 minutes
• Self-Paced
• Free Video

Erwin Schrödinger International Institute for Mathematics and Physics (ESI)

Strict Reverse Mathematics - Part I

Explore Harvey Friedman's foundational work on Strict Reverse Mathematics, examining mathematical theories without base assumptions and their logical equivalences.

• YouTube
• 1 hour 2 minutes
• Self-Paced
• Free Video

Schmid College, Chapman University

Logical Structures Arising from Corpora - From Language Models to Linear Logic

Delve into the mathematical foundations of language models, exploring how statistical corpus analysis reveals natural language structures and their connection to linear logic models.

• YouTube
• 1 hour 40 minutes
• Self-Paced
• Free Video