astronomy

Rohit Jivanlal Parikh

Rohit Jivanlal Parikh is a astronomy topic covered in the lgStudy science library. This page brings together a partial reference excerpt, illustrations, worked examples, real-world applications and a short study plan, so you can understand Rohit Jivanlal Parikh rather than just read about it. In short: 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. He has been a Distinguished Professor at Brooklyn College at the City University of New York (CUNY) (1982-2023).

Key takeaways

Rohit Jivanlal Parikh belongs to astronomy; place it in that map before memorising details.
Learn the definition first, then one example that makes the definition concrete.
Connect Rohit Jivanlal Parikh to a quantity you can measure, compute or draw — that is where exam questions come from.
Reproduce the core statement of Rohit Jivanlal Parikh from memory before moving on to harder problems.

Reference excerpt

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. He has been a Distinguished Professor at Brooklyn College at the City University of New York (CUNY) (1982-2023).

Early life and education He completed his undergraduate studies at Harvard College, graduating magna cum laude with honors in physics in 1957. He earned his Ph.D. in mathematics from Harvard University in 1962 under the supervision of Hartley Rogers Jr and Burton Dreben. Parikh was selected as a Fellow of Harvard University.

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. 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. 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. Parikh is also one of the founders of the Indian Conference on Logic and Applications (ICLA).

Research Parikh’s early work made contributions to recursion theory, proof theory, and formal languages. 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. His interests expanded over time to include non-standard analysis, logic of programs, epistemic logic (logic of knowledge), belief revision, and game theory. 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.

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. Parikh is a nontheist opposing abortions. To fight abortions he joined the Atheist and Agnostic Pro-Life League.

Awards and recognition Gibbs Prize, Bombay University, 1954 William Lowell Putnam Mathematical Competition Prize Winner, 1955, 1956, 1957

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. Parikh, Rohit J. "On context-free languages." Journal of the ACM (JACM) 13.4 (1966): 570-581.

References

External links Parikh's archive on the CUNY Philosophy Commons Rohit Parikh's Curriculum Vitae Brooklyn College home page An Interview with Rohit Parikh

Illustrations

Worked examples

Example 1 — a first encounter with Rohit Jivanlal Parikh

Start with the simplest possible case. Write down what Rohit Jivanlal Parikh claims or describes in one sentence, then invent the smallest concrete situation in which that sentence is true. In astronomy, the smallest case is usually a single object, a single equation or a single measurement. Check that every symbol or term in your sentence has a meaning in that case.

Example 2 — changing one variable

Take the situation from Example 1 and change exactly one quantity: double it, halve it, or set it to zero. Predict what should happen to Rohit Jivanlal Parikh before you calculate. Comparing your prediction with the result is the fastest way to find out whether you understand the idea or only the words.

Example 3 — an exam-style question

Typical questions about Rohit Jivanlal Parikh ask you to (a) state it precisely, (b) apply it to given data, and (c) explain a limitation. Practise writing all three answers in under five minutes; the third part is what separates a full-mark answer from an average one.

Applications of Rohit Jivanlal Parikh

In research: Rohit Jivanlal Parikh appears in astronomy research whenever the underlying quantities have to be modelled precisely. Papers usually cite it as a starting assumption and then explore where it breaks down.
In technology and industry: Engineering practice reuses Rohit Jivanlal Parikh in design rules, simulations and safety margins. Knowing the idea lets you read a specification sheet and understand why the numbers look the way they do.
In the classroom: Rohit Jivanlal Parikh is common in secondary-school and first-year university syllabi. It links to neighbouring topics American logicians, Belief revision, Brooklyn College faculty, so understanding it makes those chapters shorter.
In everyday life: Look for Rohit Jivanlal Parikh outside the textbook — in sport, cooking, traffic, electronics or the sky above you. An example you found yourself is remembered far longer than one you were given.

Ask Teacher Smith questions about this articleOpens your AI tutor with a question about “Rohit Jivanlal Parikh” →

Affiliate

Preply — study more efficiently by working with a personal tutor. 50% off.

How to study Rohit Jivanlal Parikh in 20 minutes

Read the reference excerpt below once, without taking notes.
Close the page and write down what Rohit Jivanlal Parikh means in your own words.
Compare your version with the excerpt and mark what you missed.
Work through the three examples above with pen and paper.
Explain Rohit Jivanlal Parikh out loud to somebody else — or to Teacher Smith in the lgStudy chat.

Frequently asked questions

What is Rohit Jivanlal Parikh in simple terms?

Why does Rohit Jivanlal Parikh matter?

Because it connects several astronomy ideas at once: it gives you a definition you can apply, a quantity you can calculate, and a way to check whether a result is plausible.

How should I study Rohit Jivanlal Parikh?

Read the excerpt, restate it from memory, then work through the examples and applications listed on this page. The five-step study plan above takes about twenty minutes.

What does this page cover?

It gives you a compact reference excerpt plus original lgStudy explanations, examples, applications and study material on Rohit Jivanlal Parikh.