Sergei N. Артемов
Сергей Николаевич Артемов (русский: Сергей Николаевич Артемов) | |
|---|---|
 Сергей Николаевич Артемов в Ассоциации символической логики Питтсбурга, май 2004 г. | |
| Рожденный | 25 декабря 1951 г. |
| Альма-матер | Кандидат технических наук 1980 Московский университет Доктор наук 1988 Математический институт им. Стеклова |
| Научная карьера | |
| Поля | Информатика Математика Философия |
| Учреждения | Аспирантура Городского университета Нью-Йорка Корнелльский университет Московский университет Математический институт им. Стеклова |
| Докторантура | Andrei Nikolayevich Kolmogorov |
Сергей Николаевич Артемов ( русский : Сергей Николаевич Артемов ) (родился 25 декабря 1951 г.) — российско-американский исследователь логики и ее приложений. В настоящее время имеет звание заслуженного профессора. [1] в аспирантуре Городского университета Нью-Йорка [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]
- Лекции Клиффорда, 2002 г. [7]
- Почетная лекция по информатике, Нью-Йоркская академия наук, 2002 г.
- Гала-лекция для Общества Курта Геделя, Festsaal Rathaus Vienna, 2003 г. [8]
Избранная библиография [ править ]
- С. Артемов; М. Примерка. «Логика оправдания» . В Эдварде Н. Залте (ред.). Стэнфордская энциклопедия философии (изд. осени 2011 г.).
- С. Артемов (2008). «Логика оправдания». Обзор символической логики . 1 (4): 477–513. дои : 10.1017/S1755020308090060 . S2CID 18167013 . Абстрактный
- С. Артемов (2008). Винсент Ф. Хендрикс; Дункан Причард (ред.). Эпистемология: 5 вопросов . Автоматическая пресса/VIP. стр. 11–19. ISBN 978-8792130075 .
- С. Артемов (2006). «Обоснованное общеизвестное» . Теоретическая информатика . 357 (1–3): 4–22. дои : 10.1016/j.tcs.2006.03.009 . Абстрактный
- С. Артемов; Е. Ногина (2005). «Введение обоснования в эпистемическую логику». Журнал логики и вычислений . 15 (6). Издательство Оксфордского университета: 1059–1073. дои : 10.1093/logcom/exi053 . Абстрактный
- С. Артемов (2001). «Явная доказуемость и конструктивная семантика» (ПС) . Бюллетень символической логики . 7 (1): 1–36. дои : 10.2307/2687821 . JSTOR 2687821 . S2CID 231796605 .
- С. Артемов; Дж. Даворен; А. Нероде (1997). Модальная логика и топологическая семантика гибридных систем (ПС) (Технический отчет). Корнелльский университет. МСИ 97-05.
- С. Артемов (1995). Операционная модальная логика (ПС) (Технический отчет). Корнелльский университет. МСИ 95-29.
- С. Артемов (1994). «Логика доказательств» . Анналы чистой и прикладной логики . 67 (2): 29–59. дои : 10.1016/0168-0072(94)90007-8 .
- С. Артемов (1985). «Неарифметичность истины предикатит логику доказуемости». Советские математические доклады . 32 (2): 403–405.
Ссылки [ править ]
- ^ Jump up to: Перейти обратно: а б «Деталь» . Архивировано из оригинала 06 сентября 2015 г. Проверено 2 декабря 2011 г.
- ^ Jump up to: Перейти обратно: а б «Биография и профили — Факультет — CUNY» . Архивировано из оригинала 15 июня 2011 г. Проверено 2 декабря 2011 г.
- ^ "Информатика" . www.gc.cuny.edu .
- ^ «ДОСКА ОБЪЯВЛЕНИЙ» . Нью-Йорк Таймс . 27 июня 2001 г. Проверено 15 февраля 2021 г.
- ^ «Сергей Артемов - Проект математической генеалогии» . Genealogy.math.ndsu.nodak.edu . Проверено 15 февраля 2021 г.
- ^ «Новости | Департамент математики Корнеллского университета искусств и наук» (PDF) . math.cornell.edu .
- ^ «Анонс лекций Клиффорда» . dauns.math.tulane.edu .
- ^ «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_ 217607bdb05653d6d0505e826e99713e
| Международный | |
|---|---|
| Национальный | |
| академики | |
