The Philosopher

Rohit Jivanlal Parikh

The face

The background

Nationality:
Indian-American
Schools:
Epistemic logic, Game theory, Formal languages
Branchs:
Recursion theory, Proof theory, Non-standard analysis, Ultrafinitism, Dynamic logic, Logic of knowledge, Philosophical logic, Social software, Mathematical logic, Computer sciences, Economics
Period:
unknown

The synopsis

Rohit Jivanlal Parikh is an Indian-American mathematician, logician, computer scientist, and philosopher, recognized for his significant contributions to mathematical logic, recursion theory, proof theory, epistemic logic, game theory, formal languages, and social software. He earned his undergraduate degree from Harvard College in 1957 and his Ph.D. in mathematics from Harvard University in 1962. Parikh held faculty positions at Boston University from 1967 to 1982 before becoming a Distinguished Professor at Brooklyn College and the CUNY Graduate Center in 1982, a position he held until 2023. His research includes work on Parikh’s theorem concerning context-free languages and semi-linear sets. He has also been instrumental in advancing the interdisciplinary field of "social software," applying logical and computational techniques to social procedures and algorithms. Parikh was married to Carol Parikh and is the father of two children.

The works