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

Эта статья поднимает множество проблем. Пожалуйста помоги Улучши это или обсудите эти вопросы на страница обсуждения. (Узнайте, как и когда удалить эти сообщения-шаблоны) Эта статья включает в себя список общих использованная литература, но он остается в основном непроверенным, потому что ему не хватает соответствующих встроенные цитаты. Пожалуйста, помогите улучшить эта статья введение более точные цитаты. (Февраль 2014 года) (Узнайте, как и когда удалить этот шаблон сообщения) Эта биографическая статья написано как резюме. Пожалуйста помогите улучшить это изменив его на нейтральный и энциклопедический. (Июнь 2020 г.) (Узнайте, как и когда удалить этот шаблон сообщения)

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

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

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

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

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

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

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

Сообщения

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

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

• Математический конкурс Уильяма Лоуэлла Патнэма Лауреат премии 1955, 1956, 1957 гг.
• Премия Гиббса, Бомбейский университет, 1954 г.

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

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

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

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

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

Этот список содержит записи, которые кажется, чтобы рекламировать предмет. Пожалуйста помоги Улучши это переписав рекламный контент из нейтральная точка зрения, а также удаление неприемлемых записей, не примечательный или не соответствуют критериям включения в этот список. (Август 2020 г.)

• Существование и выполнимость в арифметике, 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.

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

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

• Архив Париха на CUNY Philosophy Commons
• Биографические данные Рохита Париха
• Домашняя страница Бруклинского колледжа
• Интервью с Рохитом Парихом