Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску
Сергей Николаевич Артемов (русский: Сергей Николаевич Артемов)
Родившийся( 1951-12-25 )25 декабря 1951 г. (69 лет)
Уральск , СССР
Альма-матерКандидат философских наук 1980 Московский университет , д
. Математический институт им. В. А. Стеклова, 1988 г.
Научная карьера
ПоляКомпьютерные науки
Математика
Философия
УчрежденияГородской университет Нью-Йорка, аспирантура
Корнельского университета
Московский университет Математический институт им.
В. А. Стеклова
ДокторантАндрей Николаевич Колмогоров

Сергей Николаевич Артемов ( русский : Сергей Николаевич Артемов) (родился 25 декабря 1951 года) - российско-американский исследователь логики и ее приложений. В настоящее время он имеет звание заслуженного профессора [1] на Graduate Центре в Городском университете Нью - Йорка [2] , где он является основателем и руководителем ее научно - исследовательской лаборатории для логики и вычислений. [3] [4] Его исследовательские интересы включают теорию доказательств и логику в информатике , оптимальное управление и гибридные системы , автоматизированные дедукции и проверки,эпистемология и эпистемологическая теория игр. Он наиболее известен своим изобретением логики доказательств и оправданий.

Исследование [ править ]

В области теории доказательств Артемов установил невозможность найти полную систему аксиом для логики доказуемости первого порядка (1985) и стал пионером в исследованиях логики доказательств. Его основные достижения включают решение проблемы, которая обсуждалась Геделем в 1930-х годах: Артемов предоставил семантику доказуемости для модальной логики, которая также служила формализацией семантики доказуемости Брауэра – Гейтинга – Колмогорова для интуиционистской логики (1995). Позже он предложил общую логическую теорию обоснования, которая представляет собой новую доказательную основу эпистемологической логики (2007–2008 гг.). Понятие оправдания было важным элементом эпистемических исследований со времен Платона., но до работ Артемова явно отсутствовал в логических моделях познания. Артемов вместе с исследователями из Стэнфорда и Корнелла инициировал исследования динамической топологической логики (1997), которая с тех пор стала активной областью исследований с приложениями в теории управления. В эпистемической теории игр он предложил новый, основанный на знаниях подход к рациональности (2009); в настоящее время эта работа продолжается.

Биография [ править ]

Сергей Артемов родился в Уральске , СССР , ныне Казахстан , в 1951 году в семье Николая и Раисы Артемовых, соответственно, старшего инженера и менеджера технического колледжа. В 1975 году он с отличием окончил Московский университет , защитив кандидатскую диссертацию. по математике в 1980. Его наставник в Московском университете был Андрей Николаевич Колмогоров , [5] считается одним из величайших математиков 20 века. [ необходима цитата ]

Академическая карьера [ править ]

Артемов был научным сотрудником Института проблем управления в Москве с 1978 по 1980 год, а с 1980 года - научным сотрудником Математического института им. В.А. Стеклова (Москва), где в 1988 году защитил докторскую диссертацию.степень. Он также был преподавателем кафедры математики Московского университета с 1984 г., став профессором (1993 г.), а также основателем и руководителем лаборатории логических проблем информатики (1994 г.). Артемов был редактором нескольких ведущих изданий в этой области, в том числе «Анналов чистой и прикладной логики» и серии монографий «Исследования по логике и основам математики». С 1996–2001 гг. Он был профессором математики и информатики в Корнельском университете, а с 2001 г. - заслуженным профессором Центра аспирантуры Городского университета Нью-Йорка, занимающегося информатикой, математикой и философией. [1] [2] Он также занимал должности приглашенных преподавателей в Стэнфордском университете, Университеты Амстердама., Берн , Сиена и другие академические центры.

По состоянию на 2015 год под руководством профессора Артемова было 27 кандидатов наук. диссертации.

Награды [ править ]

Стипендия Президента России для выдающихся ученых, 1994 г.
Лекция Спинозы, Европейская ассоциация логики, языка и информации , 1999 г. [6]
Clifford Lectures, 2002 г. [7]
Выдающаяся лекция по информатике, Нью-Йоркская академия наук, 2002 г.
Гала-лекция для Курта Goedel Society, Festsaal Rathaus Vienna, 2003 [8]

Избранная библиография [ править ]

1. С. Артемов, М. Фиттинг. «Логика обоснования». Стэнфордская энциклопедия философии (издание осень 2011 г.), Эдвард Н. Залта (ред.), URL = < http://plato.stanford.edu/archives/fall2011/entries/logic-justification/ >

2. С. Артемов. «Логика оправдания». Обзор символической логики. v. 1, No. 4, pp. 477–513, 2008. (Резюме: http://www.iam.unibe.ch/~kuznets/JLBibliography_abstracts.html#Art08RSL )

3. С. Артемов. «Эпистемология: 5 вопросов». Винсент Ф. Хендрикс и Дункан Причард, ред. Automatic Press / VIP 2008, стр. 11–19, 2008 г. ( ISBN  8792130070 )

4. С. Артемов. «Обоснованное общее знание». Теоретическая информатика , т. 357, стр. 4–22, 2006 г. (Аннотация: http://www.iam.unibe.ch/~kuznets/JLBibliography_abstracts.html#Art06TCS )

5. С. Артемов, Е. Ногина. «Введение оправдания в эпистемологическую логику». Журнал логики и вычислений. Oxford University Press, v. 15, No. 6, pp. 1059–1073, 2005. (Резюме: http://www.iam.unibe.ch/~kuznets/JLBibliography_abstracts.html#ArtNog05JLC )

6. С. Артемов. «Явная доказуемость и конструктивная семантика». Бюллетень символической логики, т. 7, № 1, стр. 1–36, 2001 г. (Аннотация: http://www.iam.unibe.ch/~kuznets/JLBibliography_abstracts.html#Art01BSL , также доступна полная статья в виде файла ps по этой ссылке.)

7. С. Артемов, Дж. Даворен, А. Нероде. «Модальная логика и топологическая семантика для гибридных систем». Технический отчет MSI 97-05, Корнельский университет, 1997. (Полный текст доступен в виде файла ps по адресу http://www.cs.cornell.edu/Info/People/artemov/publ.html )

8. С. Артемов. «Оперативная модальная логика». Технический отчет MSI 95-29, Корнельский университет, 1995. (Полный текст доступен в виде файла ps на http://www.cs.cornell.edu/Info/People/artemov/publ.html )

9. С. Артемов. «Логика доказательств». Анналы чистой и прикладной логики, т. 67, № 2, стр. 29–59, 1994.

10. С. Артемов. «Неарифметичность истинности предикатов логики доказуемости». Доклады СССР, т. 32, № 2, с. 403–405, 1985.

Ссылки [ править ]

  1. ^ a b [1] [ мертвая ссылка ]
  2. ^ a b [2] [ мертвая ссылка ]
  3. ^ «Информатика» . www.gc.cuny.edu .
  4. ^ "ДОСКА БЮЛЛЕТЕНИЙ" . Нью-Йорк Таймс . 2001-06-27 . Проверено 15 февраля 2021 .
  5. ^ "Сергей Артемов - Проект математической генеалогии" . Генеалогия.math.ndsu.nodak.edu . Проверено 15 февраля 2021 .
  6. ^ "Новости | Департамент математики Корнелла Arts & Sciences" (PDF) . math.cornell.edu .
  7. ^ "Объявление лекций Клиффорда" . dauns.math.tulane.edu .
  8. ^ "CSL / KGC'03 - Сергей Артемов: Назад в будущее: явная логика для компьютерных наук" . www.logic.at .

Внешние ссылки [ править ]

  • Персональная страница Сергея Николаевича Артемова: http://web.cs.gc.cuny.edu/~sartemov
  • Сергей Н. Артемов на проекте «Математическая генеалогия»: http://genealogy.math.ndsu.nodak.edu/id.php?id=83475
  • Статья в честь 50-летия: http://www.ams.org/distribution/mmj/vol1-4-2001/artemov.html
  • Статья в честь 60-летия: http://ac.els-cdn.com/S0168007213001012/1-s2.0-S0168007213001012-main.pdf?_tid=bc0aec24-c22e-11e5-802f-00000aacb361&acdnat=1453594348_217603bd8db05655655653e05e06e6e6