Sergei Nikolaevich Artemov () (born December 25, 1951) is a Russian-American researcher in

logic Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the study of deductively valid inferences or logical truths. It examines how conclusions follow from premises based on the structure o ...

and its applications. He currently holds the title of Distinguished Professor at the

Graduate Center of the City University of New York The Graduate School and University Center of the City University of New York (CUNY Graduate Center) is a public research institution and postgraduate university in New York City. Formed in 1961 as Division of Graduate Studies at City University ...

where he is the founder and head of its research laboratory for logic and computation. His research interests include

proof theory Proof theory is a major branchAccording to , proof theory is one of four domains mathematical logic, together with model theory, axiomatic set theory, and recursion theory. consists of four corresponding parts, with part D being about "Proof The ...

and

logic in computer science Logic in computer science covers the overlap between the field of logic and that of computer science. The topic can essentially be divided into three main areas: * Theoretical foundations and analysis * Use of computer technology to aid logicians ...

optimal control Optimal control theory is a branch of control theory that deals with finding a control for a dynamical system over a period of time such that an objective function is optimized. It has numerous applications in science, engineering and operations ...

and

hybrid system A hybrid system is a dynamical system that exhibits both continuous and discrete dynamic behavior – a system that can both ''flow'' (described by a differential equation) and ''jump'' (described by a state machine, automaton, or a differ ...

automated deduction Automated theorem proving (also known as ATP or automated deduction) is a subfield of automated reasoning and mathematical logic dealing with proving mathematical theorems by computer programs. Automated reasoning over mathematical proof was a maj ...

and verification,

epistemology Epistemology is the branch of philosophy that examines the nature, origin, and limits of knowledge. Also called "the theory of knowledge", it explores different types of knowledge, such as propositional knowledge about facts, practical knowle ...

, 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 Provability logic is a modal logic, in which the box (or "necessity") operator is interpreted as 'it is provable that'. The point is to capture the notion of a proof predicate of a reasonably rich formal theory, such as Peano arithmetic. Examples ...

(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 Intuitionistic logic, sometimes more generally called constructive logic, refers to systems of symbolic logic that differ from the systems used for classical logic by more closely mirroring the notion of constructive proof. In particular, systems ...

(1995). He later offered a general logical theory of justification that renders a new, evidence-based foundation for

epistemic logic Epistemic modal logic is a subfield of modal logic that is concerned with reasoning about knowledge. While epistemology has a long philosophical tradition dating back to Ancient Greece, epistemic logic is a much more recent development with appl ...

(2007–2008). The notion of justification has been an essential element of epistemic studies since

Plato Plato ( ; Greek language, Greek: , ; born BC, died 348/347 BC) was an ancient Greek philosopher of the Classical Greece, Classical period who is considered a foundational thinker in Western philosophy and an innovator of the writte ...

, but was, prior to Artemov's work, conspicuously absent in logical models of knowledge. Artemov, along with researchers from

Stanford University Leland Stanford Junior University, commonly referred to as Stanford University, is a Private university, private research university in Stanford, California, United States. It was founded in 1885 by railroad magnate Leland Stanford (the eighth ...

and

Cornell University Cornell University is a Private university, private Ivy League research university based in Ithaca, New York, United States. The university was co-founded by American philanthropist Ezra Cornell and historian and educator Andrew Dickson W ...

, 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 Uralsk () is the name of several rural localities in Russia: * Uralsk, Republic of Bashkortostan, a '' selo'' in Uralsky Selsoviet of Uchalinsky District of the Republic of Bashkortostan * Uralsk, Orenburg Oblast, a ''selo'' in Iriklinsky Settle ...

USSR The Union of Soviet Socialist Republics. (USSR), commonly known as the Soviet Union, was a List of former transcontinental countries#Since 1700, transcontinental country that spanned much of Eurasia from 1922 until Dissolution of the Soviet ...

, now

Kazakhstan Kazakhstan, officially the Republic of Kazakhstan, is a landlocked country primarily in Central Asia, with a European Kazakhstan, small portion in Eastern Europe. It borders Russia to the Kazakhstan–Russia border, north and west, China to th ...

, in 1951 to Nikolai and Raisa Artemov, respectively a senior engineer and the manager of a technical college. He graduated from

Moscow University Moscow State University (MSU), officially M. V. Lomonosov Moscow State University,. is a public research university in Moscow, Russia. The university includes 15 research institutes, 43 faculties, more than 300 departments, and six branches. Al ...

with honors in 1975, going on to earn his Ph.D. in Mathematics in 1980. His mentor at Moscow University was Andrei Nikolaevich Kolmogorov, considered one of the greatest mathematicians of the 20th century.

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 Steklov Institute of Mathematics or Steklov Mathematical Institute () is a premier research institute based in Moscow, specialized in mathematics, and a part of the Russian Academy of Sciences. The institute is named after Vladimir Andreevich Ste ...

(Moscow) where, in 1988, he completed his

Doctor of Sciences A Doctor of Sciences, abbreviated д-р наук or д. н.; ; ; ; is a higher doctoral degree in the Russian Empire, Soviet Union and many Commonwealth of Independent States countries. One of the prerequisites of receiving a 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

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. He has also held visiting faculty positions at

, Universities of

Amsterdam Amsterdam ( , ; ; ) is the capital of the Netherlands, capital and Municipalities of the Netherlands, largest city of the Kingdom of the Netherlands. It has a population of 933,680 in June 2024 within the city proper, 1,457,018 in the City Re ...

Bern Bern (), or Berne (), ; ; ; . is the ''de facto'' Capital city, capital of Switzerland, referred to as the "federal city".; ; ; . According to the Swiss constitution, the Swiss Confederation intentionally has no "capital", but Bern has gov ...

, and

Siena Siena ( , ; traditionally spelled Sienna in English; ) is a city in Tuscany, in central Italy, and the capital of the province of Siena. It is the twelfth most populated city in the region by number of inhabitants, with a population of 52,991 ...

, 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 *Clifford Lectures, 2002 *Distinguished Lecture in Computer Science, the New York Academy of Sciences, 2002 *Gala lecture for the Kurt Goedel Society, Festsaal Rathaus Vienna, 2003

Selected bibliography

*
Abstract
*

* * * * *

References

External links

*Sergei N. Artemov's personal webpage: http://web.cs.gc.cuny.edu/~sartemov *Sergei N. Artemov at the Mathematics Genealogy Project:http://genealogy.math.ndsu.nodak.edu/id.php?id=83475 *50th birthday article: http://www.ams.org/distribution/mmj/vol1-4-2001/artemov.html *60th birthday article: http://ac.els-cdn.com/S0168007213001012/1-s2.0-S0168007213001012-main.pdf?_tid=bc0aec24-c22e-11e5-802f-00000aacb361&acdnat=1453594348_217607bdb05653d6d0505e826e99713e {{DEFAULTSORT:Artemov, Sergei N. 1951 births Living people 20th-century American mathematicians 21st-century American mathematicians CUNY Graduate Center faculty Moscow State University alumni Russian emigrants to the United States Soviet mathematicians