Теорема о четырёх красках формулируется очень просто: можно ли на непрерывной карте раскрасить каждую область одним из четырёх цветов так, чтобы соседние области были разных цветов?Некоторые математические задачи продолжают преследовать исследователей ещё…
Теорема о четырёх красках — это математическая формулировка, связанная с картами. Все примеры карт, которые я нашёл в Интернете, были слишком сложными для введения, поэтому я набросал собственный неказистый рисунок: Если посмотреть под другим углом, то можно воспринимать её как
Астрологи объявили на хабре неделю профанных доказательств великих теорем. Теорема о четырёх красках. Теорема Ферма. Перед вами «доказательство гипотезы Римана». Сначала я хотел тоже, оформить статью по приколу, что типа автор полностью уверен, что всё доказал, где мои деньги,…
Пример расчётного доказательства в программе Lean Математики давно используют компьютеры в своей работе как инструменты для сложных вычислений и выполнения рутинных операций перебора. Например, в 1976 году методом компьютерного перебора была доказана теорема о четырёх красках.…