Rohit Jivanlal Parikh (né le ) est un mathématicien, logicien et philosophe, distinguished professor à l'Université de la ville de New York depuis 1982Curriculum Vitæ de Rohit Parikh...
Recherche 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 , 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. 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’, une famille de sous-théories faibles de l’arithmétique de Peano et la logique de jeux.
Prix et récompenses Lauréat de la William Lowell Putnam Mathematical Competition 1955, 1956, 1957 Prix Gibbs, Université de Mumbai, 1954
Publications (sélection)
. . .
. . . (28 pages)
Références
Liens externes Curriculum Vitæ de Rohit Parikh Brooklyn College Page personnelle
Catégorie:Naissance en novembre 1936 Catégorie:Logicien américain Catégorie:Étudiant de l'université Harvard Catégorie:Théoricien des jeux Catégorie:Philosophe américain du XXe siècle Catégorie:Personnalité en informatique théorique