Григорий Минц

Григорий Минц
Рожденный	( 1939-06-07 ) 7 июня 1939 г. Ленинград , РСФСР , Советский Союз.
Умер	29 мая 2014 г. (29 мая 2014 г.) (74 года) Пало-Альто , Калифорния , США
Школа	Аналитическая философия
Основные интересы	Математическая логика Основы математики Теория доказательств Конструктивная математика

Григорий Минц (7 июня 1939 — 29 мая 2014) — российский философ и математик, работавший в области математической логики .Он родился в Ленинграде , в Советском Союзе (ныне Санкт-Петербург , Россия), и получил степень доктора философии. В 1965 году окончил Ленинградский государственный университет под руководством Николая Александровича Шанина с диссертацией на тему «О вариантах предикатов и операторов для построения теорий конструктивной математики». В 1990 году он получил степень доктора наук. Ленинградского государственного университета с диссертацией на тему «Доказательственные преобразования и синтез программ». Он был Стэнфордского университета профессором . С 1991 года Григорий «Гриша» Минц был профессором философии и, любезно предоставлено, математики и информатики в Стэнфордском университете. До прихода в Стэнфорд Минц занимал исследовательские должности в Математическом институте им. Стеклова , Ленинградском университете и Эстонской академии наук .

Считавшийся одним из самых выдающихся логиков в мире, Минц был увлечен применением логики в философии. Его специализация заключалась в теории доказательств – анализе структуры математических рассуждений. Минц был избран членом Эстонской академии наук в 2008 году и Американской академии искусств и наук в 2010 году.

Минц был очень активным членом руководящего комитета серии семинаров WoLLIC по логике и языку, после того как он был членом сообщества в нескольких должностях, таких как приглашенный докладчик, член ПК, председатель ПК, председатель Организационного комитета, приглашенный редактор протоколы и специальные вопросы, а также член руководящего комитета.

Избранные публикации

• Минц, Г. (2013) Замена эпсилоном для логики предикатов первого и второго порядка. «Энн. Чистая прикладная логика» 164 (6): 733-739.
• Минц Г., Ольховиков Г. В., Уркарт А. (2013) Неудача интерполяции в интуиционистской логике постоянной области. «Дж. Симб. Журнал». 78(3): 937-950.
• Минц, Г. (2013) Метод ADC поиска доказательств для интуиционистской пропозициональной естественной дедукции. Выступить в «Фестивальном сборнике А. Аврона».
• Минц, Г. (2012) Эффективное исключение вырезок для фрагмента модального мю-исчисления. «Студия Логика» 100 (1-2): 279-287.
• Минтс, Г. (2010) Формулировки без разрезов для количественной логики здесь и там. «Энн. Чистая прикладная логика» 162 (3): 237–242.
• Минтс, Г. (2008) Исключение сокращений для простой формулировки эпсилон-исчисления. «Энн. Чистая прикладная логика» 152 (1–3): 148–160.
• Минц, Г. (2006) Заметки о конструктивном отрицании. в Р. Кале и П. Шредер-Хейстере (ред.), «Семантика теории доказательств», специальный выпуск «Synthese», 2006, 148, выпуск 3, стр. 701–717.
• Минтс, Г. (2006) Устранение сокращений для простой рецептуры PAepsilon. "Электр. Заметки по теории. Информатика. Наука". 143: 159-169.
• Минтс, Г. (2006) S4 топологически завершен для (0, 1): краткое доказательство. «Логический журнал IGPL» 14 (1): 63-71.
• Минтс, Г. (2006) Устранение сокращений для S4C: практический пример. «Студия Логика» 82 (1): 121–132.
• Минц Г. и Чжан Т. (2005) Пропозициональная логика непрерывных преобразований в канторовом пространстве. «Арх. Матем. Журнал». 44(6): 783-799.
• Кремер, Ф. и Минц, Г. (2005) Динамическая топологическая логика. «Энн. Чистая прикладная логика» 131 (1–3): 133–158.
• Минц Г. и Чжан Т. (2005) Доказательство топологической полноты S4 в (0, 1). «Энн. Чистая прикладная логика» 133 (1–3): 231–245.
• Тацута М. и Минц Г. (2005) Простое доказательство сильной нормализации второго порядка с перестановочными преобразованиями. «Анн. Чистая прикладная логика» 136(1-2): 134-155
• Минтс Г. и Маскенс Р. (ред.) (2003) «Игры, логика и конструктивные множества». Издано Центром изучения языка и информации - Конспекты лекций (Книга 161), 2003 г. ISBN   978-1575864501
• Минц, Г. (2001) «Краткое введение в интуиционистскую логику» (Университетская серия по математике). Опубликовано издательством Kluwer Academic Publisher, 2001 г.
• Минц, Г. (1992) «Краткое введение в модальную логику». Опубликовано Центром изучения языка и информации - Конспекты лекций (книга 30), 1992 г. ISBN   978-0937073759
• Избранные статьи по теории доказательств (Северная Голландия), август 1992 г., ISBN   978-0444896193 , серия «Исследования по теории доказательств»)
• Минц Г. и Мартин-Лёф П. (ред.) (1990) «COLOG-88: Международная конференция по компьютерной логике», Таллинн, СССР, 12–16 декабря 1988 г., Труды - Конспекты лекций по информатике (т. .417), 1990. ISBN   978-3540523352

Внешние ссылки

• Официальный сайт Григория Минца в Стэнфордском университете
• Посвящение Григорию Минцу