Минц, Григорий Ефроимович

Григорий Ефроимович Минц
Григорий Ефроимович Минц
Дата рождения	7 июня 1939(1939-06-07)
Место рождения	Ленинград, РСФСР, СССР;
Дата смерти	29 мая 2014(2014-05-29) (74 года)
Место смерти	Пало-Алто, Санта-Клара, Калифорния, США;
Страна	СССР; Россия;
Научная сфера	аналитическая философия, математика, математическая логика, информатика[d] и кибернетика
Место работы	кафедра философии Стэнфордского университета[d]; Стэнфордский университет;
Альма-матер	СПбГУ;
Учёная степень	доктор физико-математических наук
Научный руководитель	Шанин, Николай Александрович
Сайт	grishamints.net

Григорий Ефроимович (Ефимович) Минц (7 июня 1939^[1], Ленинград — 29 мая 2014^[1], Пало-Алто, Калифорния) — советский и американский учёный в области прикладной математики и логики. Иностранный член Эстонской академии наук (2008).

БиографияПравить

Окончил Ленинградский государственный университет (1961). Диссертацию кандидата физико-математических наук защитил в 1965 году под руководством Н. А. Шанина^[4].

С 1980 года жил и работал в Таллине, научный сотрудник Института кибернетики АН Эстонской ССР^[5].

Доктор физико-математических наук, тема диссертации «Преобразования доказательств и синтез программ» (1988)^[6].

С 1991 года — профессор отделения философии Стенфордского университета.

Автор трудов по логике и философии математики.

Григорий Ефроимович Минц

Дата рождения	7 июня 1939(1939-06-07)^[1]
Место рождения	Ленинград, РСФСР, СССР
Дата смерти	29 мая 2014(2014-05-29)^[1] (74 года)
Место смерти	Пало-Алто, Санта-Клара, Калифорния, США
Страна	СССР Россия
Научная сфера	аналитическая философия^[2], математика^[2], математическая логика^[2], информатика^[d]^[2] и кибернетика^[2]
Место работы	кафедра философии Стэнфордского университета^[d] Стэнфордский университет
Альма-матер	СПбГУ
Учёная степень	доктор физико-математических наук
Научный руководитель	Шанин, Николай Александрович^[3]
Сайт	grishamints.net