Проблема четырёх красок, или компьютер в математике [1] // Thomas Fernique
1.8 هزار بار بازدید -
7 سال پیش
-
Теорема о четырёх красках утверждает,
Теорема о четырёх красках утверждает, что всякую расположенную на сфере карту можно раскрасить четырьмя красками так, чтобы любые две области, имеющие общий участок границы, были раскрашены в разные цвета. В виде проблемы она была сформулирована в 1852 году — и доказана в 1976-м лишь с помощью компьютера.
Такое решение не всем понравилось, и некоторые до сих пор ждут доказательства, которое можно проверить без компьютера. Другие (как великий математик Владимир Воеводский) — наоборот, стали развивать автоматическую проверку правильности доказательств на компьютере…
В курсе мы разберем доказательство теоремы о четырёх красках (это простая комбинаторика, доступная любому школьнику), а также обсудим сегодняшнее использование компьютера в математике (надо примерно знать, что такое компьютер).
Thomas Fernique, Ph.D. Université de Montpellier II 2007
Летняя школа «Современная математика», г. Дубна
21-28 июля 2016 г.
https://forany.xyz/a-548
Такое решение не всем понравилось, и некоторые до сих пор ждут доказательства, которое можно проверить без компьютера. Другие (как великий математик Владимир Воеводский) — наоборот, стали развивать автоматическую проверку правильности доказательств на компьютере…
В курсе мы разберем доказательство теоремы о четырёх красках (это простая комбинаторика, доступная любому школьнику), а также обсудим сегодняшнее использование компьютера в математике (надо примерно знать, что такое компьютер).
Thomas Fernique, Ph.D. Université de Montpellier II 2007
Летняя школа «Современная математика», г. Дубна
21-28 июля 2016 г.
https://forany.xyz/a-548
7 سال پیش
در تاریخ 1396/02/13 منتشر شده
است.
1,822
بـار بازدید شده