Four-Color Proof Culture Shock
26:17–29:48 · 211s
Stewart recounts how the computer-aided four-color theorem split generations and ignited debate about what counts as a proof.
26:17–29:48 · 211s
Stewart recounts how the computer-aided four-color theorem split generations and ignited debate about what counts as a proof.
We use cookies to understand how you use our platform and to improve your experience. Click "Accept All" to consent, or "Decline non-essential" to opt out of non-essential cookies. Read our Privacy Policy.