Робин Уилсон - Четырёх цветов достаточно

В 1852 году Фрэнсис Гатри, молодой математик из Южной Африки, попытался закрасить графства на карте Англии. Гатри обнаружил, что ему достаточно всего четырех различных цветов, чтобы любые два смежных графства получились гарантированно разных цветов. Проведя еще ряд экспериментов, он убедился, что то же самое верно для любой карты вообще. Это — замечательная история о том, как математики постепенно доказали то, что он был прав, но лишь при помощи компьютеров, поставив под вопрос самое значение «доказательства». То есть нечто такое, что содержит достаточно деталей, чтобы быть удовлетвоительным, и при этом остается доступным и информативным.