Astana Logic Group
Казахстанская школа теории моделей формировалась как часть более широкой советской школы математической логики и одновременно находилась в тесной связи с Сибирской школой алгебры и логики. Существенную роль в этом процессе играли постоянные научные контакты казахстанских исследователей с Новосибирским Академгородком, прежде всего с Институтом математики Сибирского отделения Академии наук СССР.
Центральной фигурой становления казахстанской школы математической логики был Асан Дабсович Тайманов. В 1960-е годы он принимал непосредственное участие в создании системы подготовки математических кадров для Казахстана. В 1968–1970 годах, работая в Алма-Ате, А.Д. Тайманов занимал должности академика-секретаря Отделения физико-математических наук Академии наук Казахской ССР, заведующего кафедрой математической логики Казахского государственного университета и директора Института математики и механики. По его инициативе были созданы структуры, сыгравшие принципиальную роль в дальнейшем развитии математической логики в Казахстане: физико-математическая школа, кафедра алгебры и математической логики КазГУ, лаборатория алгебры и математической логики, а также ряд лабораторий прикладной математики.
На современном этапе значительная часть этой научной традиции получила продолжение в Астане, прежде всего на механико-математическом факультете Евразийского национального университета имени Л.Н. Гумилева. Здесь работают представители нескольких поколений казахстанской школы математической логики, связанные между собой научным руководством, совместными исследованиями и общей исследовательской традицией.
Одновременно сохраняются связи с Новосибирской школой алгебры и логики, и развиваются связи с Китаем, Сингапур, Францией, Малайзия, США, Великобританией, формируется новое поколение исследователей в области теории моделей, алгебраической логики, теории вычислимости и приложений логики.
Именно эта концентрация исследователей и научных связей стала основанием для формирования Astana Logic Group — исследовательского сообщества, объединяющего специалистов по математической логике и смежным направлениям. Однако существование научного центра определяется не только числом работающих в одном городе исследователей. Существенными признаками сформировавшегося центра являются наличие устойчивого научного сообщества, регулярных семинаров и совместных исследований, подготовка молодых специалистов, организация международных мероприятий и способность привлекать ведущих исследователей из других научных центров.
С 2022 года астанинские логики регулярно организуют научный семинар по теории моделей. В 2023 году семинару было присвоено имя А.Д. Тайманова, что подчеркивает преемственность современной школы с традициями казахстанской математической логики.
Одним из ключевых направлений деятельности группы является организация международных научных мероприятий. Казахско-Французский коллоквиум по теории моделей, проведенный в 2022 году в Лионе, получил продолжение в 2025 году в Астане на базе ЕНУ, где его организацию осуществили астанинские логики. Казахско-Французский логический коллоквиум имеет особое историческое значение, поскольку продолжает традицию научных контактов между казахстанскими и французскими логиками, сложившуюся еще в 1990-е годы. Возобновление этой традиции в Астане показывает не только преемственность казахстанской школы, но и ее способность формировать собственную международную исследовательскую площадку.
Группа также организует Asian Logic Qurultai, направленный на развитие сотрудничества между логиками Казахстана и международным математическим сообществом.
Прикладное направление представлено Steppe Cryptology Workshop, объединяющим математическую логику, алгебру, криптологию и смежные области.
Регулярный научный семинар, преемственность исследовательской школы и проведение международных коллоквиумов и воркшопов позволяют рассматривать Astana Logic Group как формирующийся научный центр математической логики в Казахстане и Центральной Азии.
