[FOM] sad news

[Kreinovich, Vladik]

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/