Почему теорему о четырёх красках доказал компьютер
Это звучит как задача для детской раскраски, но доказательство того, что для раскраски любой карты достаточно четырех цветов, заняло более века. Хуже того, доказательство было получено с помощью автоматизированных вычислений. Математики старой школы были в ярости, утверждая, что алгоритмическая помощь — это жульничество в чистой теории.

Продолжите читать факты по этой теме.
Наука →




