| dbo:abstract
|
- 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. (de)
- Rohit Jivanlal Parikh (né le 20 novembre 1936) est un mathématicien, logicien et philosophe, distinguished professor à l'Université de la ville de New York depuis 1982. (fr)
- Rohit Jivanlal Parikh (born November 20, 1936) is an Indian-American mathematician, logician, and philosopher who has worked in many areas in traditional logic, including recursion theory and proof theory. He is a Distinguished Professor at Brooklyn College at the City University of New York (CUNY). (en)
|
| dbo:almaMater
| |
| dbo:award
| |
| dbo:birthDate
| |
| dbo:birthPlace
| |
| dbo:doctoralAdvisor
| |
| dbo:knownFor
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 10390 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:almaMater
|
- Harvard University, PhD Mathematics, 1962; Harvard College, AB with highest honors in Physics, 1957 (en)
|
| dbp:birthDate
| |
| dbp:birthPlace
|
- Palanpur, British India (en)
|
| dbp:doctoralAdvisor
| |
| dbp:field
|
- Mathematics, logic, philosophy, computer sciences, economics (en)
|
| dbp:knownFor
|
- Work on recursion theory, proof theory, non-standard analysis, ultrafinitism, dynamic logic, logic of knowledge, philosophical logic, social software, Parikh's theorem (en)
|
| dbp:name
|
- Rohit Jivanlal Parikh (en)
|
| dbp:nationality
|
- India, United States (en)
|
| dbp:prizes
|
- William Lowell Putnam Mathematical Competition Prize Winner, 1955, 1956, 1957; William Lowell Putnam Fellow 1957; Phi Beta Kappa, Harvard 1957.
Gibbs Prize, Bombay University, 1954 (en)
|
| dbp:wikiPageUsesTemplate
| |
| dbp:wordnet_type
| |
| dbp:workInstitution
| |
| dcterms:subject
| |
| gold:hypernym
| |
| schema:sameAs
| |
| rdf:type
| |
| rdfs:comment
|
- Rohit Jivanlal Parikh (né le 20 novembre 1936) est un mathématicien, logicien et philosophe, distinguished professor à l'Université de la ville de New York depuis 1982. (fr)
- Rohit Jivanlal Parikh (born November 20, 1936) is an Indian-American mathematician, logician, and philosopher who has worked in many areas in traditional logic, including recursion theory and proof theory. He is a Distinguished Professor at Brooklyn College at the City University of New York (CUNY). (en)
- 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 wu (de)
|
| rdfs:label
|
- Rohit Jivanlal Parikh (de)
- Rohit Parikh (fr)
- Rohit Jivanlal Parikh (en)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| foaf:name
|
- Rohit Jivanlal Parikh (en)
|
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |
