29 мая умер Григорий Эфраимович Минц, профессор математики и философии Стенфордского университета с 1991 года.
Григорий Эфраимович был известным специалистом в области математической логики, членом ленинградской школы логиков, работавших в Ленинградском отделении Математического института им. В.А. Стеклова (ЛОМИ). В 80-е годы он начал активно продвигать использование логики в программировании и искусственном интеллекте (см. его переписку с Андреем Петровичем Ершовым в архиве).
В 80-е годы он переехал в Таллин, где в Институте кибернетики работал с Энном Харальдовичем Тыугу в области семантики декларативных языков программирования и синтеза программ. Григорий Эфраимович участвовал в разработке системы программирования ПРИЗ, которая стала одним из основных продуктов Временного научно-технического коллектива "СТАРТ".
Григорий Эфраимович ("Гриша") был разносторонне образованным человеком, общительным и отзывчивым. Он всегда улыбался. Его любили все.
Руководитель ВНТК СТАРТ В.Е. Котов