Краткое содержание
Изложение истории доказательства теоремы о четырёх красках: от Кемпе до компьютерного доказательства Аппеля и Хакена.
Темы
Математика
история науки
Теги
математика
теорема о четырёх красках
история науки
компьютерное доказательство
Упомянутые сущности
Кемпе
Хивуд
Аппель
Хакен
Робин Уилсон
Полный текст
Как доказывали теорему о четырёх краскахУзнаем, как именно доказывал эту теорему Кемпе, какой контрпример нашёл Хивуд и как в итоге устроено компьютерное доказательство Аппеля и Хакена. Автор не нашёл достаточно подробного изложения на русском языке, поэтому взял книгу Робина Уилсона «Four Color Suffice», узнал из неё все, что было интересно, и кратко пересказал это для вас.
Другие посты из habr_com
habr_com
2025-05-06T12:21:06+00:00
История AMP для электронной почты от Google: попытка внедрить интерактивность в email, но неудачная, так как email не нужна интерактивность.
Читать