Рохит Дживанлал Парих - Rohit Jivanlal Parikh

Рохит Дживанлал Парих
Родился (1936-11-20) 20 ноября 1936 г. (возраст 84 года)
Паланпур, Британская Индия (сейчас же Гуджарат, Индия )
НациональностьИндия, США
Альма-матерГарвардский университет, кандидат наук Математика, 1962; Гарвардский колледж, AB с высшими наградами в Физика, 1957
ИзвестенРабота над теория рекурсии, теория доказательств, нестандартный анализ, ультрафинитизм, динамическая логика, логика познания, философская логика, социальное программное обеспечение, Теорема Париха
НаградыПобедитель математического конкурса Уильяма Лоуэлла Патнэма, 1955, 1956, 1957; Сотрудник Уильяма Лоуэлла Патнэма, 1957 год; Пхи Бета Каппа, Гарвард, 1957 г., премия Гиббса, Бомбейский университет, 1954 г.
Научная карьера
ПоляМатематика, логика, философия, компьютерные науки, экономика
УчрежденияГородской университет Нью-Йорка
ДокторантХартли Роджерс младший
Бертон Дребен

Рохит Дживанлал Парих (родился 20 ноября 1936 г.) - американский математик, логик и философ, который работал во многих областях традиционной логики, включая теория рекурсии и теория доказательств. Он заслуженный профессор Бруклинский колледж на Городской университет Нью-Йорка (CUNY).

Исследование

Католическое отношение Париха к логике привело к работе над такими темами, как неопределенность, ультрафинитизм, пересмотр убеждений, логика познания, теория игры и социальное программное обеспечение (социальная процедура). Эта последняя область стремится объединить методы из логики, информатики (особенно логики программ) и теории игр для понимания структуры социальных алгоритмов. Примеры таких выборы, транспортные системы, лекции, конференции, и денежные системы, все из которых обладают свойствами, интересными для тех, кто склонен к логике.[нужна цитата ]

Теорема Париха, заявив, что обычные языки и контекстно-свободные языки имеют одинаковые наборы буквенных частотных векторов, названные его именем. Среди других его вкладов - введение ограниченная арифметика и логика игр.[нужна цитата ]

Личная жизнь и политика

Рохит Парих был женат с 1968 по 1994 год за Кэрол Парик (урожденная Герис), которая наиболее известна своими рассказами, отмеченными призами, и своей влиятельной биографией. Оскар Зариски, Нереальная жизнь Оскара Зариски. У них двое детей, Викрам (1969 г.р.) и Ума (1974 г.р.).[нужна цитата ]

В 2018 году в Facebook опубликовал сообщение Париха, призывающее к депортации всех нелегальных иммигрантов: «Я действительно считаю, что всех, кто находится здесь нелегально, следует депортировать, но что США должны поддерживать их в их родной стране».[1] Парик далее утверждает в сообщении в Facebook, что латиноамериканские иммигранты недостаточно образованы по сравнению с такими же индийскими иммигрантами, как он, что привело студентов Бруклинского колледжа к общественным протестам и призывает университет дисциплинировать его.[2] Президент Бруклинского колледжа Мишель Андерсон назвал его высказывания «противоположными фундаментальным ценностям Бруклинского колледжа».[3] Защищая свою позицию в интервью CW -аффилиат WPIX Парих утверждал, что он имел в виду не то, что латиноамериканцы в целом были глупее индейцев в целом, а скорее то, что его сравнение интеллектуальных способностей латиноамериканцев и индейцев применимо только к тем, кто иммигрировал в Соединенные Штаты. «В Индии много глупых людей, но они не приезжают сюда», - пояснил он.[2]

Сообщения

  • Редактор Международного журнала основ компьютерных наук, 1990–1995 гг.
  • Редактор журнала "Философская логика", 2000–2003 гг.

Награды и признание

Известные студенты

Среди докторантов Париха Алессандра Карбоне[4] и Дэвид Эллерман.[4]

Академические и исследовательские назначения

  • Заслуженный профессор Городского университета Нью-Йорка (Бруклинский колледж и аспирантура CUNY), с 1982 г. по настоящее время
  • Профессор математики Бостонского университета, 1972–1982 гг.
  • Приглашенный профессор математики Института Куранта, 1981 г.
  • Доцент математики Бостонского университета, 1967–1972 гг.
  • Приглашенный адъюнкт-профессор математики, SUNY в Буффало, 1971–1972 гг.
  • Преподаватель Бристольского университета, 1965–1967 гг.
  • Читатель, Пенджабский университет, 1964–1965 гг.
  • Инструктор Стэнфордского университета 1961–1963 гг.
  • Встречи в Калифорнийском технологическом институте, ETH Zurich, MIT, Стэнфорде и TIFR Bombay

Основные публикации

  • Существование и выполнимость в арифметике, Jour. Символическая логика 36 (1971) 494–508.
  • О длине доказательств, сделки амер. Математика. Soc. 177 (1973) 29–36.
  • (Совместно с М. Парнесом) Условная вероятность может быть определена для произвольных пар множеств действительных чисел, Успехи в математике 9 (1972) 520–522.
  • (Совместно с D.H.J. de Jongh) Well Partial Orderings and Hierarchies, Proc. Кон. Нед. Акад. Sci Series A 80 (1977) 195–207.
  • (Совместно с Д. Козеном) Элементарное доказательство полноты теоретической информатики PDL 14 (1981) 113–118.
  • Проблема неопределенных предикатов, в логике, языке и методе Под ред. Коэн и Вартофски, Рейдел (1982) 241–261.
  • Логика игр и ее приложения, Анналы дискретной математики, 24 (1985) 111–140.
  • (Совместно с Р. Рамануджамом) Распределенная обработка и логика знаний, в «Логике программ», конспект лекций Springer по информатике, 193 стр. 256–268.
  • Коммуникация, консенсус и знания (совместно с П. Красуцким), Jour. Экономическая теория 52 (1990) стр. 178–189.
  • Знание и проблема логического всеведения ISMIS-87 (Международный симпозиум по методологии интеллектуальных систем), Северная Голландия (1987), стр. 432–439.
  • Конечные и бесконечные диалоги, Материалы семинара по логике из информатики / Под ред. Moschovakis, публикации ИИГС, Springer 1991, стр. 481–498.
  • Нечеткость и полезность: семантика нарицательных существительных в лингвистике и философии 17 1994, 521–35.
  • Топологические рассуждения и логика познания (с Домбровски и Мосс) Анналы чистой и прикладной логики 78 (1996) 73–110.
  • Пересмотр убеждений и расщепление языка, в Proc. Логика, язык и вычисления / Под ред. Moss, Ginzburg and de Rijke, CSLI 1999, pp. 266–278 (более ранняя версия появилась в 1996 году в ходе предварительного расследования).
  • (с Самиром Чопрой), Актуальные структуры чувствительных убеждений, Анналы математики и искусственного интеллекта, 28 (1-4): 259–285 (2000).
  • Социальное программное обеспечение, Synthese, 132, сентябрь 2002 г., стр. 187–211.
  • (совместно с Йоуко Ваананеном), Конечная информационная логика, Анналы чистой и прикладной логики, 134 (2005) 83–93.
  • (Совместно с Р. Рамануджамом), Семантика сообщений, основанная на знаниях, Jour. Логика, язык и информация, 12 2003 г., 453–467.
  • Уровни знаний, игр и групповых действий, Исследования в области экономики, 57, 2003, 267–281.
  • Коста, Орасио Арло и Рохит Парих. «Условная вероятность и ошибочный вывод». Журнал философской логики 34.1 (2005): 97-119.
  • Арло-Коста, Орасио и Рохит Парих. «Две вероятности, убеждения и пересмотр убеждений: на основе итеративной кинематики убеждений». Материалы Двенадцатого Амстердамского коллоквиума. 1999 г.
  • Вайс, М. Анджела и Рохит Парих. «Полнота некоторых бимодальных логик для пространств подмножеств». Studia Logica (2002): 1-30.
  • Парих, Рохит и Адриана Ренеро. «Обоснованная истинная вера: Платон, Геттье и Тьюринг». Философские исследования наследия Алана Тьюринга. Спрингер, Чам, 2017. 93-102.

использованная литература

  1. ^ Алгар, Селим (23 октября 2018 г.). «Профессор столкнулся с негативной реакцией после того, как поставил под сомнение желательность латиноамериканских иммигрантов». New York Post. Получено 30 декабря, 2018.
  2. ^ а б Часмар, Джессика (24 октября 2018 г.). "Профессор Бруклинского колледжа подвергся критике за вопрос, являются ли латиноамериканские иммигранты тем, что" нужно Америке ".'". Вашингтон Таймс. Получено 30 декабря, 2018.
  3. ^ Кадиргамар, Сканда (6 декабря 2018 г.). «После того, как 2 профессора Бруклинского колледжа разразили ненависть, студенты хотят реституции». Нация. Получено 30 декабря, 2018.
  4. ^ а б "Рохит Парих - Проект математической генеалогии". www.genealogy.math.ndsu.nodak.edu. Получено 2019-03-16.

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