Сергей Н. Артемов - Википедия - Sergei N. Artemov

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

Сергей Николаевич Артемов (русский: Сергей Николаевич Артемов) (родился 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 г. - заслуженным профессором Центра аспирантуры Городского университета Нью-Йорка, занимающегося информатикой, математикой и философией.[6][7] Он также занимал должности приглашенных преподавателей в Стэнфордском университете, университетах Амстердам, Берн, и Сиена, и другие академические центры.

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

Награды

Стипендия Президента России для выдающихся ученых, 1994 г.
Лекция Спинозы, Европейская ассоциация логики, языка и информации, 1999[8]
Лекции Клиффорда, 2002 [9]
Выдающаяся лекция по информатике, Нью-Йоркская академия наук, 2002 г.
Гала-лекция для Общества Курта Гёделя, Венский фестивальный дом, 2003 г.[10]

Избранная библиография

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

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

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

4. С. Артемов. «Обоснованное общее знание». Теоретическая информатика, v. 357, pp. 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, полная статья также доступна в виде пс файл по этой ссылке.)

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

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

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

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

Рекомендации

  1. ^ http://www.gc.cuny.edu/Faculty/Recent-GC-Faculty-Appointments%5CDetail?id=3895
  2. ^ http://www.cuny.edu/about/people/faculty/bios.html?profName=sergeiartemov&profile=0
  3. ^ http://web.cs.gc.cuny.edu/~rllc/Seminar/seminar.html
  4. ^ Назначение Артемова в New York Timeshttps://www.nytimes.com/2001/06/27/nyregion/bulletin-board.html
  5. ^ http://genealogy.math.ndsu.nodak.edu/id.php?id=83475
  6. ^ http://www.gc.cuny.edu/Faculty/Recent-GC-Faculty-Appointments%5CDetail?id=3895
  7. ^ http://www.cuny.edu/about/people/faculty/bios.html?profName=sergeiartemov&profile=0
  8. ^ http://www.math.cornell.edu/News/MathMatters/MM_FA99.pdf
  9. ^ http://dauns.math.tulane.edu/~mfps/clifford.html
  10. ^ http://www.logic.at/csl03/giveabs.php?151

внешняя ссылка