[FOM] sad news

Kreinovich, Vladik vladik at utep.edu
Fri May 30 00:56:25 EDT 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

See http://www.stanford.edu/~gmints/

More information about the FOM mailing list