#1 24.09.07 16:33
[НГТУ] Ученый (Судоплатов С.) НГТУ решил сложную задачу из матлогики
[24.09] http://news.ngs.ru/more/31278
Доцент кафедры алгебры и математической логики факультета прикладной математики и информатики НГТУ Сергей Судоплатов решил проблему Лахлана, известную в математической логике с 1970 г., сообщили в пресс-центре НГТУ.
Как пояснили в пресс-центре вуза, проблема Лахлана относится к синтаксису и семантике в математической логике. Сергей Судоплатов еще студентом начал заниматься проблемой Лахлана, с этой темой связана его дипломная работа и кандидатская диссертация. Основные предпосылки решения проблемы Лахлана Сергей Судоплатов изложил в своей докторской диссертации, которую защищал в марте 2007 г.
Решение проблемы Лахлана основано на базе развития современных тонких методов теории моделей и созданного новосибирским ученым нового раздела теоретико-модельной алгебры – полигонометрии групп. Решение изложено в цикле из семи статей, три из которых уже опубликованы, а остальные будут опубликованы в ближайшее время в журналах «Сибирский математический журнал», «Алгебра и логика», «Математические труды».
p.s. помню мой первый заваленный экзамен был именно по его предмету. Тогда я просто неправильно прочитал вопросы и допустил некоторые механические ошибки в задачах.
Но пересдал на 4. Блин, очень рад за него. Многие его боятся, но он классный препод, и умеет хорошо объяснять :). Хотя неразговорчив :)
Offline
#4 24.09.07 19:06
Re: [НГТУ] Ученый (Судоплатов С.) НГТУ решил сложную задачу из матлогики
Из комментов на нгсе
Что то в последнее время у "ученых из НГТУ" что ни день, то сенсация. Ну и НГС нас об этом, конечно, информирует. То в НГТУ придумали "не имеющую аналогов в мире" технологию напыления для производства дисков, но не лазерных, а автомобильных. То супер нано-технология, которую у НГТУ хотят купить буржуи чтобы делать сотовые телефоны, но наши не продают. Вот теперь очередь и до фундаметальной науки дошла. Это как в Казахстане сейчас в школах преподают, что математику придумали казахи...
Скорее проблему Лахлана нужно было бы назвать "задачей Судоплатова".
Потому что Google на запросы "проблема Лахлана" и "Lachlan problem" выдает ссылки ТОЛЬКО НА СУДОПЛАТОВА. Что это за проблема такая, которой занимается только ОДИН ЧЕЛОВЕК, а именно, Судоплатов?
Offline
#5 24.09.07 20:24
Re: [НГТУ] Ученый (Судоплатов С.) НГТУ решил сложную задачу из матлогики
bezuglov написал(а):
проблема Лахлана
хм да вроде как именно проблема Лахлана
http://www.google.ru/search?q=%D0%BF%D1%80%D0%BE%D0%B1%D0%BB%D0%B5%D0%BC%D0%B0+%D0%9B%D0%B0%D1%85%D0%BB%D0%B0%D0%BD%D0%B0&ie=utf-8&oe=utf-8&aq=t&rls=org.mozilla:ru:official&client=firefox-a
Offline
#6 24.09.07 20:28
Re: [НГТУ] Ученый (Судоплатов С.) НГТУ решил сложную задачу из матлогики
Offline
#7 24.09.07 21:43
Re: [НГТУ] Ученый (Судоплатов С.) НГТУ решил сложную задачу из матлогики
bezuglov написал(а):
Это как в Казахстане сейчас в школах преподают, что математику придумали казахи...
Бесспорно. Только другие народы в это время делали компьютеры и летали в космос.
Выложите кто-нибудь суть этой проблемы Лахлана. Инета нет.
Offline
#10 25.09.07 00:03
#11 25.09.07 23:27
Re: [НГТУ] Ученый (Судоплатов С.) НГТУ решил сложную задачу из матлогики
bezuglov написал(а):
Это как в Казахстане сейчас в школах преподают, что математику придумали казахи...
придумывать и клеветать нехорошо.
Offline
#12 26.09.07 00:32
#13 26.09.07 00:54
Re: [НГТУ] Ученый (Судоплатов С.) НГТУ решил сложную задачу из матлогики
По мне, перподование в НГТУ не плохое, а преподователи понимающий народ! Я лично рад, что попал в НГТУ а не в какой то там НГУ или МГУ. Если бы все повторялось, то всеравно пошол бы в НГТУ! Единственный, большой минус, это не хватка нормальной, производственой практики, где реально можно применять свои знания((
Исправлено kai (26.09.07 00:56)
Offline
#14 26.09.07 13:03
Re: [НГТУ] Ученый (Судоплатов С.) НГТУ решил сложную задачу из матлогики
Пекарь написал(а):
Бесспорно. Только другие народы в это время делали компьютеры и летали в космос.
Я плакал...
ЧСудоплатов - молодчина! Вобще в НГТУ сейчас довольно много разработок и научных трудов близких к завершению,так что такие новости думаю еще будут довольно долго появляться(по мере завершения и публикации этих вещей)
Offline
#15 26.09.07 17:40
#16 26.09.07 20:31
#17 27.09.07 00:10
#18 27.09.07 11:56
#19 27.09.07 19:12
Re: [НГТУ] Ученый (Судоплатов С.) НГТУ решил сложную задачу из матлогики
bezuglov написал(а):
Ссылки в студию, а то так на балабольство больше смахивает
эта инфа со слов одного из профессоров РЭФа...так что ссылки давать - не в моей компетенции и имена называть тоже.
Нужа ифа официальная - сходи и попроси её.
Исправлено OsiriS (27.09.07 19:13)
Offline
#20 27.09.07 19:16
Re: [НГТУ] Ученый (Судоплатов С.) НГТУ решил сложную задачу из матлогики
OsiriS написал(а):
эта инфа со слов одного из профессоров РЭФа...
Трындеть не мешки ворочить.. вся информация о серьезных разработках выкладывается в открытых источниках. зайди на сайты институтов со ран- откроешь для себя много нового.
Фактов я не услышал, так что спор бессмысленен
Offline
