Николай Баженов, ИМ СО РАН
Искандер Калимуллин, КФУ
Александр Мельников, Victoria University of Wellington
Julia Knight, University of Notre Dame
Frank Stephan, National University of Singapore

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

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

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

Программа и аннотации докладов