Joan R. Moschovakis

Joan Moschovakis Rand es un lógico y matemático estadounidense que trabaja principalmente en la lógica intuicionista y los intuicionistas matemáticos . Es profesora emérita en Occidental College y académica visitante en la Universidad de California, Los Ángeles .

Biografía

Moschovakis recibió su licenciatura en matemáticas de la Universidad de California en Berkeley en 1959, su maestría en matemáticas en 1961 y su doctorado de la Universidad de Wisconsin en Madison en 1965 bajo la supervisión de Stephen Kleene , con una tesis titulada Disyunción , Existencia y * -Eliminabilidad en el análisis intuicionista formalizado . Fue profesora de matemáticas en Occidental College de 1965 a 1995, emérita desde entonces.

También ha enseñado en el programa de posgrado en Lógica y Algoritmos de la Universidad de Atenas , Grecia.

Su investigación se centra en los fundamentos del análisis intuicionista, las interpretaciones intuicionistas de las matemáticas clásicas, las interpretaciones clásicas de las matemáticas intuicionistas, las reglas admisibles de la lógica intuicionista, la historia y la filosofía de la lógica intuicionista.

Moschovakis está casado con Yiannis N. Moschovakis  ; en 2014 impartieron conjuntamente las Conferencias Lindström en la Universidad de Gotemburgo .

Publicaciones (selección)

• Joan Moschovakis, “Intuitionistic Logic” , en Edward N. Zalta (editor), The Stanford Encyclopedia of Philosophy ,invierno 2018( leer en línea )

• Joan Moschovakis, “La lógica de Brouwer y Heyting” , en Dov M. Gabbay y John Woods (eds), Handbook of the History of Logic , vol.  5: Lógica de Russell a Church. , Elsevier / Holanda Septentrional,2009( ISBN  9780444516206 , DOI  10.1016 / S1874-5857 (09) 70007-X , Math Reviews  2668177 ) , pág.  77-125
• Joan Rand Moschovakis , "  Anarquía relativa en el análisis intuicionista  ", Journal of Symbolic Logic , vol.  52, n o  1,1987, p.  68–88 ( DOI  10.2307 / 2273863 , JSTOR  2273863 , Revisiones de matemáticas  877856 )
• Joan Rand Moschovakis , “  ¿No puede haber funciones no recursivas?  ”, Revista de lógica simbólica , vol.  36, n o  21971, p.  309–315 ( DOI  10.2307 / 2270266 , JSTOR  2270266 , revisiones de matemáticas  0294087 )

• Joan Moschovakis y Yiannis Moschovakis, “  Intuicionismo y teoría descriptiva de conjuntos efectiva  ”, Indagationes Mathematicae (NS) , vol.  29, n o  1,2018, p.  396–428 ( Revisiones de matemáticas  3739622 )

• Joan Moschovakis, “  Análisis intuicionista al final de los tiempos  ”, Boletín de lógica simbólica , vol.  23, n o  3,2017, p.  279-295 ( Revisión de matemáticas 3732198 ) 

Notas y referencias

1. "  Joan Rand Moschovakis - Occidental College - The Liberal Arts College en Los Ángeles  " , en oxy.edu .
2. “  Joan Moschovakis  ” , en ucla.edu .
3. (in) "  Joan R. Moschovakis  " en el sitio web del Proyecto de Genealogía Matemática .
4. Joan Rand Moschovakis y Yiannis N. Moschovakis , "  The Lindström Lectures 2014  " , Departamento de Filosofía, Lingüística y Teoría de la Ciencia , en Göteborgs universitet , Universidad de Gotemburgo,2014(consultado el 20 de febrero de 2019 ) .

enlaces externos

• Página personal en UCLA
• Recursos de investigación  :
  • (es)  Proyecto de Bibliografía y Biblioteca Digital
  • (es)  Proyecto de genealogía matemática