10:0125 сентября 200710:01
269просмотров
10:0125 сентября 2007
Доцент кафедры алгебры и математической логики факультета прикладной математики и информатики НГТУ Сергей Судоплатов решил проблему Лахлана, известную в математической логике с 1970 года.
<b>Проблема Лахлана </b>относится к синтаксису и семантике в математической логике. Сергей Судоплатов еще студентом начал заниматься проблемой Лахлана, с этой темой связана его дипломная работа и кандидатская диссертация, сообщает <a href="http://ngs.ru" target=_blank>НГС.Новости</a> Основные предпосылки решения проблемы Лахлана Сергей Судоплатов изложил в своей докторской диссертации, которую защищал в марте 2007.
<b>Решение проблемы Лахлана</b> основано на базе развития современных тонких методов теории моделей и созданного новосибирским ученым нового раздела теоретико-модельной алгебры – полигонометрии групп. Решение изложено в цикле из семи статей, три из которых уже опубликованы, а остальные будут опубликованы в ближайшее время в журналах «Сибирский математический журнал», «Алгебра и логика», «Математические труды».<br>