Grigori

Grigori Mints

#60,585
Most Influential Person Now

Russian mathematician

Grigori Mints's Academic­Influence.com Rankings

Grigori Mints
Mathematics
#6255
World Rank
#8699
Historical Rank
mathematics Degrees
Download Badge
  • Mathematics

Grigori Mints's Degrees

Why Is Grigori Mints Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Grigori Mints was a Russian philosopher and mathematician who worked in mathematical logic. He was born in Leningrad, in the Soviet Union , and received his Ph.D. in 1965 from the Leningrad State University under Nikolai Aleksandrovich Shanin with a thesis entitled "On Predicate and Operator Variants for Building Theories of Constructive Mathematics". In 1990 he received his D.Sc. from Leningrad State University with a thesis entitled "Proof Transformations and Synthesis of Programs". He was a Stanford University professor. Since 1991, Grigori "Grisha" Mints was a professor of philosophy and, by courtesy, of mathematics and of computer science at Stanford University. Before joining Stanford, Mints held research positions at the Steklov Mathematical Institute, Leningrad University, and the Estonian Academy of Sciences.

Other Resources About Grigori Mints

What Schools Are Affiliated With Grigori Mints?

Grigori Mints is affiliated with the following schools: