Residency Match (Stable Marriage Problem, Gale-Shapley Algorithm)

Residency Match (Stable Marriage Problem, Gale-Shapley Algorithm)

What Makes Mario NP-Hard? (Polynomial Reductions)

What Makes Mario NP-Hard? (Polynomial Reductions)

NP-Complete Explained (Cook-Levin Theorem)

NP-Complete Explained (Cook-Levin Theorem)

What Makes P vs. NP So Hard? (P ≠ EXPTIME, Time Hierarchy, Baker-Gill-Solovay)

What Makes P vs. NP So Hard? (P ≠ EXPTIME, Time Hierarchy, Baker-Gill-Solovay)

NP: How Non-determinism Relates to Verifiable Proofs

NP: How Non-determinism Relates to Verifiable Proofs

The Formal Definition of P (P vs NP)

The Formal Definition of P (P vs NP)

P vs. NP - An Introduction

P vs. NP - An Introduction

What Is Big O? (Comparing Algorithms)

What Is Big O? (Comparing Algorithms)

Alan Turing - Giants of Computer Science

Alan Turing - Giants of Computer Science

Gödel's Second Incompleteness Theorem, Proof Sketch

Gödel's Second Incompleteness Theorem, Proof Sketch

Gödel's First Incompleteness Theorem, Proof Sketch

Gödel's First Incompleteness Theorem, Proof Sketch

Math's Existential Crisis (Gödel's Incompleteness Theorems)

Math's Existential Crisis (Gödel's Incompleteness Theorems)

Impossible Programs (The Halting Problem)

Impossible Programs (The Halting Problem)

How to Abolish the Electoral College (National Popular Vote Interstate Compact)

How to Abolish the Electoral College (National Popular Vote Interstate Compact)

Some Infinities ARE Bigger Than Other Infinities (Diagonalization)

Some Infinities ARE Bigger Than Other Infinities (Diagonalization)

How to Compare Infinities

How to Compare Infinities

How We Should Vote (Range Voting)

How We Should Vote (Range Voting)

Is Democracy Impossible? (Arrow's Theorem)

Is Democracy Impossible? (Arrow's Theorem)

What Is Computer Science?

What Is Computer Science?