### Logic List Mailing Archive

## Grigori Mints (1939-2014)

From Vladik Kreinovich (30 May 2014):
--------------------------------------------------------------------------
Grigory "Grisha" Mints from Stanford University passed away earlier today.
He had been hospitalized since the last week of April for pneumonia
followed by a stroke. Grisha Mints published several books and many
papers in logic and foundations of mathematics. In particular, he had many
publications in constructive mathematics (mostly algorithmic, what is
called "Russian" style) and in intuitionistic logic
--------------------------------------------------------------------------
Grigori Mints was born on June 7, 1939 in St. Petersburg, Russia. He
obtained his BA and MS in 1961, Ph.D. in 1965, and Sc.D. in 1989, all in
mathematics, from Leningrad State University. His interests are in
mathematical logic, proof theory, constructive mathematics, automated
deduction, and foundations of mathematics. He was a Researcher in the
Steklov Institute of Mathematics, St. Petersburg 1961-1979, with Nauka and
Mir Publishers 1979-1985, and was a senior researcher in the Institute of
Cybernetics, Tallinn 1985-1991. At Stanford University he has been a
Professor of Philosophy (1991-present), of Computer Science (1992-2000)
and of Mathematics (1997-present. He has held visiting positions at UC
Berkeley (2004), Ludwig Maximilians University Munich (2005), and the Max
Planck Instutute of Mathematics (2007). He is the editor of 10 books,
author of 3 books, of more than 200 published papers, and of more than
3000 published reviews.