Rohit Parikh

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

Rohit Jivanlal Parikh
Naissance
Palanpur, maintenant Gujarat, Inde
Nationalité Indien, américain
Résidence États-Unis
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.

Prix et récompenses

Publications (sélection)

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

Références

Liens externes

  • Portail des mathématiques
  • Portail de la logique
  • Portail de l'informatique théorique
  • Portail des États-Unis
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.