stackyFACTS
Наука

Почему теорему о четырёх красках доказал компьютер

ВОТ ЧТО ИНТЕРЕСНО

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

Почему теорему о четырёх красках доказал компьютер
STACKY / Наука
Одно открытие ведёт к другому.

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

Наука →
STACKY ДЛЯ IPHONE

Большой мир.
Маленькие открытия.

Продолжите открывать мир в Stacky. Интересные факты в приложении, которое всегда под рукой.

Скачать в App Store
ЕЩЁ ОДНО ОТКРЫТИЕ?

Продолжите открытие

Вся тема →
Последняя теорема Ферма веками ждала доказательства
Наука

Последняя теорема Ферма веками ждала доказательства

Пьер де Ферма был величайшим академическим троллем. Он нацарапал блестящую математическую теорему на полях книги, добавив, что у него есть поистине чудесное…

Узнать больше
Платонизм утверждает, что математические концепции существуют
Наука

Платонизм утверждает, что математические концепции существуют

Некоторые ученые так глубоко погружаются в свою работу, что начинают придерживаться математического платонизма — твердого убеждения в том, что числа и…

Узнать больше
Решето Эратосфена находит простые числа путем исключения
Наука

Решето Эратосфена находит простые числа путем исключения

Более двух тысячелетий назад Эратосфен понял, что искать простые числа по одному — занятие мучительное. Он придумал «решето»: выписываешь все числа,…

Узнать больше
Пульс на грани хаоса
Наука

Пульс на грани хаоса

Ваш пульс — это не просто ритм, а сложнейшее фрактальное уравнение на грани математического хаоса! Если ритм становится слишком правильным, логика системы…

Узнать больше
Миллион долларов — за ответ о быстрых задачах
Наука

Миллион долларов — за ответ о быстрых задачах

Фундамент современной криптографии висит на одном неотвеченном вопросе. Задача P против NP спрашивает, может ли каждая задача, решение которой можно быстро…

Узнать больше
В матрицах результат умножения меняется, если поменять местами множители
Наука

В матрицах результат умножения меняется, если поменять местами множители

В базовой арифметике трижды четыре — это в точности то же самое, что четырежды три. Но если вы попытаетесь провернуть этот трюк в линейной алгебре с…

Узнать больше
StackyБольше открытий в приложении
Скачать в App Store