Rohit Parikh

Rohit Jivanlal Parikh (né le 20 novembre 1936) est un mathématicien, logicien et philosophe, distinguished professor à l'Université de la ville de New York depuis 1982[1]^,[2].

Rohit Jivanlal Parikh

Données clés
Naissance	20 novembre 1936 Palanpur, maintenant Gujarat, Inde
Domicile	États-Unis
Nationalité	Indien, américain
Domaines	Mathématiques, logique, philosophie, informatique, économie
Institutions	Université de la ville de New York
Diplôme	Ph. D.
Formation	Université Harvard (Ph. D.) Mathématiques, 1962 ; Harvard College, A. B. avec honneurs en Physique, 1957.
Directeur de thèse	Hartley Rogers, Jr (en), Burton Dreben (en)
Étudiants en thèse	Horacio Arlo-Costa, Can Baskent, Alessandra Carbone, Samir Chopra, David Ellerman, Amy Greenwald, Pawel Krasucki, Gilbert Ndjatou, Eric Pacuit, Laxmi Parida, Shlomit Pinter, R. Ramanujam, Samer Salame, Farishta Satari, Thomas Sibley, Rick Statman, Chris Steinsvold, Maria Weiss, Ruili Ye, Mark Zelcer, Loes Olde Loohuis, Yunqi Xue, Todd Stambaugh, Jongjin Kim.
Renommé pour	Récursivité, théorie de la démonstration, analyse non standard, ultrafinitisme, logique dynamique, logique de la connaissance, logique philosophique, logiciel social, théorème de Parikh.
Distinctions	William Lowell Putnam Mathematical Competition, 1955, 1956, 1957; William Lowell Putnam Fellow 1957; Phi Beta Kappa, Harvard 1957, Prix Gibbs, Université de Mumbai, 1954

Recherche

Rohit J. Parikh a travaillé et travaille dans de nombreux domaines, notamment la logique traditionnelle, y compris la théorie de la récursivité et la théorie de la démonstration. Son attitude catholique envers la logique l'a conduit à des travaux sur des sujets comme la « vagueness » (en), l'ultrafinitisme, la révision des croyances, logique de la connaissance, théorie des jeux et logiciels sociaux. Ce dernier domaine cherche à combiner des techniques issues de la logique, l'informatique (et notamment la logique des programmes) et la théorie des jeux pour comprendre la structure d'algorithmes sociaux. Des exemples sont les élections, les transports en commun, l'enseignement magistral, les congrès scientifiques, et les systèmes monétaire, des domaines d'intérêt pour des personnes ayant un penchant pour la logique.

En informatique théorique, et notamment en théorie des langages formels, Parikh est connu pour le théorème de Parikh[3] qui dit que les langages rationnels et les langages algébriques ont même ensemble de vecteurs de fréquence de lettres ou, de manière équivalente, même image commutative. D'autres concepts, liés aux ensembles semi-linéaires, portent son nom, comme les automates de Parikh. Un autre contribution théorique est l'introduction de l’arithmétique bornée (en), une famille de sous-théories faibles de l’arithmétique de Peano et la logique de jeux.

« On Context Free Languages », Journal of the ACM, vol. 13,‎ 1966, p. 570-581 (lire en ligne).
« Existence and Feasibility in Arithmetic », Journal of Symbolic Logic, vol. 36,‎ 1971, p. 494–508.
(avec Dexter Kozen), « An Elementary Completeness Proof for PDL », Theoretical Computer Science, vol. 14,‎ 1981, p. 113–118.
(avec Andrzej Ehrenfeucht et Grzegorz Rozenberg), « Pumping lemmas for regular sets », SIAM J. Comput., vol. 10,‎ 1981, p. 536–541
« The Logic of Games and its Applications », Annals of Discrete Math., vol. 24,‎ 1985, p. 111–140.
(avec P. Krasucki), « Communication, Consensus and Knowledge », Jour. Economic Theory, vol. 52,‎ 1990, p. 178–189.
« Levels of Knowledge, Games, and Group Action », Research in Economics, vol. 57,‎ 2003, p. 267–281.
(avec Çagil Tasdemir et Andreas Witzel), « The Power of Knowledge in Games », International Game Theory Review, vol. 15, n^o 4,‎ 2013, article n^o 1340030 (DOI 10.1142/S0219198913400306) (28 pages)

Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.