Grigori Mints Mathematician
Grigori Mints dating history
Relationships
We have no records of past relationships for Grigori Mints.
About
Grigori Mints is a member of the following lists: 1939 births, 21st-century mathematicians and Philosophers of mathematics.
Contribute
Who is Grigori Mints dating? Grigori Mints partner, spouse list. Help us build our profile of Grigori Mints!
Login
to add information, pictures and relationships, join in discussions and get credit for your contributions.
Details
| Birthday |
7th June, 1939
|
| Birthplace |
St. Petersburg, Russia
|
| Died |
29th May, 2014
|
| Place of Death |
Palo Alto, California, US
|
| Zodiac Sign |
Gemini
|
| Occupation |
Mathematician
|
Grigori Mints (June 7, 1939 – May 29, 2014) was a Russian philosopher and mathematician who worked in mathematical logic. He was born in Leningrad, in the Soviet Union (now St. Petersburg, Russia), 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.
