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

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

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

Исследовать

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

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

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

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

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

Сообщения

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

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

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

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

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

  • Заслуженный профессор Городского университета Нью-Йорка (Бруклинский колледж и аспирантский центр 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.
  • (Совместно с М. Парнесом) Условная вероятность может быть определена для произвольных пар множеств действительных чисел, Adv. Математика. 9 (1972) 520–522.
  • (Совместно с Д.Х. де Йонгом) 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.

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

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