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