Минц, Григорий Ефроимович
Григорий Ефроимович Минц | |
---|---|
Григорий Ефроимович (Ефимович) Минц (7 июня 1939, Ленинград — 29 мая 2014, Пало-Алто, Калифорния) — советский и американский учёный в области прикладной математики и логики. Иностранный член Эстонской академии наук (2008).
Биография
Окончил Ленинградский государственный университет (1961). Диссертацию кандидата физико-математических наук защитил в 1965 году под руководством Н. А. Шанина[1].
Сотрудник Ленинградского отделения Математического института имени В. А. Стеклова (ЛОМИ).
С 1980 года жил и работал в Таллине, научный сотрудник Института кибернетики АН Эстонской ССР[2].
Доктор физико-математических наук, тема диссертации «Преобразования доказательств и синтез программ» (1988)[3].
С 1991 года — профессор отделения философии Стенфордского университета.
Автор трудов по логике и философии математики.
Примечания
- ↑ Каталог РНБ . Дата обращения: 21 июля 2020. Архивировано 22 июля 2020 года.
- ↑ О работах по системному математическому обеспечению в странах советской Балтии (1960—1990) . Дата обращения: 21 июля 2020. Архивировано 21 июля 2020 года.
- ↑ Каталог РГБ . Дата обращения: 21 июля 2020. Архивировано 22 июля 2020 года.