Григорий Ефроимович (Ефимович) Минц () — советский и американский учёный в области прикладной математики и логики. Иностранный член Эстонской академии наук (2008).
Биография Окончил Ленинградский государственный университет (1961). Диссертацию кандидата физико-математических наук защитил в 1965 году под руководством Н. А. Шанина.
Сотрудник Ленинградского отделения Математического института имени В. А. Стеклова (ЛОМИ).
С 1980 года жил и работал в Таллине, научный сотрудник Института кибернетики АН Эстонской ССР.
Доктор физико-математических наук, тема диссертации «Преобразования доказательств и синтез программ» (1988).
С 1991 года — профессор отделения философии Стенфордского университета.
Автор трудов по логике и философии математики.
Библиография
Научные статьи Минц Г. Е. Независимость постулатов натуральных исчислений // Записки научных семинаров ПОМИ. — 1968. — Т. 8. — С. 192—195.
Примечания
Ссылки Некролог Grigori Mints. Oberwolfach Photo Collection Архив академика Ершова
Категория:Иностранные члены Эстонской академии наук Категория:Математики СССР Категория:Математики Эстонии Категория:Математики США Категория:Философы математики Категория:Логики СССР Категория:Логики США Категория:Преподаватели Стэнфордского университета Категория:Преподаватели Школы гуманитарных наук Стэнфордского университета Категория:Преподаватели кафедры философии Стэнфордского университета