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.