Computability Courses and Certifications

Ryan O'Donnell

Great Ideas in Theoretical Computer Science - Turing's Legacy

Explore Turing Machines, their definition, and programming techniques in this theoretical computer science lecture, covering interpreters, formal definitions, and practical TM subroutines.

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

Ryan O'Donnell

Undergrad Complexity at CMU - Turing Machines

Explore Turing Machines in computational complexity theory, covering formalization, the Turing Thesis, examples, and mathematical definitions for a comprehensive understanding.

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

Write your own Operating System

GNU Sed - The Stream Editor

Learn to harness the power of GNU sed for text processing, from basic usage to advanced techniques, culminating in a demonstration of its Turing completeness.

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

Instituto de Física Interdisciplinar y Sistemas Complejos (IFISC)

Stochastic Thermodynamics of Boolean Circuits, Finite Automata and Turing Machines

Explore stochastic thermodynamics applied to computational models, including Boolean circuits, finite automata, and Turing machines.

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

ACM SIGPLAN

Partial Evaluation of Reversible Flowchart Programs

Explore partial evaluation of reversible flowchart programs, examining effects on symmetric encryption and reversible Turing machines. Gain insights into program inversion and applications in various computing domains.

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

Simons Institute

Language Generation in the Limit - Transformers as a Computational Model

Explore language generation using basic specifications, contrasting with language learning models. Discover non-trivial guarantees for generating valid new strings from unknown languages.

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

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

Higher Type Recursion in Transfinite Computational Models

Explore higher type recursion through infinite time Turing machines and discover analogies with Kleene's Type 2 computation model in this advanced mathematical talk.

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

Wolfram

Mathematical Games - Turing Machines and Turmites - Episode 19

Explore mathematical games and puzzles involving Turing machines and turmites with Ed Pegg Jr. Discover fascinating concepts in computational theory and cellular automata.

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

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

Shear-Induced Dynamics and Mechanical Responses in Biological Tissues

Explore computational models of biological tissue mechanics under shear forces, examining solidification, thickening, plasticity, and multilayered responses in developmental processes.

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

Wolfram

Computation through Smooth Dynamics - Simulating TKFTs

Explore how Topological Kleene Field Theories translate abstract computational flows into concrete dynamics that simulate Turing machines through smooth mathematical frameworks.

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

Insights into Mathematics

Computability and Problems with Set Theory - Math History

Explores historical controversies in set theory, Gödel's incompleteness theorems, Zermelo-Fraenkel axioms, and Turing's computability concepts, challenging traditional views on infinite sets in mathematics.

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

Insights into Mathematics

Sets, Logic and Computability - Math History - NJ Wildberger

Overview of set theory, logic, and computability in late 19th/early 20th century math, covering Cantor's work, Dedekind's constructions, paradoxes, and philosophical schools addressing foundational issues.

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

Concepts in Computer Science

2 ratings

Learn how computers work, design efficient algorithms, and explore computational theory to solve real-world problems.

• DataCamp
• 3 hours
• Self-Paced
• Free Trial Available

Institute for Pure & Applied Mathematics (IPAM)

Computability and Complexity in Complex Analysis - from 2007 to 2026

Explore two decades of progress in computational aspects of complex analysis, covering conformal maps, harmonic measure, and Carathéodory extension with leading research insights.

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

Network Dynamics of Social Behavior

400 ratings at Coursera

Explore network dynamics shaping social behavior, from revolutions to cultural shifts. Learn how agent-based models and network theories explain collective behaviors, diffusion processes, and social change.

• Coursera
• 5 hours 25 minutes
• Self-Paced
• Paid Course