Rohit Jivanlal Parikh, is a mathematician, logician, and philosopher who has worked in many areas in traditional logic, including recursion theory and proof theory. His catholic attitude towards logic has led to work on topics like vagueness, ultrafinitism, belief revision, logic of knowledge, game theory and social software. This last area seeks to combine techniques from logic, computer science (especially logic of programs) and game theory to understand the structure of social algorithms.

PropertyValue
dbpedia-owl:Person/almaMater
dbpedia-owl:Person/birthDate
  • 1936-11-20 (xsd:date)
dbpedia-owl:Person/birthPlace
dbpedia-owl:Person/knownFor
dbpedia-owl:Scientist/doctoralAdvisor
dbpedia-owl:almaMater
dbpedia-owl:birthDate
  • 1936-11-20 (xsd:date)
dbpedia-owl:birthPlace
dbpedia-owl:doctoralAdvisor
dbpedia-owl:knownFor
dbpedia-owl:thumbnail
dbpprop:abstract
  • Rohit Jivanlal Parikh, is a mathematician, logician, and philosopher who has worked in many areas in traditional logic, including recursion theory and proof theory. His catholic attitude towards logic has led to work on topics like vagueness, ultrafinitism, belief revision, logic of knowledge, game theory and social software. This last area seeks to combine techniques from logic, computer science (especially logic of programs) and game theory to understand the structure of social algorithms. Examples of such are elections, transport systems, lectures, conferences, and monetary systems, all of which have properties of interest to those who are logically inclined.
dbpprop:almaMater
dbpprop:birthDate
dbpprop:birthPlace
dbpprop:doctoralAdvisor
dbpprop:doctoralStudents
  • Former: Alessandra Carbone, Samir Chopra, David Ellerman, Amy Greenwald, Pawel Krasucki, Gilbert Ndjatou, Eric Pacuit, Shlomit Pinter, Samer Salame, Chris Steinsvold, Thomas Sibley, Maria Weiss, Rick Statman, R. Ramanujam, Horacio Arlo Costa, Ruili Ye, Laxmi Parida.
    Current: Can Baskent, Loes Olde Loohuis, Farishta Satari
dbpprop:field
  • Mathematics, logic, philosophy, computer sciences, economics
dbpprop:knownFor
dbpprop:name
  • Rohit Jivanlal Parikh
dbpprop:nationality
  • India, 20px| United States
dbpprop: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.
dbpprop:reference
dbpprop:residence
dbpprop:wikiPageUsesTemplate
dbpprop:wordnet_type
dbpprop:workInstitution
rdf:type
rdfs:comment
  • Rohit Jivanlal Parikh, is a mathematician, logician, and philosopher who has worked in many areas in traditional logic, including recursion theory and proof theory. His catholic attitude towards logic has led to work on topics like vagueness, ultrafinitism, belief revision, logic of knowledge, game theory and social software. This last area seeks to combine techniques from logic, computer science (especially logic of programs) and game theory to understand the structure of social algorithms.
rdfs:label
  • Rohit Jivanlal Parikh
owl:sameAs
skos:subject
foaf:depiction
foaf:name
  • Rohit Jivanlal Parikh
foaf:page
is dbpprop:redirect of