Размер шрифта:
Цвета сайта:
Изображения:
Настройки

Новосибирский государственный технический университетОфициальный сайт


Портал НГТУ / Новости

Новости


Ученый из НГТУ решил задачу, которую не могли решить в течение 30 лет

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

Лахлан является одним из ведущих мировых специалистов по математической логике. Решением проблемы, названной его именем, в течение более 30 лет занимались многие известные ученые России, Канады, Израиля, Германии, Ирана, Сербии и других стран.
Проблема Лахлана относится к синтаксису и семантике в математической логике и звучит так: «Существует ли стабильная (т.е. не имеющая бесконечного, формульно определимого линейного порядка) эренфойхтова (т.е. с конечным, но с большим единицы числом попарно неизоморфных счётных моделей) теория?».
Сергей Судоплатов еще студентом начал заниматься проблемой Лахлана, с этой темой связана его дипломная работа и кандидатская диссертация. Основные предпосылки решения проблемы Лахлана Сергей Судоплатов изложил в своей докторской диссертации, которую защищал в марте 2007 г.
Решение проблемы Лахлана основано на базе развития современных тонких методов теории моделей (усовершенствованный Судоплатовым метод Хрушовского) и на основе созданного новосибирским ученым нового раздела теоретико-модельной алгебры – полигонометрии групп.
Решение проблемы Лахлана изложено в цикле из семи статей, три из которых уже опубликованы, а остальные будут опубликованы в ближайшее время в журналах «Сибирский математический журнал», «Алгебра и логика», «Математические труды».

Информация для СМИ:

Дополнительную информацию вы можете получить у специалиста по работе со СМИ (Дарья Яшенко, тел. 346-11-21)



Дата публикации: 24.09.07



Все фоторепортажи
Все видеосюжеты
Прислать новость




Также на тему "Новости образования и науки" за последние полгода:

23.03.17 До 17 апреля принимаются заявки на участие в XI Сибирской венчурной ярмарке
Принимаются заявки на участие в XI Сибирской венчурной ярмарке, которая пройдет 20–22 июня в рамках Международного форума технологического развития Технопром–2017.

В работе ярмарки примут участие представители городской и областной администрации, руководители промышленных предприятия и фирм, руководители образовательных центров, представители российских вузов.

Для участия в ярмарке в качестве экспонента необходимо до 17 апреля 2017 г. (включительно) заполнить регистрационную форму и паспорт компании.

Дополнительная информация – на сайте мероприятия.

По вопросам подготовки заявки на участие в ярмарке обращаться к руководителю студенческого бизнес-инкубатора НГТУ, доц. кафедры менеджмента Евгении Сергеевне Горевой.
Тел. 346-20-45, эл. почта: gorevaya@corp.nstu.ru

Место проведения ярмарки: МВК "Новосибирск Экспоцентр" (ул. Станционная, 104).



Все новости за полгода     Поиск новостей


Размещение информации на странице
Данные из Информационной системы
info@ciu.nstu.ru