Jump to content

Sergei N. Artemov

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by Johnpacklambert (talk | contribs) at 16:00, 16 December 2020 (removed Category:Russian mathematicians; added Category:Soviet mathematicians using HotCat). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

Sergei Nikolaevich Artemov (Russian: Сергей Николаевич Артемов)
Born (1951-12-25) December 25, 1951 (age 72)
Uralsk, USSR
Alma materPh.D 1980 Moscow University,
D.Sc. 1988 Steklov Mathematical Institute
Scientific career
FieldsComputer Science
Mathematics
Philosophy
InstitutionsCity University of New York, Graduate Center
Cornell University
Moscow University
Steklov Mathematical Institute
Doctoral advisorAndrei Nikolayevich Kolmogorov

Sergei Nikolaevich Artemov (Russian: Сергей Николаевич Артемов) (born December 25, 1951) is a Russian-American researcher in logic and its applications. He currently holds the title of Distinguished Professor[1] at the Graduate Center of the City University of New York[2] where he is the founder and head of its research laboratory for logic and computation.[3][4] His research interests include proof theory and logic in computer science, optimal control and hybrid systems, automated deduction and verification, epistemology, and epistemic game theory. He is best known for his invention of logics of proofs and justifications.

Research

In the area of proof theory, Artemov established the impossibility of finding a complete axiom system for first-order provability logic (1985) and has pioneered studies of the logic of proofs. His major accomplishments include the solution of a problem that was discussed by Gödel in the 1930s: Artemov provided a provability semantics for modal logic that also served as a formalization of the Brouwer–Heyting–Kolmogorov provability semantics for intuitionistic logic (1995). He later offered a general logical theory of justification that renders a new, evidence-based foundation for epistemic logic (2007–2008). The notion of justification has been an essential element of epistemic studies since Plato, but was, prior to Artemov's work, conspicuously absent in logical models of knowledge. Artemov, along with researchers from Stanford and Cornell, initiated studies of dynamic topological logic (1997), which has since become an active research area with applications in control theory. In epistemic game theory, he has offered a new, knowledge-based approach to rationality (2009); this is currently a work in progress.

Biography

Sergei Artemov was born in Uralsk, USSR, now Kazakhstan, in 1951 to Nikolai and Raisa Artemov, respectively a senior engineer and the manager of a technical college. He graduated from Moscow University with honors in 1975, going on to earn his Ph.D. in Mathematics in 1980. His mentor at Moscow University was Andrei Nikolaevich Kolmogorov,[5] considered one of the greatest mathematicians of the 20th century.[citation needed]

Academic career

Artemov was a researcher at the Institute of Control Sciences in Moscow from 1978–1980 and since 1980 has been a researcher at the Steklov Mathematical Institute (Moscow) where, in 1988, he completed his Doctor of Sciences degree. He has also been a faculty member at the department of mathematics of Moscow University since 1984, becoming a full professor (1993) as well as the founder and head of a laboratory of logical problems in computer science (1994). Artemov has been an editor for several leading outlets in this area, including the Annals of Pure and Applied Logic and the monograph series Studies in Logic and Foundations of Mathematics. From 1996–2001 he was a professor of mathematics and computer science at Cornell University and since 2001 has been a Distinguished Professor at the Graduate Center of the City University of New York with affiliations in computer science, mathematics, and philosophy.[6][7] He has also held visiting faculty positions at Stanford University, Universities of Amsterdam, Bern, and Siena, and other academic centers.

As of 2015, Professor Artemov has supervised 27 Ph.D. dissertations.

Awards

Russian Presidential Fellowship for Outstanding Scientist, 1994
Spinoza Lecture, European Association for Logic, Language and Information, 1999[8]
Clifford Lectures, 2002 [9]
Distinguished Lecture in Computer Science, the New York Academy of Sciences, 2002
Gala lecture for the Kurt Goedel Society, Festsaal Rathaus Vienna, 2003[10]

Selected bibliography

1. S. Artemov and M. Fitting. "Justification Logic." The Stanford Encyclopedia of Philosophy (Fall 2011 Edition), Edward N. Zalta (ed.), URL = <http://plato.stanford.edu/archives/fall2011/entries/logic-justification/>

2. S. Artemov. "The Logic of Justification." The Review of Symbolic Logic. v. 1, No. 4, pp. 477–513, 2008. (Abstract: http://www.iam.unibe.ch/~kuznets/JLBibliography_abstracts.html#Art08RSL)

3. S. Artemov. "Epistemology: 5 Questions." Vincent F. Hendricks and Duncan Pritchard, eds. Automatic Press/VIP 2008, pp. 11–19, 2008. (ISBN 8792130070)

4. S. Artemov. "Justified common knowledge." Theoretical Computer Science, v. 357, pp. 4–22, 2006. (Abstract: http://www.iam.unibe.ch/~kuznets/JLBibliography_abstracts.html#Art06TCS)

5. S. Artemov and E. Nogina. "Introducing justification into epistemic logic." Journal of Logic and Computation. Oxford University Press, v. 15, No. 6, pp. 1059–1073, 2005. (Abstract: http://www.iam.unibe.ch/~kuznets/JLBibliography_abstracts.html#ArtNog05JLC)

6. S. Artemov. "Explicit provability and constructive semantics." The Bulletin of Symbolic Logic, v. 7, No.1, pp. 1–36, 2001. (Abstract: http://www.iam.unibe.ch/~kuznets/JLBibliography_abstracts.html#Art01BSL, full article also available as a ps file at this link.)

7. S. Artemov, J. Davoren and A. Nerode. "Modal logics and topological semantics for Hybrid Systems." Technical Report MSI 97-05, Cornell University, 1997. (Full text available as a ps file at http://www.cs.cornell.edu/Info/People/artemov/publ.html)

8. S. Artemov. "Operational modal logic." Technical Report MSI 95-29, Cornell University, 1995. (Full text available as a ps file at http://www.cs.cornell.edu/Info/People/artemov/publ.html)

9. S. Artemov. "Logic of Proofs." Annals of Pure and Applied Logic, v. 67, No. 2, pp. 29–59, 1994.

10. S. Artemov. "Non-arithmeticity of truth predicate logics of provability." Soviet Mathematics Doklady, v. 32, No. 2, pp. 403–405, 1985.

References

  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. ^ Artemov's appointment in the New York Times https://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
Retrieved from "https://en.wikipedia.org/w/index.php?title=Sergei_N._Artemov&oldid=994603393"