НГУ

Форумы НГУ
Текущее время: Сб окт 19, 2019 10:13 pm

Часовой пояс: UTC + 7 часов




Начать новую тему Ответить на тему  [ Сообщений: 7 ] 
Автор Сообщение
СообщениеДобавлено: Вт сен 25, 2007 2:53 pm 
Не в сети
Непрерывный писатель

Зарегистрирован: Пт сен 07, 2001 7:00 am
Сообщения: 2844
Откуда: Станислав Березнюк
http://news.ngs.ru/more/31278.php

Ученый НГТУ решил сложную задачу по матлогике

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

Как пояснили в пресс-центре вуза, проблема Лахлана относится к синтаксису и семантике в математической логике. Сергей Судоплатов еще студентом начал заниматься проблемой Лахлана, с этой темой связана его дипломная работа и кандидатская диссертация. Основные предпосылки решения проблемы Лахлана Сергей Судоплатов изложил в своей докторской диссертации, которую защищал в марте 2007 г.

Решение проблемы Лахлана основано на базе развития современных тонких методов теории моделей и созданного новосибирским ученым нового раздела теоретико-модельной алгебры – полигонометрии групп. Решение изложено в цикле из семи статей, три из которых уже опубликованы, а остальные будут опубликованы в ближайшее время в журналах «Сибирский математический журнал», «Алгебра и логика», «Математические труды».

НГС.НОВОСТИ

_________________
Мордор жил, Мордор жив, Мордор будет жить!


Вернуться к началу
 Профиль  
 
 Заголовок сообщения:
СообщениеДобавлено: Вт сен 25, 2007 6:36 pm 
Не в сети
Плодовитый автор

Зарегистрирован: Сб мар 18, 2006 10:52 pm
Сообщения: 742
Откуда: Алексей Салмин
Блин, вот это новость, приятно слышать. Он у нас в школе лекции читает, надо будет зайти поздравить :)


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Вт сен 25, 2007 6:59 pm 
Не в сети
Непрерывный писатель

Зарегистрирован: Пт июн 18, 2004 10:34 pm
Сообщения: 4435
Откуда: Сергей Подзоров
Цитата:
Как пояснили в пресс-центре вуза, проблема Лахлана относится к синтаксису и семантике в математической логике.


Как меня умиляют эти "пояснения пресс-центра" :)

_________________
Don't let the sun blast your shadow
Don't let the milk float ride your mind


Вернуться к началу
 Профиль  
 
 Заголовок сообщения:
СообщениеДобавлено: Ср сен 26, 2007 2:22 am 
Не в сети
Непрерывный писатель

Зарегистрирован: Пт сен 07, 2001 7:00 am
Сообщения: 2844
Откуда: Станислав Березнюк
Меня ещё больше умилило обсуждение этой самой новости на НГС.РУ :)

_________________
Мордор жил, Мордор жив, Мордор будет жить!


Вернуться к началу
 Профиль  
 
 Заголовок сообщения:
СообщениеДобавлено: Чт сен 27, 2007 12:23 pm 
Не в сети
Опытный автор

Зарегистрирован: Сб окт 14, 2006 1:00 am
Сообщения: 628
Откуда: Максим
В одном из найденных интервью прозвучали слова "филдсовская медаль". Но журналист их употребил в контексте так, что я не смог понять насколько важна и сложна проблема, чтобы вручать такую награду. Тут всё-таки логиков много. Поэтому хотелось бы услышать ответ на вопрос: "а если бы Судоплатову было чуть меньше лет, ему бы могли дать филдсовскую за решение проблемы Лахлана?"


Вернуться к началу
 Профиль  
 
 Заголовок сообщения:
СообщениеДобавлено: Вс сен 30, 2007 6:12 pm 
Не в сети
Весьма плодовитый автор

Зарегистрирован: Вс ноя 21, 2004 6:01 pm
Сообщения: 1944
Забавно: http://community.livejournal.com/ru_math/560202.html


Вернуться к началу
 Профиль  
 
 Заголовок сообщения:
СообщениеДобавлено: Вт окт 02, 2007 7:47 pm 
Не в сети
Весьма плодовитый автор

Зарегистрирован: Чт сен 27, 2001 7:00 am
Сообщения: 1637
В сообществе ru_math местами что попало написано. Вот прокомментирую:

1. Решённая проблема: для каждого натурального n>1 доказано, что существует стабильная теория (первого порядка), у которой число неизоморфных счётных моделей равно n.

2. Проблема действительно давно поставленная, в теории моделей хорошо известная, С.В.Судоплатов молодец. Значимость её для математики в целом оценить немножко сложнее, так как для этого нужно оценить значимость самой теории моделей и т.п., в эти тонкие материи мы погружаться не станем.

3. Доказательство в журналах пока не опубликовано (и тем самым не проверено широким кругом специалистов).

4. Не так принципиально, будет ли оно опубликовано в известном журнале и менее известном - заинтересованные специалисты доказательство всё равно найдут. Информация о решении известных проблем обычно хорошо распространяется через конференции, общение и т.д. При этом наши журналы, СМЖ и "Алгебра и логика", переводятся на английский и покупаются многими библиотеками на Западе, доступ к ним у желающих есть.

5. В наших журналах многие статьи очень тщательно рефереруются, в известных западных иногда встречаются ошибки, я сам нашёл как то раз нашёл серьёзную ошибку в "Proceedings of the AMS", позже признанную, грубо говоря, автором. Вообще, проблема ошибок для математических текстов есть везде, так как сложные доказательства тяжело проверять.


Вернуться к началу
 Профиль  
 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 7 ] 

Часовой пояс: UTC + 7 часов


Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 1


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Перейти:  
Создано на основе phpBB® Forum Software © phpBB Group
Русская поддержка phpBB