014w: Алгоритмические представления в математике

Николай Баженов, Институт математики им. С.Л. Соболева СО РАН

Искандер Калимуллин, Казанский федеральный университет

Омега Сириус, зал «Турин»

В вычислимой (или эффективной) математике изучаются алгоритмические свойства математических объектов. Вопросы эффективности уже возникают в проблемах Гильберта (в частности, во второй и десятой проблемах), а также в работах М. Дена (начало 20-го века), инициировавшего изучение проблем слов в теории групп. В 1930-х гг. А. Тьюринг, К. Гёдель и другие исследователи разработали формальное понятие алгоритма.

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

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

Программа и тезисы докладов

Внешний сайт