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

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

Дата рождения	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.

Примечания

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

Ссылки

Тематические сайты

В библиографических каталогах
BNF: 12369671j CiNii: DA04159790 GND: 172496209 ISNI: 0000000435261024 J9U: 987007441867605171 LCCN: n84801193 NKC: mub20191036292 NTA: 07484878X NUKAT: n97006890 SUDOC: 068664788 VIAF: 266334008 WorldCat VIAF: 266334008

Похожие исследовательские статьи

<span class="mw-page-title-main">Овсянников, Лев Васильевич</span>

Лев Васи́льевич Овся́нников — советский и российский математик и механик, академик АН СССР. Лауреат Ленинской премии и Государственной премии СССР.

<span class="mw-page-title-main">Санкт-Петербургское отделение Математического института имени В. А. Стеклова РАН</span>

Санкт-Петербургское отделение Математического института им. В. А. Стеклова РАН — математический институт в составе Российской академии наук.

<span class="mw-page-title-main">Математический институт имени В. А. Стеклова РАН</span> научно-исследовательская организация России

Федеральное государственное бюджетное учреждение науки Математический институт им. В. А. Стеклова Российской академии наук — российский научно-исследовательский институт в области математики, один из центров математической науки в стране. Находится в Москве.

<span class="mw-page-title-main">Шрейдер, Юлий Анатольевич</span> математик, кибернетик и философ

Ю́лий Анато́льевич Шре́йдер — советский и российский математик, кибернетик, философ, логик, специалист по информатике, методологии науки, математической лингвистике и философии религии. Кандидат физико-математических, доктор философских наук.

Ю́рий Влади́мирович Матиясе́вич — советский и российский математик, исследователь Санкт-Петербургского отделения Математического института им. В. А. Стеклова РАН, член экспертной комиссии РСОШ по математике, академик Российской академии наук, доктор физико-математических наук. Внёс существенный вклад в теорию вычислимости, завершив решение десятой проблемы Гильберта.

Лев Дми́триевич Беклеми́шев — российский математик, доктор физико-математических наук (1998), академик РАН (2019), специалист в области математической логики.

<span class="mw-page-title-main">Ильин, Арлен Михайлович</span>

Арле́н Миха́йлович Ильи́н — советский и российский математик, доктор физико-математических наук, академик Российской академии наук (2000), лауреат Государственной премии РФ (2000).

Анато́лий Илларио́нович Ширшо́в — советский учёный, математик; член-корреспондент АН СССР (1964).

Тбили́сский государственный университет имени Иванэ Джавахишви́ли — старейшее и крупнейшее высшее учебное заведение Грузии, центр науки и культуры. Основан в феврале 1918 года.

<span class="mw-page-title-main">Гузев, Михаил Александрович</span>

Михаи́л Алекса́ндрович Гу́зев — российский учёный-механик, член-корреспондент РАН (2003), академик РАН (2016).

<span class="mw-page-title-main">Воробьёв, Николай Николаевич (математик)</span> советский и российский математик

Никола́й Никола́евич Воробьёв — советский и российский математик, специалист в области алгебры, математической логики и теории вероятностей, основатель советской школы в области теории игр.

Софья Александровна Яновская — советский математик, философ, педагог, создатель советской школы философии математики.

<span class="mw-page-title-main">Кузмин, Григорий Григорьевич</span>

Григорий Григорьевич Кузмин (1917—1988) — эстонский и советский астроном, член-корреспондент Академии наук Эстонской ССР. Заслуженный деятель науки Эстонской ССР.

Анато́лий Миха́йлович Само́йленко — советский и украинский математик. С 1978 года член-корреспондент, с 1995 года академик НАН Украины. Директор Института математики НАН Украины (1988—2020).

Николай Александрович Шанин — советский математик и логик, педагог.

Назиф Гарифуллинович Хисамиев — советский и казахстанский математик, доктор физико-математических наук, профессор, крупный специалист в области вычислимых моделей и абелевых групп, действительный член (академик) республиканского общественного объединения «Казахстанская национальная академия естественных наук».

Александр Александрович Никитин — российский математик, доктор физико-математических наук, профессор, действительный член (академик) Российской академии образования (2007).

Чеслав Брониславович Лущик — советский и эстонский физик, член Эстонской академии наук (1989), заслуженный деятель науки Эстонской ССР (1988).

Сергей Серафимович Марченков — математик, доктор физико-математических наук, профессор кафедры математической кибернетики факультета вычислительной математики и кибернетики МГУ.

Сергей Николаевич Артёмов — советский учёный, доктор физико-математических наук, профессор.

Эта страница основана на статье Википедии.
Текст доступен на условиях лицензии CC BY-SA 4.0; могут применяться дополнительные условия.
Изображения, видео и звуки доступны по их собственным лицензиям.