Rohit Jivanlal Parikh

rdf:langString Rohit Jivanlal Parikh

rdf:langString Rohit Jivanlal Parikh (* 20. November 1936 in Palanpur, damals Britisch-Indien, heute in Gujarat, Indien) ist ein indisch-US-amerikanischer mathematischer Logiker und Informatiker. Parikh studierte Physik und Mathematik an der Harvard University mit dem Bachelor-Abschluss 1957 (A.B.) und 1959 (A. M.) und der Promotion bei Hartley Rogers 1962 (Recursive Well Orderings and Transfinite Progressions). Als Student nahm er erfolgreich am Putnam-Wettbewerb teil (Gewinner 1955, 1956, 1957) und wurde 1957 Putnam Fellow. 1961 bis 1963 war er Instructor an der Stanford University, 1964/65 Reader an der Panjab University und 1965 bis 1967 Lecturer an der University of Bristol. 1967 war er kurz am Caltech und wurde im selben Jahr Associate Professor an der Boston University, an der er 1972 Professor wurde. 1982 wurde er Distinguished Professor am Brooklyn College der CUNY. 1971/72 war er Visiting Associate Professor der State University of New York at Buffalo, 1974 Gastprofessor in Stanford, 1978 Gastwissenschaftler in Berkeley, 1979 an der ETH Zürich, 1981 am Courant Institute und 1977 bis 1982 Gastwissenschaftler am Massachusetts Institute of Technology (Lab for Computer Science). 1971 und 1979 war er am Tata Institute of Fundamental Research. Parikh befasst sich mit mathematischer Logik, Theorie rekursiver Funktionen, Beweistheorie, formalen Sprachen, Nichtstandard-Analysis, , Ultrafinitismus, Spieltheorie, Logik von Wissen und Programmen, philosophischer Logik und Sprachphilosophie, Meinungsänderungen (Belief revision) und das von ihm begründete Gebiet sozialer Software, das heißt Untersuchung sozialer Vorgänge mit Mitteln aus Informatik, Logik und Spieltheorie. 1961 bewies er den Satz von Parikh: Kontextfreie Sprachen haben dieselbe Häufigkeitsverteilung von Terminalsymbolen wie reguläre Sprachen. Eine Folge des Satzes ist, dass einige kontextfreie Sprachen mehrdeutige Grammatiken haben müssen. Er gilt mit einer Arbeit aus dem Jahr 1971 als Begründer der beschränkten Arithmetik (bounded arithmetic), das heißt abgeschwächten Versionen der Peano-Arithmetik, in der zum Beispiel die Quantoren beschränkt sind. 2000 bis 2003 war er Herausgeber des Journal of Philosophical Logic. 1968 bis 1994 war er mit Carol Geris verheiratet, die unter anderem eine Biographie von Oscar Zariski schrieb. In Zusammenhang mit den Debatten über illegale Einwanderung in die Vereinigten Staaten geriet er im Oktober 2018 in die öffentliche Kritik, nachdem er sich in einem Facebook-Posting kritisch über Einwanderer aus Lateinamerika ausgesprochen hatte.