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

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

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

Биография

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

Сотрудник Ленинградского отделения Математического института имени В. А. Стеклова (ЛОМИ).

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

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

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

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

Библиография

Научные статьи

  • Минц Г. Е. Независимость постулатов натуральных исчислений // Записки научных семинаров ПОМИ. – 1968. – Т. 8. – С. 192-195.

Примечания

  1. 1 2 3 4 Grigori E. Mints // http://catalogo.pusc.it/auth/53888
  2. 1 2 3 4 5 Minc, Grigorij Jefimovič // Чешская национальная авторитетная база данных
  3. ↑ Mathematics Genealogy Project (англ.) — 1997.
  4. ↑ Каталог РНБ. Дата обращения: 21 июля 2020. Архивировано 22 июля 2020 года.
  5. ↑ О работах по системному математическому обеспечению в странах советской Балтии (1960—1990). Дата обращения: 21 июля 2020. Архивировано 21 июля 2020 года.
  6. ↑ Каталог РГБ. Дата обращения: 21 июля 2020. Архивировано 22 июля 2020 года.

Ссылки

Эта статья взята у (из) Wikipedia. Текст лицензируется по Creative Commons - Attribution - Sharealike. К медиа файлам могут применятся дополнительные условия.