Новосибирский ученый решил проблему Лахлана

Доцент кафедры алгебры и математической логики факультета прикладной математики и информатики НГТУ Сергей Судоплатов решил проблему Лахлана, известную в математической логике с 1970 года.

<b>Проблема Лахлана </b>относится к синтаксису и семантике в математической логике. Сергей Судоплатов еще студентом начал заниматься проблемой Лахлана, с этой темой связана его дипломная работа и кандидатская диссертация, сообщает <a href="http://ngs.ru" target=_blank>НГС.Новости</a> Основные предпосылки решения проблемы Лахлана Сергей Судоплатов изложил в своей докторской диссертации, которую защищал в марте 2007.
<b>Решение проблемы Лахлана</b> основано на базе развития современных тонких методов теории моделей и созданного новосибирским ученым нового раздела теоретико-модельной алгебры – полигонометрии групп. Решение изложено в цикле из семи статей, три из которых уже опубликованы, а остальные будут опубликованы в ближайшее время в журналах &#171;Сибирский математический журнал&raquo;, &#171;Алгебра и логика&raquo;, &#171;Математические труды&raquo;.<br>