Stanford Lecture: Don Knuth—"A Conjecture That Had To Be True" (2017)
Stanford Online · 67:01 · Watch on YouTube
Donald Knuth's 23rd Christmas Lecture shows how a simple experiment on dividing a rectangle into rectangles led to an unexpectedly clean enumeration formula for "dense tilings" that *had* to be true — and was later pr...