Biography:Rohit Jivanlal Parikh

From HandWiki
Rohit Jivanlal Parikh
Parikh in 2004
Alma materHarvard University, PhD Mathematics, 1962; Harvard College, AB with highest honors in Physics, 1957
Known forWork on recursion theory, proof theory, non-standard analysis, ultrafinitism, dynamic logic, logic of knowledge, philosophical logic, social software, Parikh's theorem
AwardsWilliam Lowell Putnam Mathematical Competition Prize Winner, 1955, 1956, 1957;[1] William Lowell Putnam Fellow 1957;[2]
Scientific career
FieldsMathematics, logic, philosophy, computer sciences, economics
InstitutionsBrooklyn College
CUNY Graduate Center
Doctoral advisorHartley Rogers, Jr
Burton Dreben
Doctoral students

Rohit Jivanlal Parikh is an Indian-American mathematician, logician, computer scientist and philosopher known for his contributions to mathematical logic, recursion theory, proof theory, epistemic logic, game theory, formal languages, and social software.[3] and David Ellerman.[4] He is a Distinguished Professor at Brooklyn College at the City University of New York (CUNY).[5]

Early life and education

He completed his undergraduate studies at Harvard College, graduating magna cum laude with honors in physics in 1957.[6] He earned his Ph.D. in mathematics from Harvard University in 1962 under the supervision of Hartley Rogers Jr and Burton Dreben.[3]

Parikh was selected as a Fellow of Harvard University.[3]

Academic career

Parikh served on the faculty of Boston University from 1967 to 1982 before joining the City University of New York (CUNY), where he was appointed Distinguished Professor in 1982. He held this title until 2023.[7]

Parikh has been affiliated with the fields of computer science, mathematics, and philosophy. Earlier in his career he taught at Panjab University in India during 1964–1965.[citation needed] His academic appointments include visiting and research positions at Stanford University, Massachusetts Institute of Technology (MIT) Laboratory for Computer Science, Courant Institute of Mathematical Sciences at New York University, ETH Zurich, Tata Institute of Fundamental Research, SUNY Buffalo, Panjab University, and Bristol University.[citation needed]

Parikh is also one of the founders of the Indian Conference on Logic and Applications (ICLA).[8]

Research

Parikh’s early work made contributions to recursion theory, proof theory, and formal languages.[7] He is particularly known in theoretical computer science for work related to Parikh’s theorem, which concerns the commutative image of context-free languages and their semi-linear sets.[9] His interests expanded over time to include non-standard analysis, logic of programs, epistemic logic (logic of knowledge), belief revision, and game theory.[10] Parikh is also recognized for advancing the interdisciplinary field of “social software,” which applies logical, computational, and game-theoretic techniques to analyze social procedures and algorithms such as elections, communication protocols, and decision-making systems.[10][11]

Personal life and politics

Rohit Parikh was married from 1968 to 1994 to Carol Parikh (née Geris), who is best known for her stories and biography of Oscar Zariski, The Unreal Life of Oscar Zariski.[citation needed]

Parikh is a nontheist opposing abortions. To fight abortions he joined the Atheist and Agnostic Pro-Life League.[12]

Awards and recognition

  • William Lowell Putnam Mathematical Competition Prize Winner, 1955,[13] 1956,[14] 1957[1]

Publications

  • Existence and Feasibility in Arithmetic, Journal of Symbolic Logic 36 (1971) pages 494–508.
  • On the Length of Proofs, Transactions of the American Mathematical Society 177 (1973) pages 29–36.
  • (With M. Parnes) Conditional Probability can be Defined for Arbitrary Pairs of Sets of Reals, Advances in Mathematics 9 (1972) pages 520–522.
  • (With D.H.J. de Jongh) Well Partial Orderings and Hierarchies, Proc. Kon. Ned. Akad. Sci Series A 80 (1977) pages 195–207.
  • (With D. Kozen) An Elementary Completeness Proof for PDL Theoretical Computer Science 14 (1981) pages 113–118.
  • The Problem of Vague Predicates, in Logic, Language and Method Ed. Cohen and Wartofsky, Reidel (1982) pages 241–261.

References

  1. ↑ 1.0 1.1 L. E. Bush (August–September 1957). "The William Lowell Putnam Mathematical Competition". 64. Taylor & Francis. p. 486. https://www.jstor.org/stable/2308455. 
  2. ↑ "Putnam Competition Individual and Team Winners". Mathematical Association of America. http://www.maa.org/programs/maa-awards/putnam-competition-individual-and-team-winners. 
  3. ↑ 3.0 3.1 3.2 "Rohit Parikh – The Mathematics Genealogy Project". https://www.genealogy.math.ndsu.nodak.edu/id.php?id=26354. 
  4. ↑ "dblp: Rohit Parikh" (in en). https://dblp.org/pid/09/2064.html. 
  5. ↑ "Rohit Parikh". https://www.sci.brooklyn.cuny.edu/cis/parikh/. 
  6. ↑ Bush, L. E. (October 1955). "The William Lowell Putnam Mathematical Competition". The American Mathematical Monthly 62 (8): 558–564. doi:10.2307/2307248. http://www.jstor.org/stable/2307248. 
  7. ↑ 7.0 7.1 "Rohit Parikh" (in en-US). https://www.brooklyn.edu/faculty-staff/rohit-parikh/. 
  8. ↑ "ROHIT PARIKH". https://www.sci.brooklyn.cuny.edu/cis/parikh/gcvita.pdf. 
  9. ↑ Esparza, Javier; Ganty, Pierre; Kiefer, Stefan; Luttenberger, Michael (2011). "Parikhʼs theorem: A simple and direct automaton construction". Information Processing Letters 111 (12): 614–619. doi:10.1016/j.ipl.2011.03.019. ISSN 0020-0190. https://doi.org/10.1016/j.ipl.2011.03.019. 
  10. ↑ 10.0 10.1 Başkent, Can; Moss, Lawrence S.; Ramanujam, Ramaswamy, eds (2017). "Rohit Parikh on Logic, Language and Society". Outstanding Contributions to Logic. doi:10.1007/978-3-319-47843-2. ISSN 2211-2758. https://link.springer.com/book/10.1007/978-3-319-47843-2?error=cookies_not_supported&code=8253b4d5-36ee-4e54-ad75-0ef43838f299. 
  11. ↑ "Why mathematicians want to destroy infinity – and may succeed" (in en-US). New Scientist. https://www.newscientist.com/article/2489813-why-mathematicians-want-to-destroy-infinity-and-may-succeed/. 
  12. ↑ "Atheist and Agnostic Pro-Life League Member List". 31 December 2006. http://www.godlessprolifers.org/members.html. 
  13. ↑ Bush, L. E. (October 1955). "The William Lowell Putnam Mathematical Competition". The American Mathematical Monthly 62 (8): 558–564. doi:10.2307/2307248. http://www.jstor.org/stable/2307248. 
  14. ↑ "The Sixteenth Annual William Lowell Putnam Mathematical Competition" (in en). The American Mathematical Monthly 62 (10): 756–758. December 1955. doi:10.1080/00029890.1955.11988735. ISSN 0002-9890. https://www.tandfonline.com/doi/full/10.1080/00029890.1955.11988735. 



Retrieved from "https://handwiki.org/wiki/index.php?title=Biography:Rohit_Jivanlal_Parikh&oldid=4295964"