Однажды в Доме ученых мне удалось организовать диспут на тему «Развитие геометрии в двадцатом столетии». Естественно возник вопрос: а что такое геометрия? Что произошло с геометрией в прошлом веке? Геометрия ныне одна из многих? Кого из наших современников можно назвать великим геометром?

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

Всякая надежда на создание единой математической теории, амбициозного проекта, который был предложен математиком Давидом Гильбертом в 19 веке и продолжил существовать, поддерживаемый многими, в 20 столетии, рухнула. Основы математики были далеко не столь надежными, как того хотел бы Гильберт. А Гëдель своими теоремами ясно продемонстрировал, что любая система аксиом, какой бы обширной она ни была, уязвима для возникновения невосполнимых пробелов. Попытки же восполнить их созданием более полной системы породили бы только бóльшее количество утверждений без доказательств — так что и тут возникнет необходимость в усовершенствовании системы, и так далее до бесконечности. И случилось нечто странное: математики решили не обращать на это внимания. Они посчитали, что неполнота систем не имеет непосредственного влияния на их работу.

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

Действительно ли в математике всё определяется и доказывается? Можно ли определить понятие натурального числа? Можно ли определить Натуральный Ряд (с прописной буквы)? Можно ли аксиоматически определить понятие натурального ряда (со строчной буквы)? Можно ли доказать, что Великую теорему Ферма нельзя ни доказать, ни опровергнуть? Что такое доказательство? Можно ли математику сделать понятной?

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

Доказательность — главнейшая особенность математики, науки, представляющей образцы точности рассуждений. Но понятие доказательства долгое время не имело точного математического определения. О парадоксах в теории множеств и основаниях математики — академик РАН Юрий Ершов.

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

В своей статье «Что такое математика» В. И. Арнольд писал: «Является ли математика перечислением следствий из произвольных аксиом или же ветвью естествознаия и теоретической физики, много обсуждался уже со времен Гильберта (придерживавшегося вслед за Декартом и, предвосхищая Бурбаки, первого мнения) и Пуанкаре (основателя современной математики, топологии, теории хаоса в динамических системах).» В лекции будет обсуждаться вопрос Арнольда, а заодно будет рассказано о самом Арнольде, а также о Николя Бурбаки, Давиде Гильберте, Рене Декарте и Анри Пуанкаре. И об их вкладе в науку.

В лекции будет освещена основная концепция Ньютона, согласно которой законы природы описываются на языке математического анализа (по преимуществу, на языке дифференциальных уравнений). Будет рассказано о математическом описании законов Архимеда, Галилея, Кеплера, Ферма, Гука, о началах математической физики в трудах Н. Бернулли, Эйлера, Лапласа и Фурье, о формуле сложения скоростей Эйнштейна и об уравнении Шрёдингера.