Undefined Behavior
Videos on math and computer science.
Residency Match (Stable Marriage Problem, Gale-Shapley Algorithm)
What Makes Mario NP-Hard? (Polynomial Reductions)
NP-Complete Explained (Cook-Levin Theorem)
What Makes P vs. NP So Hard? (P ≠ EXPTIME, Time Hierarchy, Baker-Gill-Solovay)
NP: How Non-determinism Relates to Verifiable Proofs
The Formal Definition of P (P vs NP)
P vs. NP - An Introduction
What Is Big O? (Comparing Algorithms)
Alan Turing - Giants of Computer Science
Gödel's Second Incompleteness Theorem, Proof Sketch
Gödel's First Incompleteness Theorem, Proof Sketch
Math's Existential Crisis (Gödel's Incompleteness Theorems)
Impossible Programs (The Halting Problem)
How to Abolish the Electoral College (National Popular Vote Interstate Compact)
Some Infinities ARE Bigger Than Other Infinities (Diagonalization)
How to Compare Infinities
How We Should Vote (Range Voting)
Is Democracy Impossible? (Arrow's Theorem)
What Is Computer Science?