СПЕЦЗАЩИТА

Великие математики по 19 направлениям жизни

От вклада исследователя — к понятной задаче: что измерить, какую модель выбрать и как проверить вывод.

В коллекции 39 исследователей и 57 тематических связей. Имена могут повторяться: математические методы работают на границах дисциплин.

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

D01 · Человек и здоровье

Статистика здоровья, сравнение рисков и модели распространения инфекций.

Как по данным о контактах, заболеваемости и неопределённости измерений сравнить сценарии распространения инфекции?

D02 · Образование и знания

Доказательство, математическая грамотность и обучение самостоятельному решению задач.

Как построить учебную задачу, в которой ученик сможет объяснить каждый шаг решения и проверить его на другом примере?

  • Евклид

    Систематизировал геометрические знания в «Началах», выстраивая доказательства из определений, постулатов и ранее установленных результатов.

    Аксиоматический подход помогает отличать исходные допущения, доказанный вывод и пример.

  • Дьёрдь Пойа

    1887–1985

    Исследовал математические методы решения задач и изложил подход к поиску решения в книге «Как решать задачу».

    Разбор условия, поиск плана, выполнение и проверка решения дают основу для учебного занятия.

  • Мария Гаэтана Аньези

    1718–1799

    Создала систематический учебный труд по анализу, объединив объяснения и тщательно подобранные примеры.

    Последовательное изложение и разобранные примеры помогают связывать абстрактное определение с вычислением.

D03 · Естественный климат

Тепловые процессы, динамика атмосферы и пределы предсказуемости моделей.

Как меняется диапазон модельных прогнозов температуры при изменении начальных данных и параметров теплообмена?

  • Жозеф Фурье

    1768–1830

    Разработал математическую теорию теплопроводности и методы разложения функций в тригонометрические ряды.

    Уравнения теплопередачи позволяют описывать перенос тепла в компонентах климатической системы.

  • Эдвард Лоренц

    1917–2008

    Показал чувствительность решений простой нелинейной модели атмосферной конвекции к начальным условиям.

    Чувствительность к начальным условиям объясняет необходимость ансамблей расчётов и осторожной оценки горизонта прогноза.

  • Андрей Николаевич Колмогоров

    1903–1987

    Развивал теорию вероятностей и статистическую теорию турбулентности.

    Статистические характеристики турбулентности помогают описывать перенос в атмосфере без наблюдения каждого вихря.

D04 · Земля и почвы

Измерение рельефа, модели деформации грунта и восстановление свойств среды по наблюдениям.

Какие параметры грунта можно устойчиво восстановить по измерениям осадки и влажности, если измерения содержат погрешность?

  • Карл Фридрих Гаусс

    1777–1855

    Развивал геодезию и методы обработки измерений, включая метод наименьших квадратов.

    Обработка повторных геодезических измерений позволяет оценивать рельеф и погрешности его восстановления.

  • Жозеф Буссинеск

    1842–1929

    Разрабатывал математические модели упругости, движения жидкости и теплопередачи.

    Модели упругой среды дают отправную точку для расчёта реакции грунта на нагрузку при проверке применимости допущений.

  • Андрей Николаевич Тихонов

    1906–1993

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

    Регуляризация помогает восстанавливать свойства среды по неполным данным, явно вводя дополнительные ограничения.

D05 · Вода

Гидродинамика и расчёт движения воды в каналах, трубах и природных средах.

Как оценить расход воды и потери давления на участке трубопровода при заданной геометрии и свойствах жидкости?

  • Даниил Бернулли

    1700–1782

    Исследовал движение жидкости и связь между её скоростью, давлением и высотой в идеализированной модели потока.

    Соотношение энергии в идеальном потоке даёт исходную модель; реальный расчёт дополнительно учитывает потери.

  • Клод Луи Навье

    1785–1836

    Вывел уравнения движения вязкой жидкости и исследовал задачи упругости.

    Уравнения вязкого течения связывают давление и скорость, когда простого баланса энергии недостаточно.

  • Джордж Габриель Стокс

    1819–1903

    Исследовал движение вязкой жидкости, сопротивление движению тел и математические законы течения.

    Модели вязкого сопротивления помогают анализировать медленные течения и перенос малых частиц.

D06 · Воздух

Математические модели газа, вязкого течения и турбулентного переноса.

Как оценить перенос примеси в вентиляционном потоке с учётом скорости воздуха, турбулентности и погрешности датчиков?

  • Джеймс Клерк Максвелл

    1831–1879

    Создал математическую теорию электромагнитного поля и внёс фундаментальный вклад в кинетическую теорию газов.

    Кинетическая теория связывает свойства газа с распределением скоростей молекул.

  • Джордж Габриель Стокс

    1819–1903

    Исследовал движение вязкой жидкости, сопротивление движению тел и математические законы течения.

    Описание вязкого течения помогает задавать движение воздуха около стенок и препятствий.

  • Андрей Николаевич Колмогоров

    1903–1987

    Развивал теорию вероятностей и статистическую теорию турбулентности.

    Статистический подход к турбулентности помогает характеризовать перемешивание; для расчёта примеси нужны дополнительные модели переноса.

D07 · Биоценозы

Динамика популяций, межвидовые взаимодействия и распространение инфекции в сообществе.

Как меняются сценарии численности двух взаимодействующих популяций при изменении ресурсов и частоты контактов?

  • Альфред Лотка

    Разрабатывал математические модели взаимодействия популяций и колебательных процессов в биологических системах.

    Система уравнений позволяет исследовать возможные колебания численности без утверждения, что одна модель описывает любую экосистему.

  • Вито Вольтерра

    1860–1940

    Исследовал динамику взаимодействующих популяций; его имя связано с моделью «хищник — жертва» Лотки — Вольтерры.

    Модель «хищник — жертва» помогает проверять гипотезы о взаимном влиянии видов; её параметры и ограничения требуют наблюдений.

  • Уильям Огилви Кермак

    1898–1970

    Совместно с Андерсоном Маккендриком разработал математическую теорию распространения эпидемий.

    Эпидемиологические модели позволяют добавить к динамике популяции передачу инфекции и изменение доли восприимчивых особей.

D08 · Продовольствие

Полевые эксперименты, контроль качества и распределение ограниченных продовольственных ресурсов.

Как сравнить два способа выращивания по данным опытных участков, а затем составить план поставок при ограниченном бюджете?

  • Рональд Эйлмер Фишер

    1890–1962

    Разработал методы планирования экспериментов и дисперсионного анализа, в том числе для сельскохозяйственных исследований.

    Рандомизация и планирование опыта помогают отделять влияние способа выращивания от различий между участками.

  • Уильям Сили Госсет

    1876–1937

    Под псевдонимом Стьюдент разработал статистические методы для работы с малыми выборками, возникшие из задач контроля качества.

    Работа с малыми выборками помогает оценивать неопределённость сравнения партий или опытных участков при выполнении предпосылок метода.

  • Джордж Данциг

    1914–2005

    Разработал симплекс-метод решения задач линейного программирования.

    Линейная оптимизация позволяет составлять планы производства и поставок с явными ограничениями по ресурсам.

D09 · Энергия

Законы сохранения, теплопередача и математическое описание электромагнитных процессов.

Как составить проверяемый энергетический баланс установки, учитывая поступление энергии, полезную работу, накопление и потери?

  • Эмми Нётер

    1882–1935

    Установила связь непрерывных симметрий вариационных задач с законами сохранения.

    Связь симметрий и сохранения объясняет основание физических законов; баланс открытой установки отдельно учитывает обмен со средой.

  • Жозеф Фурье

    1768–1830

    Разработал математическую теорию теплопроводности и методы разложения функций в тригонометрические ряды.

    Расчёт теплопередачи помогает оценивать распределение температуры и тепловые потери.

  • Джеймс Клерк Максвелл

    1831–1879

    Создал математическую теорию электромагнитного поля и внёс фундаментальный вклад в кинетическую теорию газов.

    Уравнения электромагнитного поля дают основу для описания электрических и магнитных процессов в энергетических устройствах.

D10 · Материалы

Упругость, деформации и колебания твёрдых тел.

Как оценить прогиб и колебания тонкой пластины под нагрузкой, указав свойства материала и границы применимости модели?

  • Софи Жермен

    1776–1831

    Исследовала колебания упругих пластин и внесла вклад в развитие математической теории упругости.

    Исследование упругих пластин связано с расчётом формы колебаний и реакции тонких элементов на нагрузку.

  • Огюстен Луи Коши

    1789–1857

    Развивал строгие основания математического анализа и математическую теорию упругости.

    Математическое описание сплошной среды позволяет связывать внутренние напряжения и деформации.

  • Жозеф Буссинеск

    1842–1929

    Разрабатывал математические модели упругости, движения жидкости и теплопередачи.

    Модели упругих тел помогают анализировать локальные нагрузки и распространение деформации.

D11 · Промышленность

Планирование производства, использование оборудования и статистическая проверка качества.

Как распределить заказы между станками при ограничениях по времени и сырью и оценить разброс качества готовых изделий?

  • Джордж Данциг

    1914–2005

    Разработал симплекс-метод решения задач линейного программирования.

    Симплекс-метод решает линейную модель производственного плана при явно заданной цели и ограничениях.

  • Леонид Витальевич Канторович

    1912–1986

    Разработал методы линейного программирования и оптимального распределения ограниченных ресурсов.

    Оптимальное распределение ресурсов связывает производственные возможности с достижимым планом выпуска.

  • Уильям Сили Госсет

    1876–1937

    Под псевдонимом Стьюдент разработал статистические методы для работы с малыми выборками, возникшие из задач контроля качества.

    Статистический анализ выборок помогает отличать случайный разброс показателей от признаков изменения процесса.

D12 · Транспорт

Графы маршрутов, пропускная способность и ограничения транспортных сетей.

Какой максимальный поток грузов возможен между двумя узлами сети при заданных ограничениях каждого участка?

D13 · Города и расселение

Пространственное разделение территории, измерение доступности и связность городской сети.

Какие жилые кварталы находятся дальше всего от ближайшего пункта обслуживания, если считать расстояние по уличной сети?

  • Георгий Феодосьевич Вороной

    1868–1908

    Развивал геометрические разбиения; диаграмма Вороного разделяет пространство на области ближайших заданных центров.

    Разбиение по ближайшим центрам помогает описывать зоны обслуживания; для улиц расстояние следует считать по сети, а не только по прямой.

  • Карл Фридрих Гаусс

    1777–1855

    Развивал геодезию и методы обработки измерений, включая метод наименьших квадратов.

    Геодезия и оценка погрешностей дают основу для надёжных координат и карт территории.

  • Леонард Эйлер

    1707–1783

    Решая задачу о кёнигсбергских мостах, заложил основы графового подхода к связям и маршрутам.

    Графовая модель улиц позволяет анализировать связность и формулировать задачи доступности; конкретный расчёт требует подходящего алгоритма маршрутизации.

D14 · Наука

Математическое моделирование, строгий анализ и проверка гипотез экспериментом.

Как по серии измерений движения сравнить две модели и установить, чем расхождение объясняется лучше: шумом данных или недостатком модели?

  • Исаак Ньютон

    1643–1727

    Создал один из основополагающих подходов к дифференциальному и интегральному исчислению и математической механике.

    Дифференциальные уравнения связывают измеряемое движение с предполагаемыми законами взаимодействия.

  • Огюстен Луи Коши

    1789–1857

    Развивал строгие основания математического анализа и математическую теорию упругости.

    Строгие определения предела и сходимости помогают проверять корректность математического вывода и вычислительного приближения.

  • Рональд Эйлмер Фишер

    1890–1962

    Разработал методы планирования экспериментов и дисперсионного анализа, в том числе для сельскохозяйственных исследований.

    Планирование эксперимента и статистическое сравнение позволяют оценивать, какие выводы поддерживаются наблюдениями.

D15 · Цифровая среда и ИИ

Вычислимость, информация и управление системами с обратной связью.

Как проверить, что алгоритм управления по шумным данным выполняет заданную задачу и не усиливает ошибки датчиков?

  • Алан Тьюринг

    1912–1954

    Сформулировал математическую модель вычисления и исследовал границы алгоритмической разрешимости.

    Понятие алгоритма помогает отделять строго заданную вычислительную задачу от обещаний универсального интеллекта.

  • Клод Шеннон

    1916–2001

    Создал математическую теорию информации, связывающую передачу сообщений, неопределённость и ограничения каналов связи.

    Теория информации позволяет описывать ограничения передачи данных и устойчивость кодирования к шуму.

  • Норберт Винер

    1894–1964

    Развивал кибернетику — математическое изучение управления, связи и обратной связи в системах.

    Обратная связь связывает наблюдение, действие и корректировку; задержки и шум требуют отдельной проверки устойчивости.

D16 · Экономика и финансы

Ограниченные ресурсы, стратегические решения и формальные критерии выбора.

Как распределить общий ресурс между участниками с разными интересами и проверить, устойчивы ли их решения при заданных правилах?

  • Леонид Витальевич Канторович

    1912–1986

    Разработал методы линейного программирования и оптимального распределения ограниченных ресурсов.

    Оптимизационная модель позволяет сопоставлять варианты использования ресурсов при выбранном критерии и ограничениях.

  • Джон Форбс Нэш

    1928–2015

    Развивал теорию некооперативных игр и доказал существование равновесия в смешанных стратегиях для конечных игр.

    Равновесие помогает анализировать взаимозависимые решения, но само по себе не означает справедливость или наилучший общественный результат.

  • Джон фон Нейман

    1903–1957

    Заложил математические основы теории игр и доказал минимаксную теорему для конечных игр двух участников с нулевой суммой.

    Минимаксный подход позволяет изучать решения в играх с противоположными интересами при чётко заданной структуре выигрышей.

D17 · Социальная система

Общественный выбор, взаимодействие участников и последствия локальных правил.

Как меняется коллективный результат, если заменить правило голосования или правило выбора соседства, сохранив исходные предпочтения участников?

  • Кеннет Эрроу

    1921–2017

    Развивал теорию общественного выбора и показал несовместимость определённого набора требований к объединению индивидуальных предпочтений.

    Теория общественного выбора помогает явно назвать требования к процедуре решения и увидеть, какие из них могут конфликтовать.

  • Джон Форбс Нэш

    1928–2015

    Развивал теорию некооперативных игр и доказал существование равновесия в смешанных стратегиях для конечных игр.

    Модель стратегического взаимодействия позволяет исследовать стимулы участников; её результат зависит от заданных правил и выигрышей.

  • Томас Шеллинг

    1921–2016

    Разрабатывал модели, показывающие, как индивидуальные решения могут приводить к неожиданным коллективным результатам, в том числе пространственному разделению групп.

    Простая модель показывает, как локальные решения способны создавать общий рисунок расселения; проверка реального общества требует самостоятельных данных.

D18 · Безопасность и устойчивость

Устойчивость динамики, оценка вероятностного риска и надёжность восстановления по данным.

Возвращается ли модель системы к допустимому режиму после малого возмущения и насколько этот вывод чувствителен к ошибкам измерений?

  • Александр Михайлович Ляпунов

    1857–1918

    Разработал методы исследования устойчивости динамических систем при малых возмущениях.

    Методы устойчивости позволяют проверять поведение системы около заданного режима без вычисления каждой возможной траектории.

  • Андрей Николаевич Колмогоров

    1903–1987

    Развивал теорию вероятностей и статистическую теорию турбулентности.

    Вероятностная модель помогает формулировать риск и неопределённость, если обоснованы распределения и исходные данные.

  • Андрей Николаевич Тихонов

    1906–1993

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

    Регуляризация уменьшает неустойчивость восстановления параметров, но её результат нужно проверять при изменении данных и настроек.

D19 · Управление развитием

Последовательное принятие решений, оптимальное управление и корректировка по наблюдениям.

Как выбрать последовательность действий на несколько периодов при ограниченном бюджете и пересматривать её после поступления новых данных?

  • Ричард Беллман

    1920–1984

    Разработал динамическое программирование — подход к оптимизации последовательности взаимосвязанных решений.

    Динамическое программирование связывает решение на текущем шаге с будущими возможностями и ограничениями.

  • Лев Семёнович Понтрягин

    1908–1988

    Совместно с коллегами разработал математическую теорию оптимальных процессов, включая принцип максимума.

    Оптимальное управление формулирует условия для траектории и управляющих воздействий при заданной модели, цели и ограничениях.

  • Норберт Винер

    1894–1964

    Развивал кибернетику — математическое изучение управления, связи и обратной связи в системах.

    Обратная связь позволяет корректировать действия по результатам наблюдения; устойчивость и задержки остаются предметом расчёта.