Rohit Parikh

Rohit Jivanlal Parikh

Biographie
Naissance	20 novembre 1936 (87 ans) Palanpur, maintenant Gujarat, Inde
Nationalité	Indien, américain
Domicile	États-Unis
Formation	Université Harvard (Ph. D.) Mathématiques, 1962 ; Harvard College, A. B. avec honneurs en Physique, 1957.
Activité	Philosophe

Autres informations
A travaillé pour	Brooklyn College
Directeurs de thèse	Hartley Rogers, Burton Dreben (en)
Distinction	William Lowell Putnam Mathematical Competition, 1955, 1956, 1957; William Lowell Putnam Fellow 1957; Phi Beta Kappa, Harvard 1957, Prix Gibbs, Université de Mumbai, 1954

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].

Recherche[modifier | modifier le code]

Rohit J. Parikh a travaillé et travaille dans de nombreux domaines, notamment la logique traditionnelle, notamment 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)