Graph Theory 9: Philosophical Signifance of Four Color Theorem

Описание к видео Graph Theory 9: Philosophical Signifance of Four Color Theorem

Discusses why the Appel and Haken's computer-assisted proof of the four color theorem (1960) caused controversy. References Tymoczko's "The Four Color Theorem and Its Philosophical Significance": https://www.semanticscholar.org/paper...

Комментарии

Информация по комментариям в разработке