proatom.ru - сайт агентства ПРоАтом
Журналы Атомная стратегия 2024 год
  Агентство  ПРоАтом. 28 лет с атомной отраслью!              
Навигация
· Главная
· Все темы сайта
· Каталог поставщиков
· Контакты
· Наш архив
· Обратная связь
· Опросы
· Поиск по сайту
· Продукты и расценки
· Самое популярное
· Ссылки
· Форум
Журнал
Журнал Атомная стратегия
Подписка на электронную версию
Журнал Атомная стратегия
Атомные Блоги





PRo IT
Подписка
Подписку остановить невозможно! Подробнее...
Задать вопрос
Наши партнеры
PRo-движение
АНОНС

Вышла в свет книга Б.И.Нигматулина и В.А.Пивоварова «Реакторы с тяжелым жидкометаллическим теплоносителем. История трагедии и фарса». Подробнее 
PRo Погоду

Сотрудничество
Редакция приглашает региональных представителей журнала «Атомная стратегия»
и сайта proatom.ru.
E-mail: pr@proatom.ru Савичев Владимир.
Время и Судьбы

[30/09/2022]     Роль математики в современном мире

Академик Олег Фиговский

Между духом и материей посредничает математика. (Хуго Штейнхаус)

Разве ты не заметил, что способный к математике изощрен во всех науках в природе? (Платон)

Анна Веклич, специалист по стратегическим коммуникациями в сфере образования и науки и Андрей Михайлович Райгородский, директор Физтех-школы прикладной математики и информатики МФТИ обсуждали роль математики в современном мире. Когда человек понимает зачем нужна математика, он становится более образованным в современном мире. Математика в каком-то смысле гуманитарный предмет. А чистая математика – это настоящее искусство!



В большинстве университетов мира работы в области математики докторантам присуждают степени DoctorArt. Международный день математики отмечается более чем в 70 странах с проведением более чем 410 мероприятий. Одрэ Азуле, Генеральный директор ЮНЕСКО отмечает, что математика с её множеством технических применений сейчас лежит в основе всех сфер нашей жизни. Наряду с алгоритмами, математика играет ключевую роль в технологиях искусственного интеллекта и технологических сбоях - и, по мере того как мы сталкиваемся с глобальными проблемами, такими как пандемия COVID-19 и изменение климата, мы помним о важной роли математики в решении задач нашего времени. Так поговорим о некоторых новых разработках в этой области.

Новый математический аппарат может кардинально упростить исследования в медицине, нефтехимии и пищевой промышленности. Его масштаб сравним с фундаментальными работами Смолуховского и Эйнштейна по теории диффузии и броуновского движения. Специалисты Бристольского университета (Англия) предложили новое математическое описание движения веществ сквозь проницаемые материалы. С его помощью можно с высокой точностью моделировать распространение препаратов в живых тканях, движение газа и нефти в породах, устойчивость пищевой упаковки к проникновению инфекций и загрязнений. Диффузией называют движение атомов и молекул из области высокой концентрации микрочастиц в область низкой концентрации. Благодаря этому явлению газы и жидкости смешиваются, а твердые тела (например, металлы) при высоком давлении или долгом контакте «склеиваются» своими поверхностями. В целом, диффузия — это про то, как частицы вещества из-за броуновского (теплового) движения «толкаются» между собой и неизбежно разлетаются по всему доступному объему. Или смешиваются с частицами другого вещества. 

Самый крупный вклад в современную теорию диффузии сделали Альберт Эйнштейн, Мариан Смолуховский и Жан-Батист Перрен в начале XX века. Их уравнения стали первой попыткой описать диффузию с точки зрения атомной теории строения вещества. Эти формулы уже более века используют для расчетов в области биохимии, добычи ископаемого топлива, очистки воды и промышленных стоков. Но они не описывают движение вещества в сложной среде, которая состоит из множества перегородок с разной проницаемостью. Например, распространение медицинского препарата в живой ткани с ее различными клеточными мембранами. По словам Тоби Кея, специалиста по инженерной математике и ведущего автора работы, сейчас ученым приходится моделировать движение через каждую мембрану в отдельности, а потом собирать результаты в цельную картину. Это очень сложно и требует больших вычислительных ресурсов. Новое уравнение позволяет «в один заход» моделировать диффузионное движение через среду любой сложности и любого масштаба. Причем оно с одинаковой точностью описывает как распространение нефти в геологических пластах, так и миграцию животных через преграды вроде заборов и дорог. Исследование английских математиков опирается на работу 2020 года, которую провела примерно та же команда ученых Бристольского университета. Тогда они решили 100-летнюю задачу математической физики, описав движение частицы в произвольной молекулярной решетке. Как говорит доктор Лука Джуджиоли, принявший участие в обоих исследованиях, значение той работы 2020 года до сих пор трудно оценить. Она дает очень глубокое понимание, по каким законам движется вещество на микроуровне, и таит в себе еще много ответов на самые захватывающие вопросы. 

Каким образом математика соотносится с нашим физическим миром? Удивительно, как много раз нам удавалось находить математические средства для приемлемого описания мира — начиная с падающих тел и планет и заканчивая строением атома и глобальной структурой Вселенной. Но сегодня мы близки к исчерпанию запаса простоты: с разных сторон нас окружают сложные физические системы, с которыми нам трудно обращаться математически, считает известный ученый Алексей Семихатов. В математике существует теория Софуса Ли, содержащая в себе некие группы симметрий, одна из которых реализуется в нашей природе. Получается, то, что мы видим на ускорителях частиц, было предсказано математической теорией и в природе на фундаментальном уровне реализован один из списков из учебника математики. Почему это так? ― Мы не знаем почему, отвечает проф. Семихатов. Но зато нам известно, что начиная с Нового времени описание мира в науке ― это математическое описание. Ответа на вопрос, почему так случилось, у нас нет, но мы страшно радуемся этому факту, потому что он позволяет нам делать предсказания. Мы предсказываем наш мир на основе манипуляций с какими-то математическими объектами, уравнениями, и такое положение вещей существует еще со времен Исаака Ньютона. При этом огромную роль в устройстве мира играют симметрии. Они бывают в том числе сложными и не сводящимися ни к отражению в пространстве, ни к повороту в пространстве. Такие симметрии требуют привлечения математических структур. Огромное количество явлений мы постигаем благодаря понимаю тех или иных симметрий, управляющими этими явлениями. Прекрасный пример ― кварки, составляющие ядро атома. В их предсказании огромную роль сыграли математические соображения.

Сначала нам казалось, что элементарных частиц, составляющих материю, совсем немного: электрон, протон, нейтрон да нейтрино. Но затем мы начали строить ускорители, и выяснилось, что существуют не десятки и даже не одна сотня частиц, а многие сотни ― целый зоопарк! Когда физики стали объединять частицы в группы по некоторым похожим свойствам, было обнаружено, что есть группы из 8, 15, 21 частицы и т.д., ― в результате появился ряд чисел, выражающих размеры этих групп; открываемые на ускорителях частицы попадали в группы по некоторым симметрийным признакам. И выяснилось, что можно было открыть учебник совершенно чистой математики, просто изучающей свойства симметрии в конкретном воплощении, называемом алгебрами Ли, или группами Ли, ― и найти эти размеры там! Теория Софуса Ли, возникшая к началу XX в., сообщала нечто определенное в отношении чисел, полученных нами из эксперимента: они укладывались в некоторый ряд, которым управляет одна и та же базовая симметрия (базовые законы преобразования могут проявлять себя, действуя одним образом на группе из восьми объектов, другим ― на группе из 15 и т.д.). Таким образом, стало понятно, что по неизвестным нам причинам часть мира управляется математической симметрией, имеющей техническое название SU(3), или «теория унитарной симметрии». Самое фундаментальное проявление этой симметрии ― когда она управляет группой из трех объектов. Но ни одной такой «группы из трех» на ускорителях не наблюдалось! Пришлось сделать предположение, что мы по каким-то причинам просто не можем их увидеть. 

Но в то время, о котором я говорю, в 1960-е гг., ученые даже не знали, существуют ли вообще кварки в природе или нет. Мы располагали только предположениями, за которыми, однако, стоял удивительный математический факт. Заключался он в том, что, исходя из того, как упомянутая симметрия SU(3) обращается с тремя фундаментальными объектами, можно было с помощью довольно сложных математических законов выяснить и то, как она действует на группах из 8, 15, 21 элемента и т.д. Таким образом, оказалось, что в каком-то смысле вся наша материя сложена из этих трех элементов: весь этот сонм частиц, которые классифицировались по симметриям SU(3), состоит из трех доселе не наблюдавшихся частиц! Их назвали кварками. В математике есть не только симметрия SU(3), о которой мы с вами говорим, но и бесконечное количество других симметрий. Мы не знаем, почему природа выбрала именно эту. От того момента, как группы Ли были сформулированы в математике, и до того момента, как они вдруг понадобились для описания кварков, прошло более полувека. Затем процесс ускорился. Ученые стали искать эти загадочные три частицы, эти кварки, ранее никем не наблюдаемые. Они нашлись внутри хорошо знакомых нам протонов и нейтронов: каждый протон и нейтрон составлен из трех кварков. Но неожиданно оказалось, что вынуть эти кварки из протонов и нейтронов невозможно. Эти объекты существуют в довольно своеобразном смысле: они живут внутри других образований (например, протона), которые нельзя разобрать на части. Нельзя вытащить оттуда один кварк, они как бы склеены между собой. Мы ведь привыкли, что разобрать можно все что угодно, достаточно просто приложить большую энергию, но здесь не так- заканчивает Алексей Семихатов.

Выражение «стадное чувство» нечасто используется в положительном смысле. Между тем в природе сплошь да рядом живые организмы, обладающие сравнительно низким индивидуальным интеллектом, объединяются в сообщества, которые ведут себя намного умнее и организованнее, чем каждый из их членов по отдельности. Это навело математиков и физиков конца XX века на мысль о применении роевого, то есть коллективного, интеллекта в нашей жизни для решения сложных задач пишет Дмитрий Васильков - Представьте себе доставщика пиццы, которому надо развезти заказы в разные точки города и затем вернуться в ресторан, откуда он выезжал. Как ему оптимально построить маршрут? Математики называют это задачей коммивояжера. Методы решения таких задач разделяют на точные и эвристические. Первые, их еще называют классическими, основаны на полном переборе всех возможных решений, что, в свою очередь, делает их неэффективными в случае большого количества переменных или точек, которые надо посетить: поиск ответа может занять много лет. Получается, что большинство практических задач комбинаторной оптимизации (например, маршрутизация грузовиков) требуют особого подхода. Эвристические методы, к которым относятся и роевые алгоритмы, производят относительно ограниченный поиск решений и находят, возможно, не лучшее, но точно близкое к нему решение за разумное время «методом проб и ошибок». Лучшие же современные алгоритмы позволяют находить решения, на 95–99% приближенные к оптимальным. В этом месте нам стоит на минуту задержаться и объяснить, каким образом мы рассчитываем эффективность таких решений. 

Во-первых, для большинства задач можно получить оценку сверху (или снизу, в зависимости от задачи) для глобального оптимума, при этом не имея возможности найти сам глобальный оптимум. Например, перед нами стоит задача оптимально погрузить изделия сложной формы и большой массы в вагон — теоретический оптимум достигается при использовании 100% грузоподъемности и вагона, но не нарушатся ли при этом другие ограничения, ответить невозможно, не решив задачу оптимизации. Если роевой алгоритм находит решение, позволяющее достичь загрузки на 95% грузоподъемности, это можно считать приближенной оценкой точности алгоритма. Во-вторых, иногда мы можем узнать оптимальное значение функции, но при этом практическую ценность имеет значение аргумента, при котором функция достигнет оптимума, а найти его можно, только решив задачу оптимизации. Например: есть сложный производственный процесс с большим количеством переделов. Мы знаем, что минимальные издержки на производство партии продукции могут составить 95 рублей, но не знаем, как надо настроить оборудование и в какой последовательности обрабатывать изделия, чтобы достичь такого уровня затрат. Роевой алгоритм предлагает настройки и последовательность операций, при которых издержки составят 100 рублей. Таким образом, оценочная точность алгоритма составит 95%.

А теперь представьте, что есть организмы в животном мире, которые, конечно же, не знают, что такое математика, но бессознательно ежедневно действуют оптимально и эффективно. Жизнь некоторых из этих животных вдохновила ученых на разработку алгоритмов. Такие алгоритмы называют биоинспирированными, так как они повторяют поведение животных или природных явлений. Так, например, отдельная птица или рыба и не подозревает, что стая, в которой она живет, ведет себя как бы разумно. Каждая особь (в алгоритме — частица) меняет свою позицию в пространстве, ориентируясь на свой опыт и на положение соседей. Это помогает птицам не сталкиваться друг с другом и лететь по оптимальному маршруту к нужному месту. Такое системное поведение животных иллюстрирует понятие «автосинхронизации», или «закона пяти процентов», встречающееся, в том числе, и в мире людей. Если в каком-то обществе 5% участников одновременно совершают определенное действие, например начинают аплодировать артистам на сцене, то остальные люди автоматически начинают делать то же самое: сначала порознь, а потом и синхронно. Похожим образом работает и муравьиный алгоритм: отдельный муравей будет очень долго искать оптимальный путь от еды или строительных материалов до дома. Но группа муравьев, объединенных в колонию, быстро находит наилучшее решение. Секрет заключается в феромонах, которые выделяют эти насекомые. Чем путь туда-обратно быстрее, тем больше по нему пробежит муравьев и тем сильнее будет запах внешней секреции, который как бы сигнализирует: «Следуй за мной». 

Однако к эвристическим алгоритмам относят не только роевые. Некоторые из них были вдохновлены строгой иерархией в животном мире, то есть вертикальными связями, а не горизонтальными, как в случае роя. Например, в пчелином мире есть разведчики, которые первыми отправляются на поиски нектара вокруг улья и передают координаты на базу. Чем больше предполагается найти на лужайке нужных цветов, тем дольше и ярче танец пчелы. Остальные жители улья, если информация их удовлетворяет, отправляются уже на сбор нектара. Разведчики же улетают искать другие поляны, причем радиус поиска с каждым заходом увеличивается. Поиск останавливается, когда пчелы находят наилучшую по всем параметрам локацию или оптимальное решение, если мы говорим о пчелином алгоритме. Похожих предводителей-агентов содержит и алгоритм серых волков, разработанный в 2014 году. В дикой природе в стае существует довольно четкая иерархия и распределение обязанностей, которое непосредственно влияет на охотничье поведение хищников. Это и легло в основу алгоритма. При поиске добычи (оптимального решения) волками предполагается, что альфа-самец (лучший кандидат) и бета-волки имеют более четкое и правильное представление о том месте, где может находиться добыча. Соответственно, оставшаяся часть стаи корректирует свое поведение и локацию в зависимости от позиции лучших поисковых агентов. 

Выбор нужного алгоритма зависит от поставленной задачи, и универсального рецепта здесь нет. Теорема о бесплатном обеде (NFL), например, утверждает: если алгоритм хорошо работает с определенным классом задач, то это обязательно балансируется снижением производительности на множестве оставшихся проблем. Более того, надо брать во внимание вычислительные затраты, доступность программного обеспечения и время, отведенное на поиск решения, чтобы правильно выбрать алгоритм. Но даже в этом случае алгоритм не гарантирует, что вы нашли самое лучшее решение, которое по-научному называют еще глобальным оптимумом. Всегда искать глобальный оптимум за разумное время сможет, в теории, только квантовый компьютер. Несмотря на то что небольшие квантовые процессоры уже существуют, они не могут пока справиться с большим объемом переменных, а все практические задачи, как назло, именно такие. Если бы у нас уже был достаточно мощный квантовый компьютер, мы могли бы с его помощью быстро и точно решать гораздо более масштабные и сложные задачи оптимизации, но его пока нет. Однако в нашем распоряжении есть эвристические алгоритмы, которые успешно применяются на обычных машинах. Более того, даже в этом случае мы уже можем использовать явления из квантовой физики в природных алгоритмах. Так, например, квантово-вдохновленный алгоритм роя частиц использует эффект туннелирования для преодоления высоких барьеров.

Для наглядности представьте, что вы играете в такой боулинг, где кегли расставлены за холмом. При этом ваших сил не хватает, чтобы шар перекатился через вершину и оказался на той стороне. Выход в нашем мире только один — не играть в такой странный боулинг. В квантовом же мире умный в гору не идет, а туннелирует ее. Когда полной энергии не хватает, чтобы просто забраться на гору, частицы проходят ее насквозь. Это противоречит законам классической механики и показывает квантовую природу явления, которую и используют современные алгоритмы. Эффект ускоряет вычислительный процесс и помогает не застрять в локальном оптимуме при поиске глобального. Квантово-вдохновленные (quantum-inspired) алгоритмы применяют в фармакологии, промышленности, логистике, финансовой сфере и в поиске материалов. То есть везде, где можно оптимизировать путь, расписание или какой-то процесс. Пока считается, что quantum-inspiredалгоритмы дают максимальный экономический эффект. Однако нет предела совершенству, и, хотя коммивояжер, выходя из дома на работу, уже может не ломать голову над маршрутом (по крайней мере, на 95–99%), остается еще много нерешенных задач оптимизации из разных областей науки, бизнеса и повседневной жизни, которые только предстоит решить с помощью квантово-вдохновленных алгоритмов. 

Объявлены лауреаты математической Филдсовской премии. Награды получили украинка Марина Вязовская, британец Джеймс Мейнард, француз Уго Дюминиль-Копен и выпускник Сеульского университета Джун Ха. На этот раз Международный математический союз решил отметить специалистов по многомерным пространствам, теории простых чисел, комбинаторике и статистической физике. Филдсовская премия считается самой престижной мировой наградой в математике. Ее вручают на протяжении почти века, с 1936 года, на Международном конгрессе математиков, который проходит раз в четыре года. На этот раз Филдсовскую премию получила украинка Марина Вязовская, став второй женщиной-лауреатом в истории (первой была Мариам Мирзахани в 2014-м). Награда стала ожидаемой и заслуженной. В 2016 году Вязовская смогла решить задачу, над которой математическое сообщество билось многие десятилетия. Задача по идее проста. В привычных нам двумерном (на бумаге) и трехмерном мире ее может решить любой: как максимально плотно заполнить лист бумаги идентичными кругами, а коробку — шарами. На бумаге рисунок будет напоминать соты, в реальности — пирамиду апельсинов в супермаркете. Математики давно доказали, что это действительно самый плотный способ заполнить пространство. Сложности возникли с другими измерениями.

В математике недостаточно показать, что решение подходит, нужно доказать, что нет решения лучше. С этим были проблемы, а Марине Вязовской удалось найти решения. Она получила премию «за доказательство того, что решетка E8 позволяет максимально плотно упаковать идентичные сферы в восьмимерном пространстве, а также за дальнейший вклад в родственные задачи интерполяции и поиска экстремумов в Фурье-анализе». Сегодня Вязовская продолжает работу в Федеральной политехнической школе Лозанны (Швейцария), которую часто называют «европейским MIT». Ее работа чисто теоретическая и пока не имеет прикладного значения. Но Вязовская надеется, что ее формулам найдется применение в дифференциальном анализе и обработке сигналов. Вторым лауреатом стал британец Джеймс Мейнард (James Maynard) — специалист по простым числам и интервалам между ними. Мировое математическое сообщество заметило его в 2013 году, когда Джеймс пережил одновременно лучшее и худшее, что только может произойти с математиком. Молодой парень, недавно окончивший университет, нашел решение одной из древнейших задач об интервалах между простыми числами. Вот только всего за несколько месяцев до него эту задачу уже решил другой ученый, хотя не таким методом. И все же Мейнард продолжил заниматься простыми числами, которые считает «фундаментальными кирпичиками всех целых чисел — самых естественных и базовых объектов во Вселенной». Его достижения не остались незамеченными. Джеймс Мейнард, теперь профессор Оксфордского университета, получил награду «за вклад в аналитическую теорию чисел, который привел к значительному прогрессу в нашем понимании структуры простых чисел и в диофантовом приближении».

Третьим победителем стал кореец американского происхождения Джун Ха (June Huh), который «строит пространства из комбинаторных объектов». «Как только у вас есть пространство для движения, вы можете воспользоваться своей геометрической интуицией и добыть информацию, скрытую в оригинальной комбинаторной структуре», — объясняет он свою работу. Такой геометрический подход совершил революцию в его сфере исследований, а ведь, в отличие от других лауреатов, Ха не собирался становиться математиком. В молодости Джун Ха мечтал стать поэтом, чтобы «выражать невыразимое», и даже бросил школу в старших классах. Но поэзия требовала самоанализа, а Джун хотел описывать внешний мир. Даже в университете он чувствовал себя потерянным, однако на последнем курсе попал на лекции японского математика Хэйсукэ Хиронака (Heisuke Hironaka), лауреата Филдсовской премии 1970 года. Впервые Ха увидел «сырую» математику вместо «вылизанных» за века доказательств из учебников. Он нашел свое призвание. И коллеги говорят, что в том, как уникально Джун подходит к решению задач, есть нечто очевидно поэтическое. Джун Ха получил награду «за перенос идей теории Ходжа в комбинаторику, доказательство гипотезы Доулинга — Уилсона для геометрических решеток, доказательство гипотезы Герона — Роты — Уэлша для матриоидов, развития тероии лоренцовых полиномиалов и доказательство сильной гипотезы Мейсона». 

Последним победителем стал француз Уго Дюминиль-Копен (Hugo Duminil-Copin), совершивший большой вклад в теорию фазовых переходов. Он работает на стыке физики и математики — в статистической физике. Статистическая физика ищет общие свойства огромных систем через анализ взаимодействий между их малейшими составляющими. Чтобы понять всю сложность этой задачи, представьте фонтан, капельки которого под действием ветра разлетаются в разные стороны. Вы не сможете отследить движение каждой капельки, но можете выявить закономерности — вероятности движения. Дюминиль-Копен изучает такие же закономерности, только в магнетизме. Применив теорию просачивания (по-научному — теорию перколяции), им с коллегами удалось разработать новую модель для описания таких процессов. Филдсовскую премию он получил «за решение устоявшихся проблем в вероятностной теории фазовых переходов в статистической физике, особенно в трехмерном и четырехмерном пространстве». Сейчас Дюминиль-Копен продолжает работу над разработкой простой и универсальной теории просачивания. У Филдсовской премии есть несколько важных отличий от Нобелевской премии и математической Абелевской премии. Во-первых, награду вручают за общий вклад в математику, а не за конкретные достижения. Во-вторых, лауреатами становятся только ученые в возрасте до 40 лет. Так пожелал ее основатель Джон Филдс, который считал, что премия «должна служить поощрением к дальнейшим достижениям».

Новая работа может помочь понять, как и почему возникают эти микроскопические квантово-механические пульсации, а также объяснить связи между теорией гравитации Эйнштейна и квантовой механикой — того, что ускользало от ученых на протяжении десятилетий. Грандиозная задача современной теоретической физики в том, чтобы найти «единую теорию», которая могла бы описать все законы природы в единой структуре, соединяющую общую теорию относительности Эйнштейна, описывающую Вселенную в больших масштабах, и квантовую механику, описывающую наш мир на атомарном уровне. Теория «квантовой гравитации» должна включать в себя как макроскопическое, так и микроскопическое описание природы. Черная дыра образуется в тот момент, когда тяжелая звезда расширяется и коллапсирует под действием собственной гравитационной силы, так что вся ее масса оказывается сосредоточенной в чрезвычайно малом объеме. Квантово-механическое описание черных дыр все еще находится в зачаточном состоянии и требует помощи высшей математики. 

«Мы стремимся понять законы природы — и язык, на котором они написаны, является математика. Именно в ней мы находим ответы на вопросы, которые мы ищем в физике. Это взаимодействие особенно заметно в поисках квантовых гравитация — где крайне сложно проводить эксперименты», — объяснил Дэниел Перссон, профессор кафедры математических наук Технологического университета Чалмерса. «Задача состоит в том, чтобы описать, возникновение гравитации как “эмерджентного” явления. Так же, как повседневные явления возникают из хаотических движений отдельных капель, мы хотим описать, как гравитация возникает из квантово-механической системы в момент времени на микроскопическом уровне», — рассказал Роберт Берман, профессор кафедры математических наук Технологического университета Чалмерса. Перссон и Берман вместе с Тристаном Коллинзом из Массачусетского технологического института в США показали, как гравитация возникает из специальной квантово-механической системы в упрощенной модели квантовой гравитации, называемой голографическим принципом. 

«Используя методы математики, которые я исследовал ранее, нам удалось сформулировать объяснение того, как гравитация возникает в соответствии с голографическим принципом, более точным образом, чем это делалось ранее», — добавил Берман. Исследование ученых предлагает новое понимание темной энергии. В общей теории относительности Эйнштейна гравитация описывается как геометрическое явление. Подобно тому, как только что застеленная кровать изгибается под тяжестью человека, тяжелые предметы могут искривлять геометрическую форму вселенной. Но, согласно теории Эйнштейна, даже пустое пространство — «вакуумное состояние» Вселенной — имеет богатую геометрическую структуру. Если бы мы могли увеличить масштаб и посмотреть на этот вакуум на микроскопическом уровне, мы бы увидели квантово-механические флуктуации или пульсации, известные как темная энергия. Именно эта загадочная форма энергии, с более широкой точки зрения, ответственна за ускоренное расширение Вселенной. «Наши результаты открывают возможность проверить другие аспекты голографического принципа — например, микроскопическое описание черных дыр», — подытожил Даниэль Перссон.

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

Латинским квадратом называют квадратную матрицу, заполненную элементами некоторого счетного множества таким образом, чтобы в каждой ее строке и каждом столбце каждый элемент множества встречался только один раз. Наиболее известным латинским квадратом можно назвать квадрат 3×3, который необходимо заполнить натуральными числами, играя в судоку. Латинские квадраты нашли применение в комбинаторике, статистике, криптографии и многих других научных разделах.

Их можно усложнить, помещая в ячейки элементы не одного, а двух различных множеств (в этом случае еще говорят про пару ортогональных латинских квадратов). Такие объекты носят название греко-латинских квадратов или квадратов Эйлера в честь знаменитого математика, который активно их изучал. Для небольших размерностей такие структуры можно представить с помощью игральных карт, которые следует разместить таким образом, чтобы все масти и карты всех достоинств встречались в каждой строке и в каждом столбце ровно один раз.

Эйлер не нашел греко-латинских квадратов 2×2 и 6×6, но смог построить их для 3, 4 и 5 порядков. Он также высказал гипотезу, согласно которой не существует таких квадратов порядка N=4n+2, где n — натуральное число. Для квадратов 6×6 эту гипотезу аналитически подтвердил Терри в 1901 году, однако спустя почти 60 лет с помощью компьютеров были найдены греко-латинские квадраты 10 и 22 порядков, что опровергло предположение Эйлера. Теория латинских квадратов снова заинтересовала математиков в связи с распространением квантовой информатики. В квантовых вариантах квадратов в ячейках расположены не отдельные элементы множеств, а вектора гильбертовых пространств, описывающие их квантовую суперпозицию. В этом случае условие неравенства всех членов ряда или строки заменяется на условие ортогональности всех векторов. На базе этой идеи недавно была предложена квантовая версия судоку. Группа математиков из Индии и Польши при участии Кароля Жичковского (Karol Życzkowski) продолжила работу в этом направлении и получили решение для квантового эйлерового квадрата 6×6.

Математик из РУДН разработал матричный способ представления функций множества. Такой подход упростит процесс расчетов и их проверку, а результаты исследования могут быть использованы как инструмент для работы с кооперативной теорией игр. Кооперативная теория игр разбирается с поиском способов принятия сложных решений в ситуации с большим количеством критериев. Группы игроков, или коалиции, вырабатывают решение, которое принесет наибольшую выгоду. Один из инструментов для работы с этой теорией — функции множества, входные данные которых представлены как набор элементов. Эти элементы (множества) могут принимать разные значения. Данные по отдельным элементам могут подкреплять друг друга или нейтрализовать, поэтому сочетания разных элементов — коалиции могут принимать свои значения. Для работы с такими данными необходим понятный математический язык. «Мы внесли вклад в развитие математического языка кооперативной теории игр, опираясь на такие знакомые понятия, как матрицы и векторы. Мы разработали формальный подход для манипуляций с функциями множества на основе линейной алгебры. Практическое применение этих результатов лежит в области многокритериального анализа решений, принятия групповых решений, операций с зависимыми целями, экономических теорий, основанных на кооперативных играх, теорий агрегатных функций», — пояснил кандидат физико-математических наук, профессор РУДН Глеб Беляков.

Математик нашел единый подход, понятный для математиков, инженеров, информатиков и экономистов. Для этого идеально подошли операции линейной алгебры, которые опираются на матрицы. Матричные выражения были получены при использовании производной функции множества. Обработка показательного множества упрощает методы расчета и способствует эффективной программной реализации многих формул. Ученый уже предложил новые формулы для поиска вектора Шепли. «Функции множеств находят свое применение в экономике, в области принятий решений, нечеткой логике и исследованиях операций. Показательное множество, в частности, хорошо подходит для моделирования между входными переменными в корпоративных играх. Разработанный аппарат упростит расчеты, а также облегчит программную реализацию многих формул с использованием существующих пакетов линейной алгебры», — резюмировал Глеб Беляков.

Ученые нашли точное решение для класса сложных инженерных задач, впервые использовав соотношение ортогональности Папковича вместо обычно применяемого интегрального преобразования Фурье. Чтобы избежать трещин, деформаций и разрушения элементов сложных конструкций, инженерам необходимо учитывать то, как объект поведет себя при нагрузке. Это, в свою очередь, требует сложнейших математических расчетов при проектировании. Один из открытых вопросов инженерии связан с решением прикладных задач для того случая, когда нагрузка приложена не на границах, а внутри области. Такие случаи называются неоднородными краевыми задачами теории упругости. В них нужно найти точные решения неоднородных дифференциальных уравнений в частных производных, удовлетворяющие тем или иным условиям на границе области. Одна из таких задач — передача нагрузки от упругого элемента, расположенного внутри области, к тонкому листу. На практике она реализуется, например, при взаимодействии стрингера (продольный элемент каркаса) самолета и его обшивки. 

«В 60–80 годы прошлого столетия этим задачам уделялось огромное внимание многих выдающихся ученых, но сейчас их работы в значительной степени забыты. Отчасти это связано с тем, что формулы, описывающие решение, достаточно сложны и требуют от исследователя значительных математических навыков. Вторая и главная причина состоит в том, что все решения были приближенными — рассказывает руководитель проекта по гранту РНФ Александр Кержаев, кандидат физико-математических наук, старший научный сотрудник Института теории прогноза землетрясений и математической геофизики РАН. Ученые из Института теории прогноза землетрясений и математической геофизики РАН (Москва) предложили метод построения точных решений неоднородных задач теории упругости в полуполосе. С точки зрения инженерии, полуполосой является прямоугольник, у которого длина значительно больше ширины — например, достаточно длинная бетонная балка. Закрепим эту балку горизонтально, полагая, что внутри нее действует массовая нагрузка, передаваемая к ней через металлический каркас. Концы этой балки могут быть, например, свободными или жестко закрепленными. Для безопасности и долговечности конструкции необходимо знать, как внутри нее распределяются напряжения. Точное решение этой задачи всегда представляло большой прикладной и теоретический интерес. 

Предложенный учеными метод построения состоял в следующем: вначале они решили неоднородную задачу для бесконечной полосы, впервые применив для этого соотношение ортогональности Папковича. Затем к нему добавили соответствующее решение однородной задачи для полуполосы (полученное авторами ранее), с помощью которого удовлетворяются граничные условия на торце. Использование соотношения ортогональности вместо классического способа — интегрального преобразования Фурье — быстро приводит к цели. Полученное решение является точным, так как коэффициенты разложений в ряды по собственным функциям Папковича–Фадля определяются в явном виде. Это решение базируется на принципиально новом математическом аппарате, разработанном авторами в предыдущих работах. Ученые продемонстрировали метод на примерах точных решений двух неоднородных краевых задач теории упругости для полуполосы со свободными длинными сторонами. В первом случае торец полуполосы свободен, а во втором он жестко защемлен. «Соотношение ортогональности Папковича остается справедливым и для других типов однородных граничных условий на сторонах полосы, в частности, когда ее стороны жестко защемлены. Поэтому данным методом можно находить простые точные решения для широкого круга неоднородных краевых задач в полосе с различными однородными граничными условиями на ее длинных сторонах. Эти решения также будут представляться рядами по собственным функциям Папковича–Фадля», — прокомментировал Александр Кержаев. Исследования проводились совместно с коллегой из Технологического университета Циндао (Китай).

Ученые утверждают, что теория графов помогает биологам изучать гомеостаз. Здоровые человеческие тела хорошо справляются с регулированием: наша температура остается на уровне 98,6 градусов по Фаренгейту, независимо от того, насколько высока или низка температура вокруг нас. Уровень сахара в крови остается довольно постоянным, даже когда мы выпиваем стакан сока. Мы удерживаем необходимое количество кальция в костях и в других частях нашего тела.

Мы не смогли бы выжить без этого регулирования, называемого гомеостазом. А когда системы выходят из строя, происходит болезнь, а иногда смерть. В презентациях на ежегодном собрании Американской ассоциации содействия развитию науки исследователи утверждали, что математика может помочь объяснить и предсказать эти сбои, потенциально предлагая новые способы для предотвращения и лечения в ситуациях, когда что-то идет не так. Гомеостаз «является биологическим явлением, и без него биологические системы не работают, – сказал Марти Голубицкий, один из докладчиков и выдающийся профессор естественных и математических наук в Университете штата Огайо. – И, если бы у вас были подробные, точные математические модели, вы могли бы численно исследовать эти системы, найти места, где этот контроль действительно происходит, а где есть сбой, и понять, как это исправить». Ученые хорошо разбираются в биологических причинах, по которым происходит это регулирование: определенные системы в наших телах должны оставаться постоянными, чтобы функционировать и поддерживать наши тела. Однако математика, лежащая в основе этого, менее достоверна. Но понимание гомеостаза, в том числе прогнозирование его изменений и расчет способов поддержания тела в регуляции, несмотря на сбои в системах организма, которые управляют этими регуляторами, может быть способом оказания целевой медицинской помощи людям, которые в ней нуждаются, сказала Джанет Бест профессор математики в штате Огайо.

«Это часть точной медицины, – сказал Бест, который также является со-директором Института математических биологических наук штата Огайо. Люди разные, и вам нужна модель, которая может работать с разными людьми. И мы думаем, что это то, что мы здесь разработали». Исследователи из MBI и других институтов, изучающие взаимосвязь математики и биологии, построили модели, объясняющие, как организм поддерживает гомеостаз в различных системах. В основе этих моделей лежит граф – математическая концепция, которая пытается объяснить, как объекты связаны друг с другом. (Если вы изучали алгебру или геометрию в средней школе, вы, вероятно, выучили некоторые основы теории графов.) Голубицкий и Бест сказали, что теория графов может помочь объяснить и предсказать изменения гомеостаза в организме. По их словам, это объяснение может быть полезно биологам и другим специалистам, ищущим способы вмешательства в случае нарушения гомеостаза. Этот распад вызывает ряд проблем – например, может выражаться переизбытком глюкозы в крови человека или недостаточным количеством кальция в его костях. 

Презентации AAAS были сосредоточены как на графике, который моделирует, как организм регулирует уровень дофамина посредством гомеостаза, так и на том, как теория графов помогает определить свойства графиков, которые могут помочь предсказать гомеостаз. Голубицкий и Бест описали, как дофамин и ферменты, которые его расщепляют, могут быть представлены в виде математической формулы, связанной с графиком. Они показали, что, вычисляя изменения в узлах, можно рассчитать или предсказать изменения в уровнях дофамина. По словам Голубицкого, этот подход может быть распространен на другие системы, хотя для уверенности необходимы дальнейшие исследования. По его словам, это исследование уже ведется. «Гомеостаз – достаточно важная область биологии, и если математика может что-то сделать для него, то это успех», – сказал он.

Ученые исследовали новый способ решения проблемы малого числа кубитов квантовых вычислителей для решения реальных оптимизационных задач. Они пошли не по пути увеличения мощности компьютеров, а решили подстраивать формулировки решаемых ими задачи в нужном направлении. Исследователи показали, как квантовый компьютер может справиться с разными вариациями задачи маршрутизации транспорта. Одними из самых сложных с точки зрения классических вычислителей и наиболее перспективными с точки зрения квантовых можно назвать задачи, принадлежащие классу квадратичной неограниченной бинарной оптимизации (QUBO, quadratic unboundedbinary optimization). Но важнее всего то, что эти оптимизационные задачи встречаются в реальной жизни — от экономики и финансов до машинного обучения. Поэтому их исследование и развитие возможностей квантовых вычислений для решения может принести видимую пользу. Переменные в таких задачах могут принимать значения 0 или 1 (бинарные), а цель задачи — оптимизация какой-нибудь заданной функции. Обычно, нужно что-то минимизировать (например, время, расходы, расстояние) или максимизировать (прибыль, заполнение рюкзака) и при этом соблюдать необходимые условия. Один из старейших примеров оптимизационной задачи — задача коммивояжера. 

Коммивояжер выезжает из своего города, направляется по делам в разные города и хочет знать оптимальный маршрут для того, чтобы попасть в каждый город и вернуться обратно выгоднее всего. Критериями выгодности могут быть время, расстояние, стоимость поездки или все вместе. Если перевести задачу на математический язык, то получится граф, вершины которого — города, грани — дороги между ними, а их веса могут быть расстоянием между городами, стоимостью билета или прибылью, которую можно получить в городе. Чем больше городов, тем больше вариантов путей есть у коммивояжера. Для 4 городов помимо города старта число вариантов обхода составит 4! = 24, а для 10 уже 10! = 3628800. Но это еще не самое страшное, потому что из-за наличия условий на путешествие коммивояжера, вероятность того, что найдется хоть какое-то решение, оказывается очень маленькой. Для решения задачи нужно не просто какое-то, но оптимальное решение, поэтому перебор вариантов на классическом компьютере оказывается долгим и неэффективным.

Интересным остается вопрос о том, как в это все вписать квантовые компьютеры. Дело в том, что даже для решения оптимизационной задачи в классическом мире нужно сформулировать ее математически — перевести все условия в формулы и сформулировать целевую функцию, которую необходимо минимизировать (или максимизировать). Квантовые вычислители умеют работать с гамильтонианами, поэтому перед их запуском нужно перевести условие задачи с классического языка на квантовый. Расширенным и прикладным вариантом задачи коммивояжера можно считать задачу маршрутизации транспорта. Именно для нее исследователи из ExxonMobil и IBM Quantum под руководством Донни Гринбера (Donny Greenberg) сформулировали разные варианты постановки задачи, перевели их на квантовый язык и показали, как квантовый вычислитель сможет их решить.

Две команды исследователей нашли разные способы обсчёта нелинейных систем на квантовых компьютерах посредством их маскировки под линейные. Иногда компьютерам просто предсказать будущее. Простой процесс, типа течения сока растения по древесному стволу, довольно просто реализовать в несколько строк кода при помощи того, что математики называют линейными дифференциальными уравнениями. Однако в нелинейных системах взаимодействия влияют сами на себя: воздух, обтекающий крылья самолёта, влияет на взаимодействие молекул, которое влияет на поток воздуха, и так далее. Петля обратной связи порождает хаос, при котором малое изменение начальных условий приводит к радикальному изменению поведения впоследствии, из-за чего предсказать поведение системы практически невозможно – какой бы мощный компьютер вы бы ни использовали. «В частности, поэтому сложно предсказывать погоду или изучать сложные течения жидкости, — сказал Эндрю Чайлдс, исследователь в области квантовой информации из Мэрилендского университета. – Можно было бы решать очень сложные вычислительные задачи, если бы получилось разобраться в этой нелинейной динамике». Возможно, вскоре это получится. В ноябре 2020 года две команды независимо опубликовали свои исследования (одна – из MIT, другая под руководством Чайлдса), описывающие мощные инструменты, которые должны улучшить качество моделирования нелинейных динамических процессах на квантовых компьютерах. 

Квантовые компьютеры пользуются квантовыми явлениями, выполняя некоторые типы вычислений эффективнее классических компьютеров. Благодаря этому они уже научились экспоненциально быстрее решать сложные линейные дифференциальные уравнения. И исследователи давно надеялись, что им удастся при помощи хитроумных квантовых алгоритмов сходным образом укротить и нелинейные проблемы. Новые подходы скрывают нелинейность уравнений под маской более удобоваримого набора из линейных аппроксимаций. При этом подходы между собой серьёзно различаются. В итоге, у исследователей теперь есть два разных способа подступиться к нелинейным задачам при помощи квантовых компьютеров. «Интересно, что две эти работы обнаружили подход, в котором, с учётом некоторых предположений, можно придумать эффективный алгоритм, — сказала Мария Киферова, исследователь квантовых вычислений из Сиднейского технологического университета, не связанная с этими работами. – Это очень интересно, и обе команды используют очень клёвые техники». Когда мы учился в институте, то очень не любили философию. Дело не только в том, что тогда это была марсистко-ленинская философия - просто мы не видели смысла в этом бессмысленном нагромождении слов. Уже много позже мы обнаружили, что увлекаюсь именно философией - но философией науки. У философии должен быть конкретный объект рассмотрения: бесконечности в теории множеств, трансфинитные числа, теории и доказуемость, гипотеза математической вселенной Макса Тегмарка. И тогда есть реальный прогресс (например, теорема Геделя), а слова просто облегают каркас, задаваемый конкретикой. Иначе получается попытка построить конструкцию из жидкой манной каши, какой-то интеллектуальный онанизм. Георг Кантор, положивший начало теории множеств и открывший разницу типов мощностей (по-английски cardinalities), на мой взгляд, куда больший философ, чем Кант и Гегель. Вы можете не вынимать ложечку из чашки кофе, когда пьете его и съедать яблоко с огрызком, но знать отличие счетного множества от континуума обязаны, если вы связаны с IT или любой технической сферой. 

Одной из интересных в философском плане вещей является знаменитая (в узких кругах) Аксиома Выбора (AC) - внешне совершенно безобидная, но с чудовищными последствиями. Аксиома утверждает, что, если существуют два непустых множества, то существует и множество, содержащее ровно по одному элементу из обоих. Если одно из этих множеств содержит только один элемент, то он всегда и будет выбираться и работать как крючок, "выуживая" из второго множества элементы. Если после каждого такого акта выбора мы будем выбранные элементы изымать, то с помощью данной процедуры мы можем разобрать любое множество по элементам. Как ни странно, "чистая" теория множеств не утверждает, что любое множество можно "разобрать на части". Интуитивно ясно, что конечное или счетное множество (например, множество натуральных чисел) можно разобрать на элементы. Для континуума это уже совсем не очевидно. 

Аксиома Выбора известна тем, что рождает чудовищ. Чудовища называются intangibles - объекты, существование которых может быть доказано, но ни один конкретный пример не может быть приведен. Классическим примером такого чудовища является Парадокс Банаха Тарского. Сферу можно разрезать на шесть частей так, что после поворотов из них можно слепить две сферы такого же диаметра - без зазоров и пустот! А откуда же взялся лишний объем? спросите вы. Для того, чтобы вычислить объем, объект должен быть в какой-то степени гладким. Части в данном случае бесконечно сложны по построению, и их объем не определен. А как безобидно все начиналось! Разумеется, многим математикам такое поведение Аксиомы Выбора пришлось не по вкусу. Так как математики творцы своих собственных миров, они могут делать все, что захотят. Самым очевидным было ограничить работу AC только счетными множествами, где все очевидно. Но это связывало руки тем, кто работал с вещественными числами, а топологию просто убивало. Поэтому есть целый ряд "ослабленных" вариантов AC(например, Аксиома Зависимого Выбора), или альтернативных вариантов, например, Аксиома Детерминизма

Какое-то время считали, что ослабленные аксиомы лучше, хотя они так лимитируют наши знания. Однако потом пришли к выводу, что проблема совсем не в аксиоме выбора, а в нашем сознании. Наш мозг может работать с конечным количеством информации. Этого количества информации достаточно, чтобы охарактеризовать элемент из бесконечного, но счетного множества элементов. С большими мощностями проблемы - для выбора из них может потребоваться бесконечное количество информации. Например, пусть у нас есть континуум вещественных чисел [0,1]. Уберем из него все числа, которые мы можем определить строкой, например, '0.324443', '1/3', '1/pi' (pi лучше определить через бесконечные ряды), 'min корень уравнения...' (причем в последнем случае не важно, умеем ли мы это уравнение решать). Важно, что число строк счетно, а вещественных чисел больше, так что в итоге останется странное множество... В нем еще осталось почти столько же элементов, сколько и было, но ни один элемент нельзя привести в качестве примера. Ведь чтобы привести пример, его надо уметь записать строкой, а все такие числа вырезаны! 

Структура чудовищ, таким образом, представляется такой: В хорошем случае сущности существуют и имеют своих представителей на тонкой пленке счетных множеств. Мы видим эти сущности 'на поверхности' и нам хорошо. Более сложные сущности могут прятаться глубже - на уровне континуума и еще глубже (парадокс Банаха Тарского). У таких сущностей нет представителей в тонкой пленке счетных множеств (а собственно, почему они всегда должны там быть?) - но это исключительно наши проблемы! В старомодных фильмах инопланетян изображают так: То-есть, со всеми людскими чертами с небольшими изменениями. Инопланетяне даже говорят по-английски! Это, конечно, очень мило, но крайне упрощено. Тут попытка более серьезна: Однако, попытаемся смастерить более продвинутых инопланетян. Итак, что мы можем сказать о человеке?

  • наш мозг содержит конечное количество информации
  • наши сообщения, слова, фразы, тоже передают конечное количество информации
  • это позволяет выбирать элементы из бесконечных, но счетных множеств 
  • Аксиома выбора для счетных множеств нам кажется очевидной
  • Мы живем в пространстве времени, которое континуум 
  • Давайте сделаем апгрейд - 'one level up' в иерархии мощностей:
  • их мозг содержит бесконечное, но счетное количество информации
  • их сообщения тоже передают бесконечное счетное количество информации. Например, одно слово может содержать вещественное число с бесконечной точностью со всеми его цифрами после запятой
  • это позволяет выбирать элементы из континуума 
  • Аксиома выбора для континуума им кажется очевидной
  • Парадокс Банаха Тарского им не кажется парадоксом. Идея им интуитивно понятна, хотя пример они по-прежнему привести не могут.
  • Эти существа существуют в мире, где пространство/время по крайней мере 

Последние два пункта требуют пояснений. Для разбиения сферы в парадоксе БТ аксиома Выбора используется континуум раз - то есть пример разбиения содержит континуум информации - больше, чем эти инопланетяне могут выразить словами. Тем не менее сама идея им понятна. У людей (one level down) концепция 'бесконечная последовательность натуральных чисел, из которых случайным образом изъято по одному числу из каждой десятки' не вызывает затруднений, хотя мы и не могли бы записать полный пример такой последовательности (так как она бесконечна)

Наше пространство время (континуум) слишком бедно, чтобы вместить таких существ. Поэтому мы не могли бы с ними встретиться. Но они, безусловно, существуют, так как, согласно Математической Гипотезе Тегмарка, все математические миры всегда реализуются. И если наш мир с континуумом пространства времени и несколькими страницами формул, определяющих физические законы, дал возможность существования существ с сознанием, то невозможно представить, что существа с более высоким типом сознания не существуют в более 'богатых' мирах. Явления мира 'продвинутых инопланетян' выше являются для нас трансцендентными. Тем не менее, если мы не можем их понять, то мы можем хотя бы как-то их описать или предложить упрощенные модели. Однако ситуация может быть еще хуже. Возможно, есть концепции, к которым мы вообще не можем прикоснуться.

Один из кандидатов является проблема сознания. Напомню диспозицию, существует ряд подходов к проблеме:

  • Материазизм или физикализм, он же функционализм, воззрение, что сознание 'как то' возникает из работы мозга (и, возможно, других сложных систем). Выглядят научно, но проблема со словом 'как-то', потому что прогресс за сотни лет нулевой
  • Панпсихизм- любая частичка обладает крохой сознания. Это воззрение хорошо тем, что не требует 'возникновение' сознания - оно изначально связано с материей. Но у подхода свои проблемы
  • Отрицание существование сознания в принципе (упертый старик Деннетт)
  • New mysterianism

Последний подход - возможно, сознание и создается мозгом. Но сознание само в принципе не может и не сможет это понять. Это сможет понять только сознание более высокого уровня, и так далее. (ничего не напоминает? да, теорему Геделя)

Теория множеств дает хорошие примеры, иллюстрирующих концепцию cognitive closure - там это называется fixed points. Пусть вы суммируете единицы. 1,2,3, ... 5556054, каждое следующее число больше предыдущего, есть прогресс. Но вы никогда не достигните первой счетной бесконечности. Аналогично, беря функцию 'множество всех подмножеств' - функция чудовищной силы, создающая из счетного множества континуум и так далее, вы никогда не достигните первой недостижимой мощности. Важно, что cognitive closure не видна снизу как граница. Это не барьер. Это не сложная задача, которую вам не решить. Она вообще вам не видна - все как бы хорошо, вы можете написать еще одну статью, исследовать еще одно явление, доказать еще одну теорему. Вас никто не будет останавливать - вы просто не можете понять, что вы не способны понять. Вы не увидите проблему.

60 лет тому назад мне начинающему исследователю, хотелось получить более глубокие знания по химии по программе химфака МГУ, но мой знакомый – директор одного закрытого института по спецматериалам посоветовал пойти дополнительный курс по математике для инженеров, что пригодилось мне не раз. 

Современная научная картина мира зиждется на двух общих принци­пах: принци­пе математизации знания и принципе гармонии, или эстетического отбора. Принцип математизации заключается, во-первых, в широком при­менении математических методов и теорий в других науках, технике и прак­тике, и, во-вторых, в построении наук, особенно естественных, по образу и подобию математики, дедуктивно. К какому разряду наук отнести математику? В. И. Арнольд считает ма­тематику естественной наукой, наукой о природе: «Математика является экс­периментальной наукой — частью теоретической физики и членом семейства естественных наук». Благодаря практике математика возникла и разви­вается. а благодаря ее приложениям — ценится. Выдающийся польский мате­матик Анджей Мостовскнй также утверждал, что математика — естественная наука. Логик и математик Н. Н. Непейвода относит математику к гуманитар­ным наукам, «разные области которой обслуживают разные сферы человече­ской деятельности». Роль математики в разви­тии науки и техники исключительна и большинство ученых и философов считают, что настоящее, т. е. точное знание о природе, обществе и самом человеке может быть выражено только на математи­ческом языке».

 

 
Связанные ссылки
· Больше про Физики и Мироздание
· Новость от proatom


Самая читаемая статья: Физики и Мироздание:
Падают ли тела на Землю с одинаковым ускорением?

Рейтинг статьи
Средняя оценка работы автора: 3.66
Ответов: 3


Проголосуйте, пожалуйста, за работу автора:

Отлично
Очень хорошо
Хорошо
Нормально
Плохо

опции

 Напечатать текущую страницу Напечатать текущую страницу

"Авторизация" | Создать Акаунт | 14 Комментарии | Поиск в дискуссии
Спасибо за проявленный интерес

Re: Роль математики в современном мире (Всего: 0)
от Гость на 30/09/2022
Арнольд ИМХО прав. Главное эффективные приложения. А то за что платят бедные налогоплательщики? Надо им что-то отдавать взамен.


[ Ответить на это ]


Re: Роль математики в современном мире (Всего: 0)
от Гость на 01/10/2022
По-моему. только в СССР и странах СНГ были и есть учёная степень кандидата и доктора физико-математических наук.
В остальных странах это отдельно.
Математизация науки. то есть. превратилась сегодня в фетиш. И завела науку в тупик
Сегодня научная работа сводится к описанию математическими формулами физических явлений. Особенно, если ещё используется вероятностный аппарат КМ, то появляются такие идиотизмы, как многомерные пространства, петли времени, квантовая запутанности.
Тысячи придурков, приняв эстафету у изобретателей вечного двигателя,  трудятся над изобретением квантовых компьютеров с кубитами в десятимерном пространстве.
 Экспериментальная  работа любителями протирать кресло за компом отодвинута на второй план.Она им не нужна , они, видишь ли , могут из формул новые законы физики выдавать
Началось это явление с проходимца и шарлатана Эйнштейна,который вывел свой абсурдный нелепый релятивизм Теории относительности из преобразований Лоренца.В целом получилась глупость.Но её сольвейские мудрецы навязали целым поколениям людей. как научную истину. 
Теоретики сегодня стали мыслить математическими образами и стали высасывать физические теории из формул.Оно, конечно, кое-где работает, но с очень низким КПД.
Математику никто не отрицает.Но математика всего лишь инструмент и служанка науки, а не сама наука.
Фиговский, вы из математики делаете царицу доказательств.
 А это верх глупости!!!!! :)
Очевидно, не зря Нобель запретил давать премию имени себя математикам!У него к этим шарлатанам было сложившееся отношение...
 


[ Ответить на это ]


Re: Роль математики в современном мире (Всего: 0)
от Гость на 01/10/2022
Математику никто не отрицает.Но математика всего лишь инструмент и служанка науки, а не сама наука.
Фиговский, вы из математики делаете царицу доказательств.
 А это верх глупости!!!!! :)
Очевидно, не зря Нобель запретил давать премию имени себя математикам!У него к этим шарлатанам было сложившееся отношение... ====

Математикам дают премии побольше нобелевской. Потому что все знают без математики в точных науках никуда. 
Кстати, сейчас ВСУ использует автоматизированные методы определения и уничтожения целей. Там сплошная математика в программах. А ведь гибнут наши ребята, подумай об этом ((

Но есть отдельные недоумки, которые математику осилить не могут. Вот они пишут всякую куйню на проатоме :)


[
Ответить на это ]


Re: Роль математики в современном мире (Всего: 0)
от Гость на 02/10/2022
Математикам дают премии побольше нобелевской. Потому что все знают без математики в точных науках никуда. 
Кстати, сейчас ВСУ использует автоматизированные методы определения и уничтожения целей. Там сплошная математика в программах. А ведь гибнут наши ребята, подумай об этом (( 
Но есть отдельные недоумки, которые математику осилить не могут. Вот они пишут всякую куйню на проатоме :)"....

================

Ну, только лукавить не надо.... :)

Использование математического моделирования в системах управления, что является уже не наукой а прикладным моделированием, и высасывание новых законом физики или химии из математических моделей, подчас неадекватных, это не одно и то же. :)


Теория относительности проходимца и шарлатана  Эйнштейна, высосанный из преобразования Лоренца релятивизм, который ничем экспериментально не доказывается и является глупостью, высосанной из математики - вам в помощь.
 Или Квантовая механика с дегенеративной  квантовой запутанностью, десятимерными пространствами, петлями времени с посещением Сталина, Гитлера и доисторических предков - высшая степень математического дебилизма.

А Нобелевка - премия запредельно политизированная, которую дают "кому надо" с подачи не Нобелевского комитета, а с подачи хозяев денег.

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

Есть даже фальшивая Нобелевка по экономике, которую даёт Центробанк Швеции за заслуги тем экономистам, которые двигают идеи монетаризма.





[
Ответить на это ]


Re: Роль математики в современном мире (Всего: 0)
от Гость на 02/10/2022
Математикам дают премии побольше нобелевской."....
==============
Почему в математике не дают Нобелевскую премию?Премия не выдаётся математикам, потому что по убеждению Нобеля отмеченные наградой открытия и изобретения должны быть непосредственно полезны для всех. То есть премия создавалась для изобретателей, и математика была исключена как абстрактная наука.
Математикам придумали другую премию, симулякр Нобелевки.
Абелевская премия (англ. Abel Prize) — премия по математике, названная так в честь норвежского математика Нильса Хенрика Абеля. Основана правительством Норвегии в 2002 году, и, начиная с 2003 года, ежегодно присуждается выдающимся математикам современности.
Абелевская премия - такая же ПОДДЕЛКА под Нобелевскую премию, как и Нобелевская премия по экономике. :)


[
Ответить на это ]


Re: Роль математики в современном мире (Всего: 0)
от Гость на 02/10/2022
Платон мне друг, но истина в том, что все лгуны изощрены в искусстве обмана. ГеН


[
Ответить на это ]


Re: Роль математики в современном мире (Всего: 0)
от Гость на 02/10/2022
Математик не различает ложь:  Е = Мс2  и правду: М=Е/с2. Энергия движения рождает массу,  не иначе.


[
Ответить на это ]


Re: Роль математики в современном мире (Всего: 0)
от Гость на 02/10/2022
О формуле "E=mc2 " ===============                                                                                                                                          "Знаменитую формулу "E=mc2 " впервые, ещё в 1873 году, написал и указал на зависимость энергии от массы и скорости света  "E=kmc2", русский физик Николай Алексеевич Умов.            Он задолго до А. Эйнштейна обсуждал в своих работах формулу «E=kmc2», выведенную ранее (1871г) Генрихом Шраммом, которая, по его предположению, связывала массу и энергию гипотетического светоносного эфира в зависимости от скорости света. Спустя 30 лет это открытие газетчики приписали Эйнштейну.   Великие физики Н.А.Умов и Г. Шрамм занимались физикой!!!  А, мелкий клерк Эйнштейн из патентного бюро в Берне оформил патент на себя. Но это уже была другая формула. Где же Эйнштейн сделал подтасовку в данной  формуле?                                                                            Он просто поменял местами постоянную и переменную в правой части уравнения. Данная формула, по своей сути, это выражение известной формулы кинетической энергии              «Е = mv2/2» для света, в которой энергия является функцией переменной величины скорости. Изначально данная формула  задавала пропорциональность, в которой скорость света была переменной  величиной. А масса была величиной постоянной. Коэффициент «к» задавал пропорциональность скорости света в зависимости от среды, через которую он проходит. Однако, поскольку скорость света согласно второму постулату СТО у Эйнштейна  конечна и является постоянной, то, чтобы сохранить равенство в уравнении кинетической энергии,  он сделал переменной величиной массу. Иначе формула теряла смысл, поскольку в правой части были только числовые значения. Причём Эйнштейн убрал из формулы коэффициент "k", который, как раз и означает, что луч света проходя через пространство НЕИЗБЕЖНО ЗАМЕДЛЯЕТСЯ! Ведь ПРОСТРАНСТВО НЕОДНОРОДНО, пылевые и газовые облака, облака инертных газов и т.д. Ну, а почему скорость света постоянная? - Это выдумка Эйнштейна. 


[
Ответить на это ]


Re: Роль математики в современном мире (Всего: 0)
от Гость на 03/10/2022
Всем смотреть интервью Игоря Острецова (7 месяцев назад)
Интересно, что предсказал умный человек.
https://youtu.be/sdVzdMy_NrY 



[
Ответить на это ]


Re: Роль математики в современном мире (Всего: 0)
от Гость на 03/10/2022
Острецов балаболит уже лет 30. Нет у них ни хрена. Прежде всего не работает богомоловский ускоритель на обратной волне. 
НЕ РАБОТАЕТ. 
А так ЭЯУ известны лет 60-70, когда еще Гольданский в Дубне опыты ставил.


[
Ответить на это ]


Re: Роль математики в современном мире (Всего: 0)
от Гость на 03/10/2022
Чтобы понять суть дела недостаточно знать уравнения Максвелла, а необходимо сознавать то, что непрерывность поля – это один его аспект, а другим является квантовая дискретность. Дуализм поля объективно проявляется и в неразрывном единстве зарядовых полярностей: (е+/е-), составляющих полевой квант – нейтрино. Дискретный характер поля выражается через векторное произведение одномерных векторов, определяющих вектор скорости света: с=е+xе-. Потенциал энергии единого поля Вселенной, очищенный от всех излишеств: Wе = ±c2. Образчик «самой простой и красивой формулы во всей истории физики» был представлен автором «Полевой физики» Олегом Репченко, который связал ее с мифической гравитацией и оставил знак минус (-c2), ограничившись масштабом галактики. На самом деле существует единое электромагнитное поле, которое пульсирует и вся Вселенная живет в его ритме. "Мир без массы" Георгий Никольский


[
Ответить на это ]


Re: Роль математики в современном мире (Всего: 0)
от Гость на 05/10/2022
Тем временем, 
говорят что в России со всех радиостанций из репертуара вычеркнуты все песни Аллы Пугачёвой, уехавшей в Израиль. Это произошло сразу после того как стало известно, что Алла Пугачёва получила Израильское гражданство.
Алла Пугачёва обратилась к россиянам словами: " - Были холопы - стали рабы".


[ Ответить на это ]


Re: Роль математики в современном мире (Всего: 0)
от Гость на 11/10/2022
Илья Рудомилов о высшем образовании в России.
Я по www.podebrady.ru/nostrifikace/ уже почти 13 лет занимаюсь нострификацией дипломов о высшем образовании, в первую очередь из России, было это больше 1 000 дипломов. За это время перед моими глазами российская система высшего образования ушла в свободное падение что по форме оформляемых документов (из года в год они все хуже для зарубежного использования, порой в вузах прямо говорят "Мы не дадим вам справки, чтобы вы никуда не уехали"), что по программе.
Имею на руках случай - человек закончил бакалавриат по экологии, закончил магистратуру по геоэкологии, магистратуру по нефтегазовому делу, а потом еще и магистром ИТ стал. При взгляде из Чехии по меньшей мере его ИТ выглядит как полнейший бред. Как это, спросите, можно пойти на продвинутую программу ИТ, не зная основ, не имея в бакалавриате даже программирование? Но в чудесной российской системе образования филькины грамоты о "втором высшем" (точнее, о переподготовке - поэтому ее не признают в Чехии вообще никак) теперь, видимо, заменили на магистратуру. Тянут деньги, создают видимость преподавания, студенты создают видимость обучения - в итоге вуз получает деньги, студент получает кусок бумаги и все довольны.
Я как человек с 4 годами среднего ИТ-образования, 5 годами вуза в России по ИТ и 7 годами докторантуры по ИТ в Чехии смотрю на его приложение к диплому и, мягко говоря, тотально офигеваю.
Человек учился в магистратуре по ИТ не в шараге какой-то, а, внимание, в МИФИ! Специальность - "Программная инженерия". Чистейший инженерный ИТ должен быть, согласитесь. Но посмотрите на уч. план:1. Основы программирования - 2 з.е., т.е. 72 ак. часа! Для сравнения, у меня в специалитете в России лишь один предмет "Программирование на языке высокого уровня" (видимо, это был Pascal) - 260 часов. ОПП (Java, 1 семестр) - 102 часа. И далее еще целая пачка предметов по программированию.2. Дискретная математика в магистратуре, хотя везде ее изучают на первых же курсах бакалавриата? Причем те же 140 часов у меня было - второй семестр первого курса.3. Теория игр, которая на ФЕЛ идет на первом курсе бакалавриата?4. Факультатив по Python в магистратуре? Это чтобы хотя бы основы программирования магистр программной инженерии знал?5. Сетевые технологии, которые общие разработчики ПО изучают на ИТ в общем бакалавриате на курсе дай Бог третьем?и т.д.
Для сравнения, рекомендованный уч. план магистратуры по разработке на ФЕЛ приведен на https://fel.cvut.cz/cz/education/bk/pruchody/pr958758520305.html и включает в себя:1. Продвинутая алгоритмизация2. Системы баз данных 2. Внимание на цифру 2 - значит, это вообще продолжающий предмет, первая часть была в бакалавриате.3. Обеспечение качества ПО4. Теория алгоритмов5. Комбинаторная оптимизация6. Архитектура ПО7. Безопасность систем
Практически все - чисто инженерные дисциплины. В то время как в МИФИ "Программная инженерия" - это большей частью демагогия.
Для поступления в эту чешскую магистратуру надо сдать https://oi.fel.cvut.cz/res/cdn-ljr0u/pages/files/170-zp-prij-vzor-oi-mag.pdf Я сомневаюсь, что бакалавр экологии подобное сдаст. А это лишь поступление - в Чехии на тех. специальности примитивное поступление, жара начинается с первых недель учебы, втягиваться и раскачиваться времени нет.
Я не вникал в состав учебных планов МИФИ, я не учился в российской магистратуре (наш год был последним годом специалитета), но у меня откровенно удручающий взгляд на этот балаган. Я не представляю, как бы к нам на эдак 4-й курс специалитета в российском вузе пришел человек с даже соседней кафедры и справился с нагрузкой - это немыслимо.
Ныне в России в магистратуре дают какие-то знания бакалавриата, приправленные пафосными "манагерскими" предметами с общепринятой в России демагогией с, видимо, рефератами из Интернетов. Это не инженерное образование. Чтобы быть инженером, врачом или каким бы то ни было иным специалистом выше "эффективного манагера в Газпроме", невозможно за 2 года освоить знания - даже 5 лет сугубо профильн

Прочитать остальные комментарии...


[ Ответить на это ]


Re: Роль математики в современном мире (Всего: 0)
от Гость на 14/10/2022
 "Апспирантура в России - пара лет, а в Чехии - 6-8 лет" - да чехи просто туповатые, вот и весь сказ. Да, работал с чехами, могут программировать, но только то, что им скажешь, если все разжуешь, а так - да почти полные нули."Не может априори человек с экологии пойти на ИТ в магистратуру в нормальной стране" - это только подтверждение тупости чехов. В России люди самостоятельно, еще в школе, за полгода изучают то, что чехи за 6-8 лет в их аспирантуре или докторантуре. Слишком много теории и практически никакого возможного применения. "Ученый муж нередко лицемерит, тогда как опыт к знанию приводит", - так что "докторанты" из чехии - это выпускники 4-ого курса МИФИ, не больше. Учатся, учатся, а толку никакого."Я не вникал в состав учебных планов МИФИ, я не учился в российской магистратуре (наш год был последним годом специалитета), но у меня откровенно удручающий взгляд на этот балаган", я не учился, не вникал, но...осуждаю. Ну и что можно после таких слов сказать о человеке? -Только одно -пустышка."Я не представляю, как бы к нам на эдак 4-й курс специалитета в российском вузе пришел человек с даже соседней кафедры и справился с нагрузкой - это немыслимо" - куда уж вам это представить, мозгов не хватает, а если не хватает, то хоть в магистратурах, аспирантурах, докторантурах учись - не будет никакого толка."Поэтому в Чехии офигевают от российских инноваций" -ну и что им остается делать, только офигевать. Они и раньше офигевали, когда понашим лицензиям делали оборудование для ВВЭР, и сейчас продолжают офигевать."В России продается все и вся, клепают дипломы как на конвейере. Могут за 2 года сделать что магистра космических летательных аппаратов из переводчика испанского, что магистра строительства из эколога." - ну и что здесь криминального, могут и наоборот из магистра летательных аппаратов сделать переводчика не только с испанского, а из эколога без проблем строителя. Этоже русские, а не чехи. " А потом удивляются, почему ракеты не летают и дома падают" - а какие ракеты летают у чехов, хоть один пример приыедите. А что, у чехов дома не падают, да сколько угодно. Да и вообще, что такое чехия, так, племя среднеевропейское, а ты туда и смылся, т.к. в Росии учиться не смог. В чехии ничего не надо делать, смысла нет. Ничего своего нет, только овощи да фрукты, все остальное - им дадут, они на дотации до сих пор, только сменили Россиию на Европу. Что им остантся, только учиться "чему-нибудь и как-нибудь", до рот разевать настолько насколько их хозяева позволят, самостоятельности-то нет никакой. Это страна Чунга-Чанга из детской песни, им только одно и остается, "есто какосы и жевать бананы" пока позволяют. "школу ведь нельзя сделать хотя бы 12-летней в России" - пошли мы на поводу и 10-летку сменили на 11-летку, а надо было на 9-летку сменить. 12 лет только для дебилов западных, да и то им этого мало. Ну тут ничего не поделаешь, если ума нет у родителей, то откуда он появится у детей.Так что уехал к чехам - сиди там и максимум на что способен со своей чешской докторантурой - читать чужие дипломы. Ну что ж, хоть читать умеешь, этого для тебя, нового чеха, достаточно.


[
Ответить на это ]






Информационное агентство «ПРоАтом», Санкт-Петербург. Тел.:+7(921)9589004
E-mail: info@proatom.ru, Разрешение на перепечатку.
За содержание публикуемых в журнале информационных и рекламных материалов ответственность несут авторы. Редакция предоставляет возможность высказаться по существу, однако имеет свое представление о проблемах, которое не всегда совпадает с мнением авторов Открытие страницы: 0.10 секунды
Рейтинг@Mail.ru