Computability Courses and Certifications

Ryan O'Donnell

Great Ideas in Theoretical Computer Science: Computability

Explore computability theory, Turing machines, and undecidable problems in this theoretical computer science lecture, focusing on fundamental concepts and their implications.

• YouTube
• 1 hour 19 minutes
• On-Demand
• Free Video

Association for Computing Machinery (ACM)

On the Computability of Continuous Maximum Entropy Distributions with Applications

Explore computability of continuous maximum entropy distributions, their applications in quantum entropy and interior point methods, and implications for SDP rounding algorithms.

• YouTube
• 24 minutes
• On-Demand
• Free Video

Computability, Complexity & Algorithms

1 review

Learn tools and techniques that will help you recognize when problems you encounter are intractable and when there an efficient solution.

• Udacity
• On-Demand
• Free Online Course

Theory of Computation, Fall 2020

Explore computability and complexity theory with MIT's in-depth course. Covers automata, Turing machines, undecidability, NP-completeness, and advanced topics in computational theory.

• YouTube
• 1 day 8 hours
• On-Demand
• Free Video

Formal Languages and Automata Theory

156 ratings at Udemy

Introduction to Automata Theory, Languages and Computation

• Udemy
• 31 hours
• On-Demand
• Paid Course

Tokyo Institute of Technology

Introduction to Computer Science and Programming

Learn computer science fundamentals, from data and computation to encryption, while gaining hands-on programming experience in Ruby. Explore cutting-edge topics like AI, data mining, and simulations.

• edX
• 5 weeks, 2-3 hours a week
• On-Demand
• Free Online Course (Audit)

Hausdorff Center for Mathematics

Proof Mining in Bounded Arithmetic

Explore proof mining in bounded arithmetic, focusing on computational content, complexity classes, and applications in mathematical logic and theoretical computer science.

• YouTube
• 44 minutes
• On-Demand
• Free Video

Devoxx

Keynote - Six Impossible Things

Explore software development limits, from integer representation to task estimation, and learn to create solutions within these constraints for more effective development.

• YouTube
• 1 hour 1 minute
• On-Demand
• Conference Talk

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
• On-Demand
• Free Video

Joint Mathematics Meetings

Computable Structure Theory with Noncomputable Structures

Explore computable structure theory, categoricity, and noncomputable structures in mathematics, focusing on fields and isomorphism types of subfields.

• YouTube
• 56 minutes
• On-Demand
• Conference Talk

Joint Mathematics Meetings

Different Problems, Common Threads - Computing the Difficulty of Mathematical Problems

Explore mathematical problem complexity, computability, and reverse mathematics with Karen Lange's insightful analysis of theorems, algorithms, and foundational concepts.

• YouTube
• 56 minutes
• On-Demand
• Conference Talk

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
• On-Demand
• Free Video

NCCR SwissMAP

Where the Cosmos is Chaotic or Indeterministic

Explore cosmic chaos, determinism, and indeterminism through galaxies, cosmology, and black holes. Gain insights into the universe's fundamental nature and its implications.

• YouTube
• 1 hour 7 minutes
• On-Demand
• Free Video

Foundations of Physics @Harvard

Laplace Meets Gödel - Determinism and Predictability in Physics

Explore determinism's limits through Laplace's demon, examining why such predictive power is impossible in any theory, and draw implications for physics.

• YouTube
• 1 hour 23 minutes
• On-Demand
• Free Video

Simons Institute

Veridical Data Science and Alignment in Medical AI - Building Trust and Interpretability in Healthcare

Explore how AI algorithms in healthcare progress from transparent to opaque, examining trust-building principles and alignment challenges through real medical case studies and data science frameworks.

• YouTube
• 50 minutes
• On-Demand
• Free Video