Григорий Минц - Grigori Mints

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

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

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

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

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

  • Минц, Г. (2013) Подстановка эпсилона для логики предикатов первого и второго порядка. "Ann. Pure Appl. Logic" 164 (6): 733-739.
  • Минц, Г., Ольховиков, Г. В., Уркхарт, А. (2013) Отказ интерполяции в интуиционистской логике постоянной области. "J. Symb. Log." 78 (3): 937-950.
  • Минц, Г. (2013) Метод ADC поиска доказательства для интуиционистской пропозициональной естественной дедукции. Появиться в «Фестивале А. Аврона».
  • Минц, Г. (2012) Эффективное устранение разрезов для фрагмента модального мю-исчисления. "Studia Logica" 100 (1-2): 279-287.
  • Минц, Г. (2010) Неограниченные формулировки для количественной логики здесь и там. "Ann. Pure Appl. Logic" 162 (3): 237-242.
  • Минц, Г. (2008) Устранение срезов для простой формулировки эпсилон-исчисления. "Ann. Pure Appl. Logic" 152 (1-3): 148-160.
  • Минц, Г. (2006) Заметки о конструктивном отрицании. в R. Kahle и P. Schroeder-Heister (ред.), «Теоретико-доказательная семантика», специальный выпуск «Synthese», 2006, 148, выпуск 3, стр. 701–717.
  • Минц, Г. (2006) Удаление разрезов для простой рецептуры PAepsilon. "Электр. Notes Theor. Comput. Sci." 143: 159-169.
  • Минц, Г. (2006) S4 топологически полна для (0, 1): краткое доказательство. «Логический журнал ИГПЛ» 14 (1): 63-71.
  • Минтс, Г. (2006) Cut Elimination для S4C: пример из практики. "Studia Logica" 82 (1): 121-132.
  • Минц Г. и Чжан Т. (2005) Логика высказываний непрерывных преобразований в канторовом пространстве. «Арх. Математика. Журнал». 44 (6): 783-799.
  • Кремер Ф. и Минц Г. (2005) Динамическая топологическая логика. «Ann. Pure Appl. Logic» 131 (1-3): 133-158.
  • Минц, Г. & Чжан, Т. (2005) Доказательство топологической полноты для S4 в (0, 1). «Ann. Pure Appl. Logic» 133 (1-3): 231-245.
  • Тацута М. и Минц Г. (2005) Простое доказательство сильной нормализации второго порядка с перестановочными преобразованиями. "Ann. Pure Appl. Logic" 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

Рекомендации

  1. ^ Григорий Минц на Проект "Математическая генеалогия"
  2. ^ Уэйкфилд, Тану (12 июня 2014 г.). «Стэнфордский профессор философии Григорий Минц, всемирно известный логик, скончался в возрасте 74 лет». News.stanford.edu. Получено 9 августа, 2014.

внешняя ссылка