[Ethera]

Узнала о таком явлении, как проблема четырех красок в математике.

(кликабельно)

В математике теорема о четырёх красках утверждает, что всякую расположенную на сфере карту можно раскрасить четырьмя красками так, чтобы любые две области, имеющие общий участок границы, были раскрашены в разные цвета. <...> Эта теорема была сформулирована Фрэнсисом Гутри (англ.) в 1852 году, однако доказать ее долгое время не удавалось. В течение этого времени было предпринято множество попыток как доказательства, так и опровержения, и эта задача носила название проблемы четырёх красок.
Теорема о четырёх красках была доказана в 1976 году Кеннетом Аппелем (англ.) и Вольфгангом Хакеном (англ.) из Иллинойского университета. Это была первая крупная математическая теорема, доказанная с помощью компьютера.

@музыка: Adrian Von Ziegler - "Unique"

@темы: Хмели-сунели, История

Comments

[Кеттарийская Чиффа]

Ого, интересный факт)

[Blomma]

Где же они такую карту нашли? От балды нарисовали?