Проблема четырех красок
Проблема четырех красок – это математическая задача, которая была сформулирована в 1852 году Фрэнсисом Гутри, который в то время пытался раскрасить карту графств Англии (тогда интернета еще не было, так что делать было особо нечего). Он обнаружил кое-что интересное – нужно было всего 4 цвета, чтобы любые две области, имеющие общую границу, были раскрашены в разные цвета. Гутри заинтересовался, работает ли это правило для любой другой карты, и этот вопрос стал математической задачей, которую многие годы не могли решить.
Только в 1976 году эта задача была решена Кеннетом Аппелем и Вольфгангом Хакеном. Для доказательства был применен компьютер, и оно оказалось достаточно сложным. Но было доказано, что абсолютно любую карту (например, политическую карту мира) можно раскрасить, используя только 4 цвета так, чтобы ни одно государство не соприкасалось с другим, раскрашенным в такой же цвет.
Теорема Брауэра о неподвижной точки
Это теорема из такого раздела математики как топология, была доказана Лёйтзеном Брауэром. Ее чисто математическое выражение является достаточно абстрактным, но ее можно неожиданным способом применить к разным реальным событиям. Допустим, что у нас есть какая-нибудь картина (к примеру Мона Лиза), и мы можем сделать ее копию. Потом мы можем делать с этой копией что захотим – увеличивать, уменьшать, вращать, сминать, все что угодно. Терема Брауэра о неподвижной точке гласит, что если эту деформированную копию положить на оригинал, то всегда найдется хотя бы одна точка на копии, которая будет находиться ровно над этой же самой точкой изображения на оригинале. Это может быть кусочек уха, рта или глаза Моны, но обязательно такая точка найдется.
Теорема работает и в трехмерном пространстве. Представьте, что у нас есть стакан воды, в который мы положили ложку и размешивали воду столько, сколько захотим. По теореме Брауэра, всегда будет хотя бы одна молекула воды, которая в итоге окажется ровно на том же самом месте, что и до размешивания.
Парадокс Рассела
На рубеже 20-го века многие ученые были увлечены новым разделом математики – теорией множеств. В принципе, множество – это совокупность каких-либо объектов. В те времена, считалось, что любой набор объектов можно считать множеством – множество всех фруктов, множество всех президентов США, и все это считалось верным. Стоит добавить, что одно множество может включать в себя другие множества. В 1901 году известный математик Бертран Рассел сделал нашумевшее открытие, когда понял, что такой способ мышления ошибочен – на самом деле не все совокупности объектов можно назвать множеством.
Решив разобраться в этом вопросе, Рассел описал множество всех множеств, которые не содержат себя в качестве своих элементов. Множество всех фруктов не содержит в себе само себя, так что его можно включить во множество Рассела, как и огромное количество других множеств. Но что насчет самого множества Рассела? Оно не содержит в себе само себя, так что его тоже надо включить в это множество. Погодите ка… теперь оно содержит себя в самом себе, так что нам нужно его исключить. Но теперь его нужно включить в себя снова, так как на этот момент, оно не содержит себя в самом себе. Ну и так далее. Этот логический парадокс привел к пересмотру теории множеств, одному из самых важных направлений в современной математике.
Великая теорема Ферма
Помните со школы теорему Пифагора? Она гласит, что в прямоугольном треугольнике квадрат гипотенузы равен сумме квадратов катетов (x2 + y2 = z2). Самая известная теорема Пьера Ферма говорит о том, что это же выражение не имеет натуральных решений x, y и z, если в степенях находится любое натуральное число больше двух.
Как писал сам Ферма: «…невозможно разложить куб на два куба, биквадрат на два биквадрата и вообще никакую степень, большую квадрата, на две степени с тем же показателем. Я нашел этому поистине чудесное доказательство, но поля книги слишком узки для него». Проблема в том, что Ферма написал это в 1637 году, а недоказанной она оставалась еще долгие годы. И только в 1995 году (спустя 358 лет) теорема была доказана Эндрю Уайлсом.
Теорема о конце света
Скорее всего, большинство читателей этой статьи являются человеческими существами. Нас, людей, это отрезвит – математика может быть использована для определения того, когда наш вид полностью вымрет. Используя вероятности, но тем не менее.
Это теорема (которая существует уже примерно 30 лет и была открыта и переоткрыта уже несколько раз) говорит о том, что время человечества уже на исходе. Одно из доказательств (которые принадлежит астрофизику Ричарду Готту) на удивление простое: если рассматривать все время существования человеческого вида как процесс жизни отдельного организма, то можно определить на каком этапе жизни наш вид находится.
Исходя из предположения, что живущие сейчас люди находятся в случайном месте всей хронологии человеческой истории, мы можем утверждать с 95% уверенностью, что мы находимся среди последних 95% когда-либо родившихся людей. Кроме того, Готт пытается дать интервал 95% уверенности между минимальным и максимальным временем выживания. Поскольку он даёт шансы в 2,5% на недооценку минимального времени, то только 2,5% остаётся на переоценку максимального. Согласно Готту, человечество вымрет в интервале от 5100 лет до 7,8 миллионов лет от текущего времени. Итак, человечество, тебе пора писать завещание.