Rohit Jivanlal Parikh - Rohit Jivanlal Parikh

Rohit Jivanlal Parikh
narozený (1936-11-20) 20. listopadu 1936 (věk 84)
Palanpur, Britská Indie (Nyní Gudžarát, Indie )
NárodnostIndie, Spojené státy
Alma materHarvardská Univerzita, PhD Matematika, 1962; Harvardská vysoká škola, AB s nejvyšším vyznamenáním v Fyzika, 1957
Známý jakoPracovat na teorie rekurze, teorie důkazů, nestandardní analýza, ultrafinitismus, dynamická logika, logika znalostí, filozofická logika, sociální software, Parikhova věta
OceněníVítěz ceny matematické soutěže Williama Lowella Putnama 1955, 1956, 1957; William Lowell Putnam Fellow 1957; Phi Beta Kappa, Harvard 1957. Gibbsova cena, Bombay University, 1954
Vědecká kariéra
PoleMatematika, logika, filozofie, počítačové vědy, ekonomie
InstituceCity University of New York
Doktorský poradceHartley Rogers, Jr.
Burton Dreben

Rohit Jivanlal Parikh (narozený 20 listopadu 1936) je americký matematik, logik a filozof, který pracoval v mnoha oblastech tradiční logiky, včetně teorie rekurze a teorie důkazů. Je významným profesorem na Brooklyn College na City University of New York (CUNY).

Výzkum

Parikhův katolický přístup k logice vedl k práci na tématech jako neurčitost, ultrafinitismus, revize víry, logika znalostí, herní teorie a sociální software (sociální řízení). Tato poslední oblast se snaží spojit techniky z logiky, počítačové vědy (zejména logiky programů) a teorie her k pochopení struktury sociálních algoritmů. Příklady takových jsou volby, dopravní systémy, přednášky, konference, a měnové systémy, z nichž všechny mají vlastnosti zajímavé pro ty, kteří jsou logicky nakloněni.[Citace je zapotřebí ]

Parikhova věta s tím, že běžné jazyky a bezkontextové jazyky mít stejné sady vektorů frekvence písmen, je pojmenován po něm. Mezi jeho další příspěvky patří zavedení omezená aritmetika a logika her.[Citace je zapotřebí ]

Osobní život a politika

Rohit Parikh se provdala v letech 1968 až 1994 za Carol Parikh (rozenou Geris), která je nejlépe známá pro své příběhy oceněné cenou a vlivnou biografii Oscar Zariski, Neskutečný život Oscara Zariskiho. Mají dvě děti, Vikram (1969) a Uma (1974).[Citace je zapotřebí ]

V roce 2018 zveřejnil příspěvek na Facebooku od Parikha s výzvou k deportaci všech nelegálních přistěhovalců a napsal: „Jsem přesvědčen, že by měli být deportováni všichni, kdo jsou zde nelegálně, ale že by je USA měly podporovat v jejich domovské zemi.“[1] Parikh dále v příspěvku na Facebooku tvrdí, že hispánští přistěhovalci jsou nedostatečně vzdělaní ve srovnání s indickými přistěhovalci, jako je on, což vede studenty Brooklyn College k veřejným protestům a požaduje, aby ho univerzita potrestala.[2] Prezident Brooklyn College Michelle Anderson nazval jeho vyjádření „protikladem k základním hodnotám Brooklyn College“.[3] Obhájení své pozice v rozhovoru pro a CW -affiliate WPIX, Parikh tvrdil, že tím nemyslel, že Hispánci jsou obecně hloupější než Indové obecně, ale spíše to, že jeho srovnání intelektuálních schopností Hispánců a Indů se týkalo pouze těch, kteří se přistěhovali do Spojených států. „V Indii je spousta hloupých lidí, ale sem nechodí,“ vysvětlil.[2]

Příspěvky

  • Editor, International Journal of the Foundations of Computer Science, 1990–1995
  • Editor, Journal of Philosophical Logic, 2000–2003

Ocenění a uznání

Pozoruhodné studenty

Mezi Parikhovy doktorandy patří Alessandra Carbone[4] a David Ellerman.[4]

Akademické a výzkumné schůzky

  • Významný profesor, City University of New York (Brooklyn College a CUNY Graduate Center), 1982 – dosud
  • Profesor, matematika, Bostonská univerzita, 1972–1982
  • Hostující profesor, matematika, Courant Institute, 1981
  • Docent, matematika, Boston University, 1967–1972
  • Hostující docent, matematika, SUNY v Buffalu, 1971–1972
  • Přednášející na Bristolské univerzitě, 1965–1967
  • Reader, Panjab University, 1964–1965
  • Instruktor, Stanford University 1961–1963
  • Hostující schůzky na Caltech, ETH Curych, MIT, Stanford a TIFR Bombay

Hlavní publikace

  • Existence a proveditelnost v aritmetice, Jour. Symbolic Logic 36 (1971) 494–508.
  • O délce důkazů, transakce Amer. Matematika. Soc. 177 (1973) 29–36.
  • (S M. Parnesem) Podmíněnou pravděpodobnost lze definovat pro libovolné dvojice realistických sad, Advances in Math 9 (1972) 520–522.
  • (S D.H.J. de Jonghem) No Partial Orderings and Hierarchies, Proc. Kon. Ned. Akad. Sci Series A 80 (1977) 195–207.
  • (D. Kozen) Elementární důkaz úplnosti pro PDL Theoretical Computer Science 14 (1981) 113–118.
  • The Problem of Vague Predicates, in Logic, Language and Method Ed. Cohen a Wartofsky, Reidel (1982) 241–261.
  • Logika her a její aplikace, Annals of Discrete Math., 24 (1985) 111–140.
  • (R. R. Ramanujam) Distribuované zpracování a logika znalostí, Logika programů, Springer Lecture Notes in Computer Science, 193 s. 256–268.
  • Komunikace, shoda a znalosti (s P. Krasuckim), Jour. Ekonomická teorie 52 (1990), str. 178–189.
  • Znalosti a problém logické vševědoucnosti ISMIS- 87 (International Symp. On Methodology for Intelligent Systems), North Holland (1987), str. 432–439.
  • Konečné a nekonečné dialogy, ve sborníku semináře o logice z informatiky, Ed. Moschovakis, publikace MSRI, Springer 1991 str. 481–498.
  • Vágnost a užitečnost: Sémantika obecných podstatných jmen v lingvistice a filozofii 17 1994, 521–35.
  • Topologické uvažování a logika znalostí (s Dabrowskim a Mossem) Annals of Pure and Applied Logic 78 (1996) 73–110.
  • Revize víry a rozdělení jazyka, v Proc. Logic, Language and Computation, vyd. Moss, Ginzburg a de Rijke, CSLI 1999, s. 266–278 (dřívější verze se objevila v roce 1996 v předběžném řízení).
  • (se Samirem Choprou), Relevance Sensitive Belief Structures, Annals of Mathematics and Artificial Intelligence, 28 (1-4): 259–285 (2000).
  • Social Software, Synthese, 132, září 2002, 187–211.
  • (with Jouko Vaananen), Finite information logic, Annals of Pure and Applied Logic, 134 (2005) 83–93.
  • (R. R. Ramanujam), A Knowledge based Semantics of Messages, Jour. Logika, jazyk a informace, 12. 2003, 453–467.
  • Úrovně znalostí, hry a skupinové akce, Výzkum v ekonomii, 57, 2003, 267–281.
  • Costa, Horacio Arlo a Rohit Parikh. „Podmíněná pravděpodobnost a proveditelný závěr.“ Journal of Philosophical Logic 34.1 (2005): 97-119.
  • Arlo-Costa, Horacio a Rohit Parikh. „Dvě pravděpodobnosti, víry a revize víry: na základech kinematiky iterativní víry.“ Sborník dvanáctého amsterdamského kolokvia. 1999.
  • Weiss, M. Angela a Rohit Parikh. "Úplnost určitých bimodálních logik pro prostory podmnožiny." Studia Logica (2002): 1–30.
  • Parikh, Rohit a Adriana Renero. „Ospravedlněná skutečná víra: Platón, Gettier a Turing.“ Filozofické zkoumání odkazu Alana Turinga. Springer, Cham, 2017. 93-102.

Reference

  1. ^ Algar, Selim (23. října 2018). „Profesor čelí odporu poté, co zpochybnil vhodnost hispánských přistěhovalců“. New York Post. Citováno 30. prosince 2018.
  2. ^ A b Chasmar, Jessica (24. října 2018). „Brooklyn College prof. Pod palbou za otázku, zda jsou hispánští přistěhovalci tím, co Amerika potřebuje'". The Washington Times. Citováno 30. prosince 2018.
  3. ^ Kadirgamar, Skanda (6. prosince 2018). „Po 2 profesorech na Brooklynské univerzitě chrstli nenávist, studenti chtějí restituci“. Národ. Citováno 30. prosince 2018.
  4. ^ A b „Rohit Parikh - Matematický genealogický projekt“. www.genealogy.math.ndsu.nodak.edu. Citováno 2019-03-16.

externí odkazy