Новосибирский учёный решил одну из сложнейших задач математической логики - «проблему Лахтана»
Местный ученый-математик Сергей Судоплатов нашел решение «проблемы Лахтана», сформулированной еще в 1970 году в качестве задачи в области синтаксиса и семантики математического моделирования. Основные предпосылки решения этой головоломки Сергей Судоплатов изложил в своей докторской диссертации, которую защищал весной нынешнего года. Теперь в ряде математических журналов началась публикация развернутого решения «проблемы Лахтана», для изложения которого новосибирскому ученому потребовалось написать цикл из семи статей. Сергею Судоплатову пришлось создать новый раздел теоретико-модельной алгебры, который получил название «Полигонометрия групп» чтоб решить эту математическую головоломку, сообщает n-vpered.ru.
