Минц, Григорий Ефроимович
| Григорий Ефроимович Минц | |
|---|---|
 | |
| Дата рождения | 7 июня 1939[1] |
| Место рождения | |
| Дата смерти | 29 мая 2014[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 2 3 4 Grigori E. Mints // http://catalogo.pusc.it/auth/53888
- ↑ 1 2 3 4 5 Minc, Grigorij Jefimovič // Чешская национальная авторитетная база данных
- ↑ Mathematics Genealogy Project (англ.) — 1997.
- ↑ Каталог РНБ. Дата обращения: 21 июля 2020. Архивировано 22 июля 2020 года.
- ↑ О работах по системному математическому обеспечению в странах советской Балтии (1960—1990). Дата обращения: 21 июля 2020. Архивировано 21 июля 2020 года.
- ↑ Каталог РГБ. Дата обращения: 21 июля 2020. Архивировано 22 июля 2020 года.
Ссылки
[править | править код] | ||||
|---|---|---|---|---|
- Родившиеся 7 июня
- Родившиеся в 1939 году
- Родившиеся в Санкт-Петербурге
- Умершие 29 мая
- Умершие в 2014 году
- Умершие в Пало-Алто
- Преподаватели Стэнфордского университета
- Выпускники Санкт-Петербургского государственного университета
- Доктора физико-математических наук
- Персоналии по алфавиту
- Учёные по алфавиту
- Иностранные члены Эстонской академии наук
- Математики СССР
- Математики Эстонии
- Математики США
- Философы математики
- Логики СССР
- Логики США