Rohit Jivanlal Parikh

Este artículo tiene varios problemas. Ayude a mejorarlo o discuta estos problemas en la página de discusión . ( Obtenga información sobre cómo y cuándo eliminar estos mensajes de plantilla ) Este artículo incluye una lista de referencias generales , pero permanece en gran parte sin verificar porque carece de suficientes citas en línea correspondientes . Ayude a mejorar este artículo introduciendo citas más precisas. ( Febrero de 2014 ) ( Obtenga información sobre cómo y cuándo eliminar este mensaje de plantilla ) Este artículo biográfico está escrito como un currículum . Por favor ayude a mejorarlo revisándolo para que sea neutral y enciclopédico . ( Junio ​​de 2020 ) ( Aprenda cómo y cuándo eliminar este mensaje de plantilla )

Rohit Jivanlal Parikh
Nació	(1936-11-20) 20 de noviembre de 1936 (85 años) Palanpur , India británica (ahora Gujarat , India )
Nacionalidad	India, Estados Unidos
alma mater	Universidad de Harvard , PhD Matemáticas , 1962; Harvard College , AB con los más altos honores en Física , 1957
Conocido por	Trabajar en teoría de recursividad , teoría de prueba , análisis no estándar , ultrafinitismo , lógica dinámica , lógica del conocimiento , lógica filosófica , software social , teorema de Parikh
Premios	Ganador del premio del concurso de matemáticas William Lowell Putnam , 1955, 1956, 1957; Becario William Lowell Putnam 1957; Phi Beta Kappa , Harvard 1957. Premio Gibbs, Universidad de Bombay, 1954
Carrera científica
Los campos	Matemáticas, lógica, filosofía, informática, economía
Instituciones	Universidad de la ciudad de Nueva York
Asesor de doctorado	Hartley Rogers, hijo Burton Dreben

Rohit Jivanlal Parikh (nacido el 20 de noviembre de 1936) es un matemático, lógico y filósofo estadounidense que ha trabajado en muchas áreas de la lógica tradicional, incluida la teoría de la recursividad y la teoría de la prueba . Es profesor distinguido en el Brooklyn College de la City University of New York (CUNY).

Investigar

La actitud católica de Parikh hacia la lógica ha llevado a trabajar en temas como vaguedad , ultrafinitismo , revisión de creencias , lógica del conocimiento , teoría de juegos y software social (procedimiento social) . Esta última área busca combinar técnicas de lógica, informática (especialmente lógica de programas) y teoría de juegos para comprender la estructura de los algoritmos sociales. Ejemplos de tales son elecciones , sistemas de transporte , conferencias , conferencias y sistemas monetarios , todos los cuales tienen propiedades de interés para aquellos que tienen inclinaciones lógicas. ^{[cita requerida ]}

El teorema de Parikh , que establece que los lenguajes regulares y los lenguajes libres de contexto tienen los mismos conjuntos de vectores de frecuencia de letras, lleva su nombre. Entre sus otras contribuciones se encuentra la introducción de la aritmética acotada y la lógica de los juegos. ^{[ cita requerida ]}

Vida personal y política

Rohit Parikh estuvo casada de 1968 a 1994 con Carol Parikh (de soltera Geris), mejor conocida por sus historias premiadas y por su influyente biografía de Oscar Zariski , La vida irreal de Oscar Zariski . Tienen dos hijos, Vikram (nacido en 1969) y Uma (nacido en 1974). ^{[ cita requerida ]} . Tienen tres nietos Sonakshi, Shiva y Aditi, nacidos respectivamente en 2013, 2016 y 2019.

En 2018, una publicación de Facebook de Parikh pidió la deportación de todos los inmigrantes ilegales, y escribió: "Creo que todos los que están ilegalmente aquí deberían ser deportados, pero que Estados Unidos debería apoyarlos en su país de origen". Hubo un alboroto y una marcha contra Parikh. ^[1]

Pero Parikh todavía cree que el problema de la pobreza y el subdesarrollo no se puede resolver mediante la inmigración masiva, sino mediante el desarrollo de sus países de origen. De hecho, él mismo, después de obtener su doctorado en Harvard y enseñar en Stanford, regresó a la India en 1963 para enseñar durante dos años en la Universidad de Panjab. Sin embargo, entonces era el único lógico en la India y, sintiéndose aislado, partió hacia la Universidad de Bristol, que entonces tenía más lógicos que toda la India.

Las cosas han cambiado y Parikh ha sido fundamental en la fundación de la conferencia ICLA (conferencia india sobre lógica y aplicaciones) y ALI (Asociación para la lógica en la India).

Publicaciones

• Editor, Revista Internacional de Fundamentos de la Ciencia de la Computación, 1990–1995
• Editor, Journal of Philosophical Logic , 2000-2003

premios y reconocimientos

• Ganador del premio del concurso de matemáticas William Lowell Putnam , 1955, 1956, 1957
• Premio Gibbs, Universidad de Bombay, 1954

Estudiantes notables

Los estudiantes de doctorado de Parikh incluyen a Alessandra Carbone ^[2] y David Ellerman . ^[2]

Citas académicas y de investigación

• Profesor distinguido, City University of New York, (Brooklyn College y CUNY Graduate Center), 1982 hasta el presente
• Profesor, Matemáticas, Universidad de Boston, 1972–1982
• Profesor invitado, Matemáticas, Courant Institute, 1981
• Profesor asociado, Matemáticas, Universidad de Boston, 1967-1972
• Profesor asociado visitante, Matemáticas, SUNY en Buffalo, 1971–1972
• Profesor de la Universidad de Bristol, 1965-1967
• Lector, Universidad de Panjab, 1964–1965
• Instructor, Universidad de Stanford 1961–1963
• Citas de visita en Caltech, ETH Zurich, MIT, Stanford y TIFR Bombay

Publicaciones principales

Esta lista contiene entradas que parecen anunciar un tema . Ayude a mejorarlo reescribiendo el contenido promocional desde un punto de vista neutral y eliminando las entradas inapropiadas que no sean notables o que no se ajusten a los criterios de inclusión de esta lista. ( Agosto de 2020 )

• Existencia y viabilidad en aritmética, Jour. Symbolic Logic 36 (1971) 494–508.
• Sobre la duración de las pruebas, transacciones del Amer. Matemáticas. Soc. 177 (1973) 29–36.
• (Con M. Parnes) La probabilidad condicional se puede definir para pares arbitrarios de conjuntos de reales, Adv. Matemáticas. 9 (1972) 520–522.
• (Con DHJ de Jongh) Bueno, jerarquías y ordenamientos parciales, Proc. Kon. Ned. Akad. Sci Series A 80 (1977) 195-207.
• (Con D. Kozen) Una prueba de integridad elemental para la informática teórica PDL 14 (1981) 113-118.
• El problema de los predicados vagos, en lógica, lenguaje y método Ed. Cohen y Wartofsky, Reidel (1982) 241-261.
• La lógica de los juegos y sus aplicaciones, Annals of Discrete Math., 24 (1985) 111–140.
• (Con R. Ramanujam) Procesamiento distribuido y la lógica del conocimiento, en Lógica de programas, Springer Lecture Notes in Computer Science, 193 págs. 256–268.
• Comunicación, consenso y conocimiento, (con P. Krasucki), Jour. Economic Theory 52 (1990) págs. 178–189.
• El conocimiento y el problema de la omnisciencia lógica ISMIS-87 (Simp. Internacional de Metodología para Sistemas Inteligentes), Holanda Septentrional (1987) págs. 432–439.
• Diálogos finitos e infinitos, en las actas de un taller de lógica de la informática, Ed. Moschovakis, publicaciones de MSRI, Springer 1991 págs. 481–498.
• Vaguedad y utilidad: la semántica de los sustantivos comunes en lingüística y filosofía 17 1994, 521–35.
• Razonamiento topológico y la lógica del conocimiento (con Dabrowski y Moss) Annals of Pure and Applied Logic 78 (1996) 73-110.
• Revisión de creencias y división de idiomas, en Proc. Lógica, Lenguaje y Computación, Ed. Moss, Ginzburg y de Rijke, CSLI 1999, págs. 266–278 (la versión anterior apareció en 1996 en el procedimiento preliminar).
• (con Samir Chopra), Estructuras de creencias sensibles a la relevancia, Anales de matemáticas e inteligencia artificial, 28 (1-4): 259-285 (2000).
• Social Software, Synthese, 132, septiembre de 2002, 187–211.
• (con Jouko Vaananen), Lógica de información finita, Annals of Pure and Applied Logic, 134 (2005) 83–93.
• (Con R. Ramanujam), Una semántica de mensajes basada en el conocimiento, Jour. Lógica, lenguaje e información, 12 2003, 453–467.
• Niveles de conocimiento, juegos y acción grupal, Investigación en economía, 57 2003, 267–281.

• Costa, Horacio Arlo y Rohit Parikh. "Probabilidad condicional e inferencia anulable". Revista de lógica filosófica 34.1 (2005): 97-119.

• Arlo-Costa, Horacio y Rohit Parikh. "Dos probabilidades de lugar, creencias y revisión de creencias: sobre los cimientos de la cinemática iterativa de creencias". Actas del Duodécimo Coloquio de Amsterdam. 1999.

• Weiss, M. Angela y Rohit Parikh. "Integridad de ciertas lógicas bimodales para subconjuntos de espacios". Studia Logica (2002): 1-30.

• Parikh, Rohit y Adriana Renero. "Creencia verdadera justificada: Platón, Gettier y Turing". Exploraciones filosóficas del legado de Alan Turing. Springer, Cham, 2017. 93-102.

Referencias

1. Algar, Selim (23 de octubre de 2018). "El profesor se enfrenta a una reacción violenta después de cuestionar la conveniencia de los inmigrantes hispanos" . New York Post . Consultado el 30 de diciembre de 2018 .
2. "Rohit Parikh - El proyecto de genealogía de las matemáticas" . www.genealogy.math.ndsu.nodak.edu . Consultado el 16 de marzo de 2019 .

enlaces externos

• Archivo de Parikh sobre CUNY Philosophy Commons
• Curriculum Vitae de Rohit Parikh
• Página de inicio de Brooklyn College
• Una entrevista con Rohit Parikh