В математике меандром называют незамкнутую прямую на плоскости, пересекающую данную прямую трансверсально в конечном числе точек. Например, шоссе, идущее с запада на восток, пересекает несколько раз реку, текущую с северо-запада на юго-восток. Занумеруем мосты в порядке их следования. Проплывая под мостами вниз по реке, мы будем встречать, вообще говоря, их в другом порядке. Например, в таком: 3, 2, 1, 4, 7, 6, 5. Таким образом, эта река определяет перестановку чисел (3 2 1 4 7 6 5). Ясно, что другая река могла бы протекать иначе и задавать другую перестановку. Но далеко не всякая перестановка может быть реализована таким образом. Саму перестановку называют меандром, если она может быть осуществлена с помощью подходящей реки.
Задача подсчёта числа неэквивалентных меандров — сложная открытая проблема. Более того, неизвестна даже асимптотика роста этих чисел.
Многочисленные рисунки меандров содержатся в работе А. Пуанкаре «Ободной геометрической теореме», где он пытался доказать с их помощью, что отображение кольца в себя, сохраняющее площади и сдвигающее граничные окружности в разные стороны, имеет не менее двух неподвижных точек. Теорема Пуанкаре была доказана Биркгофом в 1913 г. другим методом, но её обобщение на отображение сферы с ручками было доказано в 1978 г. Я.М. Элиашбергом на основе теории меандров.
Из теории меандров вытекают, например, такие теоремы:
1. Нестягиваемая несамопересекающаяся гладкая замкнутая кривая на проективной плоскости имеет не менее трёх точек перегиба.
2. Замкнутая плоская кривая имеет не менее 4 экстремальных точек кривизны.
Задача подсчёта числа неэквивалентных меандров — сложная открытая проблема. Более того, неизвестна даже асимптотика роста этих чисел.
Многочисленные рисунки меандров содержатся в работе А. Пуанкаре «Ободной геометрической теореме», где он пытался доказать с их помощью, что отображение кольца в себя, сохраняющее площади и сдвигающее граничные окружности в разные стороны, имеет не менее двух неподвижных точек. Теорема Пуанкаре была доказана Биркгофом в 1913 г. другим методом, но её обобщение на отображение сферы с ручками было доказано в 1978 г. Я.М. Элиашбергом на основе теории меандров.
Из теории меандров вытекают, например, такие теоремы:
1. Нестягиваемая несамопересекающаяся гладкая замкнутая кривая на проективной плоскости имеет не менее трёх точек перегиба.
2. Замкнутая плоская кривая имеет не менее 4 экстремальных точек кривизны.
❤6👍6🔥5
Меандром ещё называют распространённый со времён палеолита ленточный орнамент, образуемый ломаной под прямым углом линией. По одной из версий, элемент меандра происходит от схематического изображения капкана, охотничьей ловушки для зверя, что согласуется с археологическими источниками. Особое распространение этот орнамент получил в Древней Греции, где он олицетворял бесконечное обновление человеческой жизни и её извилистое течение.
Задача из ВПР (5 класс). На рисунке показан фрагмент меандра, длина которого по горизонтали равна 47 клеток. Сколько клеток составляет вся извилистая линия меандра, если её толщина везде одинакова и равна ширине белых промежутков.
Ответ:167.
Задача из ВПР (5 класс). На рисунке показан фрагмент меандра, длина которого по горизонтали равна 47 клеток. Сколько клеток составляет вся извилистая линия меандра, если её толщина везде одинакова и равна ширине белых промежутков.
Ответ:
👍6❤4🔥3
Игра-головоломка «Меандр»
Игра предложена Аланом Тьюрингом. Играется на квадрате, сторона которого состоит из нечётного количества плиток.
Например, для квадрата 5×5 используют 24 квадратные плитки, которые выкладываются на игровое поле, состоящее из 25 клеток, так, чтобы одна клетка осталась свободной (рисунок слева). На двенадцати плитках изображён узор одного типа, а на других двенадцати — узор другого типа.
Из начального положения два игрока по очереди передвигают по одной фишке на пустую клеточку, как в игре «15». При смещении фишек круги размыкаются и объединяются в куски извилистых линий, действительно напоминающие меандры. Побеждает тот, кто первый замкнёт своим ходом эти куски в непрерывную линию, соединяющую два края игрового поля. Такой узор показан на рисунке справа (линия соединяет левый и нижний края доски).
Есть усложнённый вариант игры — за каждый ход передвигается не по одной фишке, а сдвигается на одну клетку целый столбец или ряд из одной–четырёх фишек.
Игра предложена Аланом Тьюрингом. Играется на квадрате, сторона которого состоит из нечётного количества плиток.
Например, для квадрата 5×5 используют 24 квадратные плитки, которые выкладываются на игровое поле, состоящее из 25 клеток, так, чтобы одна клетка осталась свободной (рисунок слева). На двенадцати плитках изображён узор одного типа, а на других двенадцати — узор другого типа.
Из начального положения два игрока по очереди передвигают по одной фишке на пустую клеточку, как в игре «15». При смещении фишек круги размыкаются и объединяются в куски извилистых линий, действительно напоминающие меандры. Побеждает тот, кто первый замкнёт своим ходом эти куски в непрерывную линию, соединяющую два края игрового поля. Такой узор показан на рисунке справа (линия соединяет левый и нижний края доски).
Есть усложнённый вариант игры — за каждый ход передвигается не по одной фишке, а сдвигается на одну клетку целый столбец или ряд из одной–четырёх фишек.
🔥11👍1
23 июня 1912 г. родился Алан Тьюринг, британский математик, логик и криптограф, чьи работы заложили основы современной информатики и ИИ.
Сам термин "компьютер" в современном понимании пустил в обращение Алан Тьюринг. До этого так называли тех, кто занимался вычислениями, например, банковских служащих, работавших на арифмометре.
Алан Тьюринг внёс фундаментальный вклад в теоретическую информатику, предложив в 1936 г. абстрактную математическую модель, которая формально определила понятие алгоритма и вычислимости. Эта модель доказала существование принципиально неразрешимых задач (как проблема остановки) и лежит в основе всех современных компьютеров.
Как называется эта ключевая концепция?
Сам термин "компьютер" в современном понимании пустил в обращение Алан Тьюринг. До этого так называли тех, кто занимался вычислениями, например, банковских служащих, работавших на арифмометре.
Алан Тьюринг внёс фундаментальный вклад в теоретическую информатику, предложив в 1936 г. абстрактную математическую модель, которая формально определила понятие алгоритма и вычислимости. Эта модель доказала существование принципиально неразрешимых задач (как проблема остановки) и лежит в основе всех современных компьютеров.
Как называется эта ключевая концепция?
❤11❤🔥6👍2
👍3🔥3
Тест Тьюринга. Этот знаменитый тест (1950 г.) определяет, может ли машина демонстрировать разумное поведение, неотличимое от человеческого. Это важнейший вклад в философию ИИ, но не формальная модель вычислений, лежащая в основе теории алгоритмов.
Криптографическая "Бомба" — реальное электромеханическое устройство, разработанное Тьюрингом и командой для взлома шифров немецкой шифровальной мащины "Энигма". Это гениальное инженерное решение времен Второй мировой войны, а не абстрактная математическая модель вычислений.
ACE — проект реального физического компьютера. Он был вдохновлён идеями машины Тьюринга (как и все компьютеры), но сама машина Тьюринга — это теоретическая абстракция, а ACE — её возможная инженерная реализация.
Машина Тьюринга (правильный ответ!). Предложенная в 1936 г., эта абстрактная модель вычислений с бесконечной лентой, считывающей/записывающей головкой и таблицей правил формально определила, что значит "вычислить" что-либо. Она доказала неразрешимость проблемы остановки и стала основой всей современной информатики.
"Колосс". Первый в мире программируемый электронный цифровой компьютер, созданный для решения одной практической задачи (взлома немецкого шифра "Лоренц"). Тьюринг внёс важный вклад в теоретические аспекты взлома "Лоренца", но не был его главным конструктором. Эту роль сыграл М. Ньюман и Т. Флауэрс.
Тезис Чёрча-Тьюринга. Этот тезис утверждает, что любая интуитивно вычислимая функция может быть вычислена машиной Тьюринга (или другими эквивалентными моделями). Сам тезис — это принцип, а не сама конкретная модель вычислений, как машина Тьюринга.
Машина Поста. Это абстрактно-вычислительная машина, предложенная Эмилем Постом независимо от Тьюринга, на несколько месяцев позже его. Алгоритмически "эквивалентна" машине Тьюринга.
Квантовая криптография. Тьюринг не работал в области квантовой физики.
Морфогенез. К проблемам вычислимомти и алгоритмам эта тема не имеет никакого отношения. Но Тьюринг действительно построил важную для биологии математическую модель возникновения и развития органов. Он предположил, что любые неоднородности в живом мире (полосы, спирали, пятна) могут возникать из некоторых однородных состояний, и предложил для объяснения так называемую реакционно-диффузионную модель. Согласно этой модели, два вещества — активатор и ингибитор — распространяются в тканях с разной скоростью и взаимодействуют друг с другом. Активатор усиливает собственное производство и активирует ингибитор, который, напротив, подавляет действие активатора. Благодаря этому образуются сложные узоры из пятен и полос.
Вот тут можно на основе модели Тьюринга вырастить свой узор шерсти на шкуре леопарда!
О Тьюринге написаны книги, поставлена пьеса, снят кинофильм, выпущена почтовая марка с его изображением, создан язык программирования «Тьюринг». Но всё это было уже после его смерти. При жизни Тьюринга ждали унизительные обвинения и уголовное дело...
Криптографическая "Бомба" — реальное электромеханическое устройство, разработанное Тьюрингом и командой для взлома шифров немецкой шифровальной мащины "Энигма". Это гениальное инженерное решение времен Второй мировой войны, а не абстрактная математическая модель вычислений.
ACE — проект реального физического компьютера. Он был вдохновлён идеями машины Тьюринга (как и все компьютеры), но сама машина Тьюринга — это теоретическая абстракция, а ACE — её возможная инженерная реализация.
Машина Тьюринга (правильный ответ!). Предложенная в 1936 г., эта абстрактная модель вычислений с бесконечной лентой, считывающей/записывающей головкой и таблицей правил формально определила, что значит "вычислить" что-либо. Она доказала неразрешимость проблемы остановки и стала основой всей современной информатики.
"Колосс". Первый в мире программируемый электронный цифровой компьютер, созданный для решения одной практической задачи (взлома немецкого шифра "Лоренц"). Тьюринг внёс важный вклад в теоретические аспекты взлома "Лоренца", но не был его главным конструктором. Эту роль сыграл М. Ньюман и Т. Флауэрс.
Тезис Чёрча-Тьюринга. Этот тезис утверждает, что любая интуитивно вычислимая функция может быть вычислена машиной Тьюринга (или другими эквивалентными моделями). Сам тезис — это принцип, а не сама конкретная модель вычислений, как машина Тьюринга.
Машина Поста. Это абстрактно-вычислительная машина, предложенная Эмилем Постом независимо от Тьюринга, на несколько месяцев позже его. Алгоритмически "эквивалентна" машине Тьюринга.
Квантовая криптография. Тьюринг не работал в области квантовой физики.
Морфогенез. К проблемам вычислимомти и алгоритмам эта тема не имеет никакого отношения. Но Тьюринг действительно построил важную для биологии математическую модель возникновения и развития органов. Он предположил, что любые неоднородности в живом мире (полосы, спирали, пятна) могут возникать из некоторых однородных состояний, и предложил для объяснения так называемую реакционно-диффузионную модель. Согласно этой модели, два вещества — активатор и ингибитор — распространяются в тканях с разной скоростью и взаимодействуют друг с другом. Активатор усиливает собственное производство и активирует ингибитор, который, напротив, подавляет действие активатора. Благодаря этому образуются сложные узоры из пятен и полос.
Вот тут можно на основе модели Тьюринга вырастить свой узор шерсти на шкуре леопарда!
О Тьюринге написаны книги, поставлена пьеса, снят кинофильм, выпущена почтовая марка с его изображением, создан язык программирования «Тьюринг». Но всё это было уже после его смерти. При жизни Тьюринга ждали унизительные обвинения и уголовное дело...
❤10👍4🔥4❤🔥2😢1
Forwarded from Vital Math
📉 Смещение Чебышёва: почему простые чаще дают остаток 3, чем 1
Простые числа, на первый взгляд, должны распределяться равномерно. Например, если смотреть на простые числа по модулю 4, половина должна быть вида 4k + 1, а другая половина — 4k + 3. Это следует из расширенной теоремы о распределении простых.
🔍 Но Пафнутий Чебышёв ещё в 1853 году заметил странность: если начать считать, то простых чисел вида 4k+3 чаще оказывается больше, чем 4k+1. Это наблюдение вошло в историю как смещение Чебышёва или гипотеза Чебышёва .
📈 Например до x = 26 861 это неравенство выполняется почти всегда, кроме нескольких исключений, при x = 5, 17, 41 и 461.
Чтобы отслеживать счёт, вводят функцию π(x; n, m), которая говорит: сколько простых чисел ≤ x имеют вид nk + m. Логично ожидать, что две такие функции — π(x; 4, 1) и π(x; 4, 3) — будут по очереди вырываться вперёд. Но увы. Почти весь забег выигрывает одна команда — та, где остаток 3.
Почему так происходит?
🧠 На первый взгляд, это нарушает равномерность. Но причина — в тонкой алгебраической структуре: 1 является квадратичным вычетом по модулю 4 (то есть можно получить как квадрат какого-то целого числа по модулю 4), а 3 — нет. Оказывается простые чаще «предпочитают» числа, которые не являются вычетами.
📌 Что ещё интересней, в 1992 году Михаиэль Рубинштейн доказал эту гипотезу! Правда с одним условием. Доказательство работает только при условии выполнения усиленной формы знаменитой гипотезы Римана о нулях дзета-функции. То есть — строгое математическое объяснение смещения Чебышёва возможно, если гипотеза Римана и её обобщения верны.
🎯 Вывод: простые числа — это не просто случайный хаос. Они подчиняются глубоким законам, в которых даже такие «мелочи», как остатки по модулю, показывают удивительную асимметрию. И чтобы объяснить это строго — нужно дотянуться до самой гипотезы Римана.
@vitalmath
Простые числа, на первый взгляд, должны распределяться равномерно. Например, если смотреть на простые числа по модулю 4, половина должна быть вида 4k + 1, а другая половина — 4k + 3. Это следует из расширенной теоремы о распределении простых.
🔍 Но Пафнутий Чебышёв ещё в 1853 году заметил странность: если начать считать, то простых чисел вида 4k+3 чаще оказывается больше, чем 4k+1. Это наблюдение вошло в историю как смещение Чебышёва или гипотеза Чебышёва .
📈 Например до x = 26 861 это неравенство выполняется почти всегда, кроме нескольких исключений, при x = 5, 17, 41 и 461.
Чтобы отслеживать счёт, вводят функцию π(x; n, m), которая говорит: сколько простых чисел ≤ x имеют вид nk + m. Логично ожидать, что две такие функции — π(x; 4, 1) и π(x; 4, 3) — будут по очереди вырываться вперёд. Но увы. Почти весь забег выигрывает одна команда — та, где остаток 3.
Почему так происходит?
🧠 На первый взгляд, это нарушает равномерность. Но причина — в тонкой алгебраической структуре: 1 является квадратичным вычетом по модулю 4 (то есть можно получить как квадрат какого-то целого числа по модулю 4), а 3 — нет. Оказывается простые чаще «предпочитают» числа, которые не являются вычетами.
📌 Что ещё интересней, в 1992 году Михаиэль Рубинштейн доказал эту гипотезу! Правда с одним условием. Доказательство работает только при условии выполнения усиленной формы знаменитой гипотезы Римана о нулях дзета-функции. То есть — строгое математическое объяснение смещения Чебышёва возможно, если гипотеза Римана и её обобщения верны.
🎯 Вывод: простые числа — это не просто случайный хаос. Они подчиняются глубоким законам, в которых даже такие «мелочи», как остатки по модулю, показывают удивительную асимметрию. И чтобы объяснить это строго — нужно дотянуться до самой гипотезы Римана.
@vitalmath
👍13❤3❤🔥2🔥2🤔1
Важное уточнение: речь идёт не о том, что чисел 4k+3 вообще больше в бесконечности (теорема Дирихле гарантирует их асимптотически равное количество!). Речь о том, что функция π(x; 4, 3) почти для всех x больше, чем π(x; 4, 1). Они бесконечно меняются местами, но "команда 3" лидирует на астрономически больших дистанциях, уступая лишь в считанных точках (как x = 5, 17, 41, 461).
Почему "3" преобладает?
Ключ действительно в квадратичных вычетах (1 — квадратичный вычет mod 4, а 3 — нет). Но как это реально влияет на счёт? Представьте:
Числа вида 4k+1 могут свободно перемножаться: (4a+1)·(4b+1) = 16ab + 4a + 4b + 1 = 4(4ab+a+b) + 1 — снова 4k+1.
Числа вида 4k+3 ведут себя строже: (4a+3)·(4b+3) = ... + 9 = ... + 8 + 1 = 4(...) + 1 — внезапно дают 4k+1! Чтобы получить 4k+3, нужно умножить нечётное количество чисел вида 4k+3.
Получается, класс 4k+1 "притягивает" больше составных чисел. Он является мультипликативно замкнутым по отношению к произведениям любого количества множителей.
А класс 4k+3 "притягивает" меньше составных чисел, особенно с малым количеством простых множителей. Он "замкнут" только для произведений нечётного числа множителей вида 4k+3.
Эта алгебраическая асимметрия означает, что класс 4k+1 содержит больше составных чисел (относительно своего размера). Следовательно, доля чисел в классе 4k+3, которые являются простыми, статистически выше, чем доля простых в классе 4k+1. Это и создаёт изначальный перекос в пользу π(x; 4, 3).
Доказательство Рубинштейна и Сарнака (1994 г.) — не просто технический трюк. Оно показывает, что смещение Чебышёва — не локальный феномен, а глобальное свойство распределения простых чисел, закодированное в нулях дзета-функции Римана и её аналогов (L-функций Дирихле). Распределение простых по прогрессиям (вроде 4k+1 и 4k+3) управляется фазами (аргументами) этих нулей. Смещение возникает из-за конструктивной интерференции фаз, отвечающих за модуль 4. Усиленная гипотеза Римана (предполагающая расположение нулей на Re(s) = ½ и их линейную независимость) гарантирует, что эти фазы ведут себя "достаточно случайно", но не настолько случайно, чтобы скомпенсировать изначальный алгебраический перекос, и позволяет строго доказать преобладание 4k+3.
Простые числа, хоть и непредсказуемы в отдельности, демонстрируют потрясающую статистическую закономерность на групповом уровне, управляемую глубинной гармонией комплексного анализа. Их "предпочтение" невычетов — следствие этой тонкой, но мощной математической структуры.
Математика постоянно напоминает нам, что наши эстетические ожидания (равномерность, симметрия) часто расходятся с глубокой реальностью. Смещение Чебышёва — яркий пример естественной, неустранимой асимметрии, встроенной в самые основы арифметики.
Почему "3" преобладает?
Ключ действительно в квадратичных вычетах (1 — квадратичный вычет mod 4, а 3 — нет). Но как это реально влияет на счёт? Представьте:
Числа вида 4k+1 могут свободно перемножаться: (4a+1)·(4b+1) = 16ab + 4a + 4b + 1 = 4(4ab+a+b) + 1 — снова 4k+1.
Числа вида 4k+3 ведут себя строже: (4a+3)·(4b+3) = ... + 9 = ... + 8 + 1 = 4(...) + 1 — внезапно дают 4k+1! Чтобы получить 4k+3, нужно умножить нечётное количество чисел вида 4k+3.
Получается, класс 4k+1 "притягивает" больше составных чисел. Он является мультипликативно замкнутым по отношению к произведениям любого количества множителей.
А класс 4k+3 "притягивает" меньше составных чисел, особенно с малым количеством простых множителей. Он "замкнут" только для произведений нечётного числа множителей вида 4k+3.
Эта алгебраическая асимметрия означает, что класс 4k+1 содержит больше составных чисел (относительно своего размера). Следовательно, доля чисел в классе 4k+3, которые являются простыми, статистически выше, чем доля простых в классе 4k+1. Это и создаёт изначальный перекос в пользу π(x; 4, 3).
Доказательство Рубинштейна и Сарнака (1994 г.) — не просто технический трюк. Оно показывает, что смещение Чебышёва — не локальный феномен, а глобальное свойство распределения простых чисел, закодированное в нулях дзета-функции Римана и её аналогов (L-функций Дирихле). Распределение простых по прогрессиям (вроде 4k+1 и 4k+3) управляется фазами (аргументами) этих нулей. Смещение возникает из-за конструктивной интерференции фаз, отвечающих за модуль 4. Усиленная гипотеза Римана (предполагающая расположение нулей на Re(s) = ½ и их линейную независимость) гарантирует, что эти фазы ведут себя "достаточно случайно", но не настолько случайно, чтобы скомпенсировать изначальный алгебраический перекос, и позволяет строго доказать преобладание 4k+3.
Простые числа, хоть и непредсказуемы в отдельности, демонстрируют потрясающую статистическую закономерность на групповом уровне, управляемую глубинной гармонией комплексного анализа. Их "предпочтение" невычетов — следствие этой тонкой, но мощной математической структуры.
Математика постоянно напоминает нам, что наши эстетические ожидания (равномерность, симметрия) часто расходятся с глубокой реальностью. Смещение Чебышёва — яркий пример естественной, неустранимой асимметрии, встроенной в самые основы арифметики.
❤12👍8❤🔥2🔥2🤔1
Математика возникновения военных конфликтов
Хотя причины войн глубоко укоренены в человеческой психологии, политике, истории и культуре, математика предоставляет мощные модели и концептуальные рамки для понимания логики решений, ведущих к конфликту. Рассмотрим несколько ключевых подходов, проливающих свет на эту трагическую закономерность.
1. Теория игр: Ловушка недоверия
Суть: Страны (игроки), не доверяя друг другу, попадают в ситуацию, где взаимовыгодное сотрудничество становится невозможным, а агрессия – рациональным выбором.
Аналогия: "Дилемма заключённого". Представим себе, что два рыцаря стоят у узкого моста. Каждый хочет пройти первым и выбирает: уступить или атаковать.
Если А уступает, а Б атакует → А летит в реку (худший исход для А!).
Если А атакует, а Б уступает → А проходит первым (лучший исход для А!).
Если оба атакуют → оба ранены (плохо, но терпимо).
Если оба уступают → проходят по очереди (хорошо, но не идеально).
Рациональный выбор (Доминирующая стратегия):
Если Б уступит: А выгодно атаковать (получить лучший исход).
Если Б атакует: А выгодно атаковать (избежать худшего исхода).
Вывод: Независимо от действий Б, атаковать – лучшая стратегия для А! То же рассуждение верно для Б.
Равновесие Нэша: Единственный устойчивый исход – оба атакуют (война), хотя мир ("оба уступают") был бы лучше для обоих.
Ключевое понимание: Рациональный страх быть обманутым заставляет стороны выбирать агрессию, даже зная, что мир выгоднее. Это ловушка недоверия, из которой трудно вырваться без внешнего арбитра или механизмов принуждения к сотрудничеству.
Хотя причины войн глубоко укоренены в человеческой психологии, политике, истории и культуре, математика предоставляет мощные модели и концептуальные рамки для понимания логики решений, ведущих к конфликту. Рассмотрим несколько ключевых подходов, проливающих свет на эту трагическую закономерность.
1. Теория игр: Ловушка недоверия
Суть: Страны (игроки), не доверяя друг другу, попадают в ситуацию, где взаимовыгодное сотрудничество становится невозможным, а агрессия – рациональным выбором.
Аналогия: "Дилемма заключённого". Представим себе, что два рыцаря стоят у узкого моста. Каждый хочет пройти первым и выбирает: уступить или атаковать.
Если А уступает, а Б атакует → А летит в реку (худший исход для А!).
Если А атакует, а Б уступает → А проходит первым (лучший исход для А!).
Если оба атакуют → оба ранены (плохо, но терпимо).
Если оба уступают → проходят по очереди (хорошо, но не идеально).
Рациональный выбор (Доминирующая стратегия):
Если Б уступит: А выгодно атаковать (получить лучший исход).
Если Б атакует: А выгодно атаковать (избежать худшего исхода).
Вывод: Независимо от действий Б, атаковать – лучшая стратегия для А! То же рассуждение верно для Б.
Равновесие Нэша: Единственный устойчивый исход – оба атакуют (война), хотя мир ("оба уступают") был бы лучше для обоих.
Ключевое понимание: Рациональный страх быть обманутым заставляет стороны выбирать агрессию, даже зная, что мир выгоднее. Это ловушка недоверия, из которой трудно вырваться без внешнего арбитра или механизмов принуждения к сотрудничеству.
👍17❤4🔥2😱1
2. Теория ожидаемой полезности: Расчёт риска
Суть: Рациональный лидер сравнивает ожидаемую "полезность" войны с текущим положением.
Решение лидера:
V – Ценность победы (территория, ресурсы, безопасность, идеология, месть).
p – Вероятность успеха (сила армии, союзники, слабость врага).
C – Издержки войны (жизни солдат, экономический крах, репутация).
S – Полезность статус-кво (насколько плохо текущее положение: бедность, унижение, угрозы).
Сравнение: Ожидаемая полезность войны равна pV – C.
Если pV – C >> S, война кажется выгодной;
если pV – C << S, мир выглядит лучше;
Если S крайне низка или отрицательна → Война может казаться меньшим злом даже при скромных ожиданиях победы.
Почему начинается война? Лидер ошибается в расчётах:
Переоценка p: "Наша армия непобедима!", "Они сдадутся!"
Сверхценность V: "Эта земля священна!", "Мы должны уничтожить зло!"
Недооценка C: "Потери будут минимальны!", "Они не посмеют сопротивляться!"
Невыносимость S: "Терпеть больше невозможно!" (война как единственный выход).
Безвыходность: Поражение (U поражения) не страшнее текущего S ("Терять нечего").
Ключевое понимание: Война видится как стратегический риск – опасный прыжок, который в момент решения кажется лидеру лучшим выходом, чем сохранение статус-кво.
Суть: Рациональный лидер сравнивает ожидаемую "полезность" войны с текущим положением.
Решение лидера:
V – Ценность победы (территория, ресурсы, безопасность, идеология, месть).
p – Вероятность успеха (сила армии, союзники, слабость врага).
C – Издержки войны (жизни солдат, экономический крах, репутация).
S – Полезность статус-кво (насколько плохо текущее положение: бедность, унижение, угрозы).
Сравнение: Ожидаемая полезность войны равна pV – C.
Если pV – C >> S, война кажется выгодной;
если pV – C << S, мир выглядит лучше;
Если S крайне низка или отрицательна → Война может казаться меньшим злом даже при скромных ожиданиях победы.
Почему начинается война? Лидер ошибается в расчётах:
Переоценка p: "Наша армия непобедима!", "Они сдадутся!"
Сверхценность V: "Эта земля священна!", "Мы должны уничтожить зло!"
Недооценка C: "Потери будут минимальны!", "Они не посмеют сопротивляться!"
Невыносимость S: "Терпеть больше невозможно!" (война как единственный выход).
Безвыходность: Поражение (U поражения) не страшнее текущего S ("Терять нечего").
Ключевое понимание: Война видится как стратегический риск – опасный прыжок, который в момент решения кажется лидеру лучшим выходом, чем сохранение статус-кво.
👍14❤2🔥2
3. Системная динамика: Снежный ком эскалации
Суть: Малые причины накапливаются и усиливают друг друга через самоусиливающиеся (положительные) петли обратной связи, приводя систему к коллапсу (войне).
Механизм войны.
– Гонка вооружений:
Страна А наращивает армию → Страна Б чувствует угрозу → Б наращивает армию → А видит подтверждение угрозы → А наращивает еще больше → ...
– Эскалация ненависти:
Пропаганда ("Враг X ненавидит нас!") → Мелкие стычки → Рост взаимной ненависти → Еще больше пропаганды → ...
Точка невозврата: Модель показывает, когда отношения становятся неустойчивыми. Тогда малейший толчок (покушение, провокация) запускает неконтролируемую эскалацию в полномасштабную войну.
Ключевое понимание: Война – результат неконтролируемого роста напряженности, где каждый шаг противников лишь усугубляет конфликт, делая мирное решение всё менее достижимым.
Суть: Малые причины накапливаются и усиливают друг друга через самоусиливающиеся (положительные) петли обратной связи, приводя систему к коллапсу (войне).
Механизм войны.
– Гонка вооружений:
Страна А наращивает армию → Страна Б чувствует угрозу → Б наращивает армию → А видит подтверждение угрозы → А наращивает еще больше → ...
– Эскалация ненависти:
Пропаганда ("Враг X ненавидит нас!") → Мелкие стычки → Рост взаимной ненависти → Еще больше пропаганды → ...
Точка невозврата: Модель показывает, когда отношения становятся неустойчивыми. Тогда малейший толчок (покушение, провокация) запускает неконтролируемую эскалацию в полномасштабную войну.
Ключевое понимание: Война – результат неконтролируемого роста напряженности, где каждый шаг противников лишь усугубляет конфликт, делая мирное решение всё менее достижимым.
👍12🔥2
4. Нелинейная динамика: Катастрофический обрыв
Суть: Плавное нарастание напряженности может внезапно привести к катастрофическому скачку (войне), после которого возврат к миру крайне труден. Система становится сверхчувствительной к случайностям.
Аналогия с шариком:
– "Ложбина мира": Шарик (отношения стран) устойчиво лежит в мирном состоянии. Мелкие толчки (инциденты) не выводят его.
– Наклон плоскости: Напряженность растет (гонка вооружений, кризис) – шарик катится к краю.
– Точка бифуркации: Критический порог, где "ложбина мира" исчезает или сливается с "пропастью войны". Мирное равновесие становится невозможным.
– "Мах крыла бабочки": В точке бифуркации система крайне чувствительна. Малейшее случайное событие (техническая неполадка, убийство политика, ошибка), незначительное в иное время, становится спусковым крючком.
– Падение в пропасть: Шарик (система) стремительно скатывается в войну.
– Гистерезис: Вернуть шарик обратно (заключить мир) невероятно трудно и требует иного пути/огромных усилий (победа, капитуляция, истощение).
Ключевое понимание: Война – это внезапный обрыв стабильности, а не плавное усиление конфликта. Предсказать точный момент начала войны из-за роли случайности в критической точке невозможно. Предотвратить войну легче до точки бифуркации.
Суть: Плавное нарастание напряженности может внезапно привести к катастрофическому скачку (войне), после которого возврат к миру крайне труден. Система становится сверхчувствительной к случайностям.
Аналогия с шариком:
– "Ложбина мира": Шарик (отношения стран) устойчиво лежит в мирном состоянии. Мелкие толчки (инциденты) не выводят его.
– Наклон плоскости: Напряженность растет (гонка вооружений, кризис) – шарик катится к краю.
– Точка бифуркации: Критический порог, где "ложбина мира" исчезает или сливается с "пропастью войны". Мирное равновесие становится невозможным.
– "Мах крыла бабочки": В точке бифуркации система крайне чувствительна. Малейшее случайное событие (техническая неполадка, убийство политика, ошибка), незначительное в иное время, становится спусковым крючком.
– Падение в пропасть: Шарик (система) стремительно скатывается в войну.
– Гистерезис: Вернуть шарик обратно (заключить мир) невероятно трудно и требует иного пути/огромных усилий (победа, капитуляция, истощение).
Ключевое понимание: Война – это внезапный обрыв стабильности, а не плавное усиление конфликта. Предсказать точный момент начала войны из-за роли случайности в критической точке невозможно. Предотвратить войну легче до точки бифуркации.
👍11🔥2❤1🤡1
5. Эконометрика: Статистические факторы риска
Суть: Выявление факторов, которые коррелируют с повышенной вероятностью начала войн на основе анализа исторических данных (регрессионный анализ).
"Факторы риска" (Примеры X):
– Бедность (низкий ВВП на душу);
– Высокое экономическое неравенство;
– Демографическое давление молодёжи (молодёжный бум);
– Зависимость экономики от ценных природных ресурсов ("ресурсное проклятие");
– Политическая нестабильность (перевороты, бунты);
– Глубокая этническая/религиозная рознь;
– Наличие враждебных/воюющих соседей;
– Отсутствие экономической взаимозависимости (торговли);
– Авторитарное правление.
Вопрос данным: "Насколько наличие фактора X увеличивает вероятность войны (Y) по сравнению с его отсутствием?"
Ключевое понимание: Войны, как болезни, чаще поражают "ослабленные организмы" (бедные, нестабильные, разделенные общества) в "неблагополучных районах" (конфликтные регионы без экономических связей).
Но: Корреляция (X связан с Y) ≠ Причинность (X вызывает Y)! Связь может объясняться третьим фактором (например, слабостью институтов) или обратной причинностью (война вызывает бедность). Эконометрика указывает на факторы риска, а не на абсолютные причины.
Суть: Выявление факторов, которые коррелируют с повышенной вероятностью начала войн на основе анализа исторических данных (регрессионный анализ).
"Факторы риска" (Примеры X):
– Бедность (низкий ВВП на душу);
– Высокое экономическое неравенство;
– Демографическое давление молодёжи (молодёжный бум);
– Зависимость экономики от ценных природных ресурсов ("ресурсное проклятие");
– Политическая нестабильность (перевороты, бунты);
– Глубокая этническая/религиозная рознь;
– Наличие враждебных/воюющих соседей;
– Отсутствие экономической взаимозависимости (торговли);
– Авторитарное правление.
Вопрос данным: "Насколько наличие фактора X увеличивает вероятность войны (Y) по сравнению с его отсутствием?"
Ключевое понимание: Войны, как болезни, чаще поражают "ослабленные организмы" (бедные, нестабильные, разделенные общества) в "неблагополучных районах" (конфликтные регионы без экономических связей).
Но: Корреляция (X связан с Y) ≠ Причинность (X вызывает Y)! Связь может объясняться третьим фактором (например, слабостью институтов) или обратной причинностью (война вызывает бедность). Эконометрика указывает на факторы риска, а не на абсолютные причины.
👍12🔥3
6. Агентное моделирование: Война "снизу"
Суть: Война может "самозародиться" снизу из хаоса взаимодействий множества "агентов" .
Учёные создают виртуальный мир, населённый тысячами "агентов" — это цифровые копии:
лидеров (жадных, осторожных, амбициозных);
генералов (агрессивных, лояльных, трусливых);
солдат (послушных, мятежных, напуганных);
обычных граждан (довольных, голодных, злых, националистов);
бизнесменов (ищущих выгоду, спонсирующих мятежи);
этнических групп (терпящих друг друга или ненавидящих).
Правила игры:
Каждый агент имеет цели (выжить, разбогатеть, защитить семью, получить власть).
Каждый агент чувствует (голод, страх, злость, зависть).
Каждый агент действует по простым правилам:
Если голоден > Ищи еду. Если еды нет > Злись.
Если видишь врага (другой группы/страны) > Атакуй или Беги.
Если лидер приказал воевать > Подчинись или Взбунтуйся.
Если рядом бунтуют > Присоединяйся.
Запустим симуляцию. Механизм войны:
"Сухие дрова": Виртуальный мир с дефицитом ресурсов, неравенством, враждебными группами и слабым правительством.
"Искра": Случайное мелкое событие (кража, пропажа еды, гневная речь).
Цепная реакция (Эмерджентность):
– Агенты злятся, мстят за обиды.
– Распространяются слухи и паника ("Нас убивают!").
– Голодные/озлобленные агенты грабят.
– Амбициозные агенты-лидеры используют хаос для захвата власти, разжигая ненависть.
– Агенты-солдаты получают приказы и начинают воевать организованно.
Началась война! Конфликт, возникший с малого (украли козу), перерастает в полномасштабную войну.
Ключевое понимание: Главный феномен – эмерджентность: Сложное поведение системы (война) возникает незапланированно из множества простых взаимодействий отдельных агентов. Войне не всегда нужен "злой гений". Она питается неравенством, слабостью государства и распространяется через панику и слухи. Это коллективное безумие, возникающее "снизу".
Суть: Война может "самозародиться" снизу из хаоса взаимодействий множества "агентов" .
Учёные создают виртуальный мир, населённый тысячами "агентов" — это цифровые копии:
лидеров (жадных, осторожных, амбициозных);
генералов (агрессивных, лояльных, трусливых);
солдат (послушных, мятежных, напуганных);
обычных граждан (довольных, голодных, злых, националистов);
бизнесменов (ищущих выгоду, спонсирующих мятежи);
этнических групп (терпящих друг друга или ненавидящих).
Правила игры:
Каждый агент имеет цели (выжить, разбогатеть, защитить семью, получить власть).
Каждый агент чувствует (голод, страх, злость, зависть).
Каждый агент действует по простым правилам:
Если голоден > Ищи еду. Если еды нет > Злись.
Если видишь врага (другой группы/страны) > Атакуй или Беги.
Если лидер приказал воевать > Подчинись или Взбунтуйся.
Если рядом бунтуют > Присоединяйся.
Запустим симуляцию. Механизм войны:
"Сухие дрова": Виртуальный мир с дефицитом ресурсов, неравенством, враждебными группами и слабым правительством.
"Искра": Случайное мелкое событие (кража, пропажа еды, гневная речь).
Цепная реакция (Эмерджентность):
– Агенты злятся, мстят за обиды.
– Распространяются слухи и паника ("Нас убивают!").
– Голодные/озлобленные агенты грабят.
– Амбициозные агенты-лидеры используют хаос для захвата власти, разжигая ненависть.
– Агенты-солдаты получают приказы и начинают воевать организованно.
Началась война! Конфликт, возникший с малого (украли козу), перерастает в полномасштабную войну.
Ключевое понимание: Главный феномен – эмерджентность: Сложное поведение системы (война) возникает незапланированно из множества простых взаимодействий отдельных агентов. Войне не всегда нужен "злой гений". Она питается неравенством, слабостью государства и распространяется через панику и слухи. Это коллективное безумие, возникающее "снизу".
👍14🔥2
7. Сетевой анализ: Война как вирус
Суть: Люди, группы, организации, страны – узлы в гигантской сети. Их связи (торговля, союзы, общая культура/враг, информация) – рёбра. Конфликт в одном узле распространяется как вирус по этим связям.
Механизм распространения:
Очаг: Конфликт вспыхивает в узле (например, мятеж в регионе).
"Заражение":
По сильным связям (семья, соседи, союзники): Беженцы → напряженность в соседней стране; Военная помощь одной стороны мятежникам → вмешательство другой стороны.
По информационным связям (СМИ, соцсети): Пропаганда/ложь ("Враг готовится!") → паника/ненависть в узлах (генералы), (СМИ), (граждане) → требование действий, радикализация.
По слабым связям (общие знакомые, дальние экономические интересы): Конфликт неожиданно затрагивает удалённые узлы.
Пандемия: Конфликт охватывает всю сеть или крупные её кластеры.
Роль структуры сети:
"Эхо-камеры": Плотные связи внутри групп + слабые/враждебные связи между группами → высокий риск конфликта.
"Мосты" (связи между враждующими группами) и "узлы-арбитры" (нейтральные посредники) → снижают риск.
Ключевое понимание: Ваше вовлечение в войну зависит не только от вас, но и от вашего места в сети ("друзей", "подписок", "соседей"). Война заразительна. Её масштаб и скорость определяются структурой связей в глобальной системе.
Суть: Люди, группы, организации, страны – узлы в гигантской сети. Их связи (торговля, союзы, общая культура/враг, информация) – рёбра. Конфликт в одном узле распространяется как вирус по этим связям.
Механизм распространения:
Очаг: Конфликт вспыхивает в узле (например, мятеж в регионе).
"Заражение":
По сильным связям (семья, соседи, союзники): Беженцы → напряженность в соседней стране; Военная помощь одной стороны мятежникам → вмешательство другой стороны.
По информационным связям (СМИ, соцсети): Пропаганда/ложь ("Враг готовится!") → паника/ненависть в узлах (генералы), (СМИ), (граждане) → требование действий, радикализация.
По слабым связям (общие знакомые, дальние экономические интересы): Конфликт неожиданно затрагивает удалённые узлы.
Пандемия: Конфликт охватывает всю сеть или крупные её кластеры.
Роль структуры сети:
"Эхо-камеры": Плотные связи внутри групп + слабые/враждебные связи между группами → высокий риск конфликта.
"Мосты" (связи между враждующими группами) и "узлы-арбитры" (нейтральные посредники) → снижают риск.
Ключевое понимание: Ваше вовлечение в войну зависит не только от вас, но и от вашего места в сети ("друзей", "подписок", "соседей"). Война заразительна. Её масштаб и скорость определяются структурой связей в глобальной системе.
👍11🔥2
Ограничения Математических Моделей
Важно помнить, что все модели – упрощения реальности:
– Упущенная сложность: Они абстрагируются от бесконечного богатства человеческой мотивации, культуры, истории, идеологии, роли личности, иррациональности и ошибок восприятия.
– Миф о рациональности: Модели часто предполагают "рациональных" акторов, но реальные решения искажаются неполной информацией, когнитивными ошибками, эмоциями (страх, ненависть), групповым давлением.
– Проблема измерений: Как точно измерить "полезность", "вероятность победы", "уровень недоверия" или "ценность ресурса"? Оценки субъективны.
– Динамика и хаос: Конфликты развиваются непредсказуемо. Малые события (убийство эрцгерцога Фердинанда) могут вызвать каскад неконтролируемых последствий. Модели объясняют механизмы, но не могут точно предсказать время и место войны.
– Этическая слепота: Математика не отвечает на вопросы справедливости, морали или легитимности войны. Она описывает логику возникновения войны, а не её оправданность.
Важно помнить, что все модели – упрощения реальности:
– Упущенная сложность: Они абстрагируются от бесконечного богатства человеческой мотивации, культуры, истории, идеологии, роли личности, иррациональности и ошибок восприятия.
– Миф о рациональности: Модели часто предполагают "рациональных" акторов, но реальные решения искажаются неполной информацией, когнитивными ошибками, эмоциями (страх, ненависть), групповым давлением.
– Проблема измерений: Как точно измерить "полезность", "вероятность победы", "уровень недоверия" или "ценность ресурса"? Оценки субъективны.
– Динамика и хаос: Конфликты развиваются непредсказуемо. Малые события (убийство эрцгерцога Фердинанда) могут вызвать каскад неконтролируемых последствий. Модели объясняют механизмы, но не могут точно предсказать время и место войны.
– Этическая слепота: Математика не отвечает на вопросы справедливости, морали или легитимности войны. Она описывает логику возникновения войны, а не её оправданность.
👍6🔥4
Заключение
Математические модели – не кристальный шар, предсказывающий войны, а мощные инструменты понимания.
Они показывают:
• Как недоверие (Теория игр) и стратегический просчёт (Теория полезности) толкают лидеров к роковым решениям.
• Как напряжение накапливается (Системная динамика) и внезапно разряжается (Нелинейная динамика) в катастрофе.
• Какие общества наиболее уязвимы (Эконометрика).
• Как война может самозарождаться "снизу" (Агентное моделирование) и распространяться как эпидемия (Сетевой анализ).
Однако, реальность часто сложнее базовых моделей. Математика также позволяет анализировать и более изощрённые сценарии:
• Провокация третьей стороной: Модели (особенно в Теории игр с неполной информацией и Сетевом анализе) описывают, как одна страна может умышленно подталкивать две другие к конфликту ("убить чужим ножом"), чтобы ослабить обе и усилить своё влияние, минимизируя собственные затраты.
• "Маленькая победоносная война": Модели Ожидаемой полезности и Эконометрика объясняют, как внутренние проблемы (низкий рейтинг лидера, экономический кризис) могут подтолкнуть к краткому, демонстративному конфликту с "слабым" противником ради всплеска патриотизма и консолидации власти – расчёт, чреватый катастрофой при просчётах.
• Миротворчество ради престижа: Хотя прямая "нобелевская" мотивация сложна для моделирования, концепции Теории игр (сигнализирование) и Теории полезности позволяют анализировать, как стремление к международному признанию и влиянию может стимулировать (или искажать) усилия третьих сторон по примирению враждующих, иногда приводя к поверхностным или неустойчивым соглашениям.
• Война как превентивное управление рисками в условиях необратимых технологических изменений, где формальный казус белли — лишь верхушка айсберга сложных расчётов сохранения гегемонии.
Понимание этих механизмов – от фундаментальных ловушек недоверия до сложных игр с участием множества акторов и скрытых мотивов – является первым шагом к их ослаблению и построению более устойчивого мира. Математика войны не даёт простых ответов и не отменяет роль иррациональности, но она высвечивает точки приложения сил для её предотвращения, обнажая логику даже самых коварных сценариев. Она напоминает нам, что война – это не стихийное бедствие, а чаще всего прогнозируемый (хотя и сложный) результат расчётов, манипуляций и системных сбоев, которые можно и нужно выявлять и нейтрализовывать.
Математические модели – не кристальный шар, предсказывающий войны, а мощные инструменты понимания.
Они показывают:
• Как недоверие (Теория игр) и стратегический просчёт (Теория полезности) толкают лидеров к роковым решениям.
• Как напряжение накапливается (Системная динамика) и внезапно разряжается (Нелинейная динамика) в катастрофе.
• Какие общества наиболее уязвимы (Эконометрика).
• Как война может самозарождаться "снизу" (Агентное моделирование) и распространяться как эпидемия (Сетевой анализ).
Однако, реальность часто сложнее базовых моделей. Математика также позволяет анализировать и более изощрённые сценарии:
• Провокация третьей стороной: Модели (особенно в Теории игр с неполной информацией и Сетевом анализе) описывают, как одна страна может умышленно подталкивать две другие к конфликту ("убить чужим ножом"), чтобы ослабить обе и усилить своё влияние, минимизируя собственные затраты.
• "Маленькая победоносная война": Модели Ожидаемой полезности и Эконометрика объясняют, как внутренние проблемы (низкий рейтинг лидера, экономический кризис) могут подтолкнуть к краткому, демонстративному конфликту с "слабым" противником ради всплеска патриотизма и консолидации власти – расчёт, чреватый катастрофой при просчётах.
• Миротворчество ради престижа: Хотя прямая "нобелевская" мотивация сложна для моделирования, концепции Теории игр (сигнализирование) и Теории полезности позволяют анализировать, как стремление к международному признанию и влиянию может стимулировать (или искажать) усилия третьих сторон по примирению враждующих, иногда приводя к поверхностным или неустойчивым соглашениям.
• Война как превентивное управление рисками в условиях необратимых технологических изменений, где формальный казус белли — лишь верхушка айсберга сложных расчётов сохранения гегемонии.
Понимание этих механизмов – от фундаментальных ловушек недоверия до сложных игр с участием множества акторов и скрытых мотивов – является первым шагом к их ослаблению и построению более устойчивого мира. Математика войны не даёт простых ответов и не отменяет роль иррациональности, но она высвечивает точки приложения сил для её предотвращения, обнажая логику даже самых коварных сценариев. Она напоминает нам, что война – это не стихийное бедствие, а чаще всего прогнозируемый (хотя и сложный) результат расчётов, манипуляций и системных сбоев, которые можно и нужно выявлять и нейтрализовывать.
👍13🔥2
This media is not supported in your browser
VIEW IN TELEGRAM
Ловушки для чисел: хаос и порядок
Будем строить последовательность по такому правилу. Выберем натуральное число. Если оно чётное, делим его на 2, в противном случае умножаем на 5 и прибавляем 1. С результатом будем проделывать то же самое снова и снова. Какие последовательности будут возникать?
Например,
1 – 6 – 3 – 16 – 8 – 4 – 2 – 1, получился цикл;
5 – 26 – 13 – 66 – 33 – 166 – 83 – 416 – 208 – 104 – 52 – 26, снова цикл;
7 – 36 – 18 – 9 – 46 – …, а дальше не понятно, выйдет ли она на цикл или нет; по крайней мере на 100-м шаге получается число 11857916;
9 — в этой же растущей последовательности, 11 тоже выходит на неё;
15 попадает в цикл 1;
17 даёт ещё один цикл из 10 шагов…
И в целом наблюдается довольно хаотичная картина многих устойчивых состояний-циклов и возможно бесконечного роста для некоторых начальных значений.
Должно ли что-то принципиально измениться, если всего лишь заменить 5 на 3 в этом правиле? Оказывается,что для любого начального значения все такие последовательности рано или поздно приходят к единице! Точнее говоря, пока не обнаружено такого числа, которое не пришло бы к единице, а проверено уже 2⁶⁸ первых натуральных чисел, и все они в итоге приходят к 1, и проверка непрерывно продолжается. Это знаменитая гипотеза Коллатца (немецкий математик Лотар Коллатц сформулировал её 1 июля 1932 г.), одна из нерешённых проблем математики (известная также под именем сиракузской проблемы, проблемы 3n+1 и др.)
Например, при n=27 последовательность состоит из 111 членов до первой единицы, достигая в пике значения 9232.
Почему 3n+1 подчиняется порядку, а 5n+1 — нет?
Ответа нет. Математики предполагают, что множитель 3 создает баланс между "подъёмом" (3n+1) и "спуском" (n/2), а 5 — нарушает его. Но строгого объяснения этого баланса нет.
В настоящее время непонятен даже статус этой гипотезы. Теоретически возможны три варианта:
1) Гипотеза доказуема в аксиоматике Пеано и, значит, верна для всех натуральных чисел.
2) Гипотеза опровержима в аксиоматике Пеано, и тогда существует контрпример — конкретное стандартное натуральное число, для которого последовательность уходит в бесконечность или в цикл, отличный от 4 – 2 – 1.
3) Гипотеза неопровержима и недоказуема в системе аксиом Пеано, и это означает, что в этой аксиоматике невозможно ни доказать, что все числа приходят к 1, ни предъявить контрпример.
Но в любом случае, в стандартной модели множества натуральных чисел она является истинной или ложной, даже если она недоказуема в аксиоматике Пеано. Если она истинна, это означает, что аксиоматика Пеано слишком слаба для её доказательства, а если ложна (и существует контрпример), то аксиоматика Пеано не умеет его построить.
Стоит отметить, что конструктивная математика (отвергающая закон исключённого третьего для бесконечных множеств) допускает иную философскую позицию: у нас может никогда не быть конструктивных оснований ни для подтверждения гипотезы (алгоритма, строящего путь к 1 для любого n), ни для её опровержения (предъявления явного контрпримера). Таким образом, для нас она может остаться без установленного значения истинности.
Будем строить последовательность по такому правилу. Выберем натуральное число. Если оно чётное, делим его на 2, в противном случае умножаем на 5 и прибавляем 1. С результатом будем проделывать то же самое снова и снова. Какие последовательности будут возникать?
Например,
1 – 6 – 3 – 16 – 8 – 4 – 2 – 1, получился цикл;
5 – 26 – 13 – 66 – 33 – 166 – 83 – 416 – 208 – 104 – 52 – 26, снова цикл;
7 – 36 – 18 – 9 – 46 – …, а дальше не понятно, выйдет ли она на цикл или нет; по крайней мере на 100-м шаге получается число 11857916;
9 — в этой же растущей последовательности, 11 тоже выходит на неё;
15 попадает в цикл 1;
17 даёт ещё один цикл из 10 шагов…
И в целом наблюдается довольно хаотичная картина многих устойчивых состояний-циклов и возможно бесконечного роста для некоторых начальных значений.
Должно ли что-то принципиально измениться, если всего лишь заменить 5 на 3 в этом правиле? Оказывается,что для любого начального значения все такие последовательности рано или поздно приходят к единице! Точнее говоря, пока не обнаружено такого числа, которое не пришло бы к единице, а проверено уже 2⁶⁸ первых натуральных чисел, и все они в итоге приходят к 1, и проверка непрерывно продолжается. Это знаменитая гипотеза Коллатца (немецкий математик Лотар Коллатц сформулировал её 1 июля 1932 г.), одна из нерешённых проблем математики (известная также под именем сиракузской проблемы, проблемы 3n+1 и др.)
Например, при n=27 последовательность состоит из 111 членов до первой единицы, достигая в пике значения 9232.
Почему 3n+1 подчиняется порядку, а 5n+1 — нет?
Ответа нет. Математики предполагают, что множитель 3 создает баланс между "подъёмом" (3n+1) и "спуском" (n/2), а 5 — нарушает его. Но строгого объяснения этого баланса нет.
В настоящее время непонятен даже статус этой гипотезы. Теоретически возможны три варианта:
1) Гипотеза доказуема в аксиоматике Пеано и, значит, верна для всех натуральных чисел.
2) Гипотеза опровержима в аксиоматике Пеано, и тогда существует контрпример — конкретное стандартное натуральное число, для которого последовательность уходит в бесконечность или в цикл, отличный от 4 – 2 – 1.
3) Гипотеза неопровержима и недоказуема в системе аксиом Пеано, и это означает, что в этой аксиоматике невозможно ни доказать, что все числа приходят к 1, ни предъявить контрпример.
Но в любом случае, в стандартной модели множества натуральных чисел она является истинной или ложной, даже если она недоказуема в аксиоматике Пеано. Если она истинна, это означает, что аксиоматика Пеано слишком слаба для её доказательства, а если ложна (и существует контрпример), то аксиоматика Пеано не умеет его построить.
Стоит отметить, что конструктивная математика (отвергающая закон исключённого третьего для бесконечных множеств) допускает иную философскую позицию: у нас может никогда не быть конструктивных оснований ни для подтверждения гипотезы (алгоритма, строящего путь к 1 для любого n), ни для её опровержения (предъявления явного контрпримера). Таким образом, для нас она может остаться без установленного значения истинности.
👍13❤6🥰2🤔2🔥1
Forwarded from PopEconom
Образовательный проект Popmath проводит бесплатный вебинар
«Как выучить математику во взрослом возрасте?»
⚡️ В каких сферах нынче нужна математика?
⚡️Как освоить математику, даже если вы считаете себя "гуманитарием"?
⚡️ Какие тенденции появились в образовании?
Дата: 3 июля 2025 года
Время: 19:00 по мск
Длительность: 1 час
➡️ Зарегистрироваться на вебинар
🌿 Всем участникам вебинара скидка 10% на 4-х месячный онлайн-курс "Математика с нуля для взрослых", который стартует уже 12 июля! 🌿
Приходите и узнайте, что такое математика здорового человека!
«Как выучить математику во взрослом возрасте?»
⚡️ В каких сферах нынче нужна математика?
⚡️Как освоить математику, даже если вы считаете себя "гуманитарием"?
⚡️ Какие тенденции появились в образовании?
Дата: 3 июля 2025 года
Время: 19:00 по мск
Длительность: 1 час
➡️ Зарегистрироваться на вебинар
🌿 Всем участникам вебинара скидка 10% на 4-х месячный онлайн-курс "Математика с нуля для взрослых", который стартует уже 12 июля! 🌿
Приходите и узнайте, что такое математика здорового человека!
🖕6💩5🤡2❤1👍1🔥1
Задача 1 (И. Высоцкий, конкурс учителей математики)
Решение. Пусть а > 0 — длина укороченной палки, s = 1/а; пусть x > 0 — объём знаний, вложенных учителем Фу. Требуется найти наибольшее значение параметра s, для которого уравнение
logₛ x = x имеет решение.
Пусть s > 1, тогда искомое значение s соответствует случаю, когда график функции y = logₛ x касается прямой y = x. Это условие выполняется тогда и только тогда, когда имеет решение система:
logₛ x = x,
(logₛ x)′ = 1.
Из второго уравнения получим:
1 / (x ln s) = 1 ⇔ x = logₛ e.
Подставив этот результат в первое уравнение, получим:
logₛ (logₛ e) = logₛ e ⇔ s = e¹˸ᵉ.
Этот же результат можно получить по-другому: найти наибольшее значение функции f(x) = x – logₛ x, после чего выяснить, при каком наибольшем s > 1 это значение равно 0.
Таким образом, a = 1 / e¹˸ᵉ.
Найденная величина примерно равна 0,692 м или 69,2 см. При этом Фу должен на каждом занятии вкладывать в Ли ровно 1/e новых знаний, что составляет примерно 0,37.
Ответ: 1 / e¹˸ᵉ.
Решение. Пусть а > 0 — длина укороченной палки, s = 1/а; пусть x > 0 — объём знаний, вложенных учителем Фу. Требуется найти наибольшее значение параметра s, для которого уравнение
logₛ x = x имеет решение.
Пусть s > 1, тогда искомое значение s соответствует случаю, когда график функции y = logₛ x касается прямой y = x. Это условие выполняется тогда и только тогда, когда имеет решение система:
logₛ x = x,
(logₛ x)′ = 1.
Из второго уравнения получим:
1 / (x ln s) = 1 ⇔ x = logₛ e.
Подставив этот результат в первое уравнение, получим:
logₛ (logₛ e) = logₛ e ⇔ s = e¹˸ᵉ.
Этот же результат можно получить по-другому: найти наибольшее значение функции f(x) = x – logₛ x, после чего выяснить, при каком наибольшем s > 1 это значение равно 0.
Таким образом, a = 1 / e¹˸ᵉ.
Найденная величина примерно равна 0,692 м или 69,2 см. При этом Фу должен на каждом занятии вкладывать в Ли ровно 1/e новых знаний, что составляет примерно 0,37.
Ответ: 1 / e¹˸ᵉ.
❤8👍3🔥2🤬1