solver

A Dyalog demonstration of developing a Sudoku solver in APL, using an algorithm by Arthur Whitney with performance work by John Scholes. The narration steps through the array-oriented solution.

A BBC Earth clip from Inside the Animal Mind in which a crow named 007 solves an eight-step puzzle to get a reward. It showcases crow problem-solving.

Numberphile's James Grime explains Cantor's result that some infinities are bigger than others, including why the reals outnumber the integers. It is a short, accessible introduction to countable and uncountable infinity.

Veritasium shows how Hilbert's infinite hotel can still run out of room, using infinite buses of guests. It explains the surprising answer in a short animated segment.