Меню

Главная
Случайная статья
Настройки
Минц, Григорий Ефроимович
Материал из https://ru.wikipedia.org

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

Содержание

Биография

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

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

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

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

С 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. Страницы истории отечественных ИТ. Том 1 // Страницы истории отечественных ИТ — М.: Альпина Паблишер, 2015. — Т. 1. — С. 86. — 265 с. — 1500 экз. — ISBN 978-5-9614-4853-5
  4. Mathematics Genealogy Project (англ.) — 1997.
  5. Каталог РНБ. Дата обращения: 21 июля 2020. Архивировано 22 июля 2020 года.
  6. О работах по системному математическому обеспечению в странах советской Балтии (1960—1990). Дата обращения: 21 июля 2020. Архивировано 21 июля 2020 года.
  7. Каталог РГБ. Дата обращения: 21 июля 2020. Архивировано 22 июля 2020 года.


Ссылки
Downgrade Counter