HackerTube 中文?

Stanford Lecture: Don Knuth—"A Conjecture That Had To Be True" (2017)

Stanford OnlineYouTube ↗

Further reading 1

When does a pattern in a picture become a proof? →A tiling suggests a conjecture, a new encoding turns rectangles into collisions, and a plotting rule creates spirals before primes even enter the picture. What work does each picture actually do?This video helps answer · First try cases that might fail

Caption notes

Knuth follows counting patterns in rectangle pavings into a conjecture. Checking more sizes makes the pattern worth explaining while leaving open the argument that would establish it.

Video or transcript source ↗
Original passages · 2
it worked for M 3 4 5 & 6
Stanford Lecture: Don Knuth—"A Conjecture That Had To Be True" (2017) · ▶ 48:16–48:24
all of a sudden you jump to a conjecture then you try it on it on another couple of cases
Stanford Lecture: Don Knuth—"A Conjecture That Had To Be True" (2017) · ▶ 51:16–51:26

Hacker News comments

View original on HN ↗