Lógico y matemático estadounidense
Joan Rand Moschovakis es una lógica y matemática que se centra en la lógica intuicionista y las matemáticas. Es profesora emérita del Occidental College [1] y profesora invitada de la UCLA [2] .
Moschovakis obtuvo su doctorado en la Universidad de Wisconsin-Madison en 1965 bajo la dirección de Stephen Kleene , con una disertación titulada Disyunción, existencia y *-eliminabilidad en el análisis intuicionista formalizado .
Moschovakis está casada con Yiannis Moschovakis , con quien impartió las Conferencias Lindström de 2014 en la Universidad de Gotemburgo . [3]
Publicaciones seleccionadas
- Moschovakis, Joan (2015). "Lógica intuicionista". En Zalta, Edward N. (ed.). Stanford Encyclopedia of Philosophy .
- Moschovakis, Joan Rand (2009). "La lógica de Brouwer y Heyting". En Gabbay, Dov M.; Woods, John (eds.). Manual de historia de la lógica. Vol. 5. Lógica desde Russell hasta Church . Manual de historia de la lógica. Vol. 5. Ámsterdam: Elsevier/Holanda del Norte. págs. 77–125. CiteSeerX 10.1.1.117.9445 . doi :10.1016/S1874-5857(09)70007-X. ISBN 9780444516206.Sr. 2668177 .
- Moschovakis, Joan Rand (1987). "La anarquía relativa en el análisis intuicionista". Journal of Symbolic Logic . 52 (1): 68–88. doi :10.2307/2273863. JSTOR 2273863. MR 0877856.
- Moschovakis, Joan Rand (1971). "¿No puede haber funciones no recursivas?". Journal of Symbolic Logic . 36 (2): 309–315. doi :10.2307/2270266. JSTOR 2270266. MR 0294087.
Referencias
- ^ "Joan Rand Moschovakis - Occidental College - The Liberal Arts College en Los Ángeles". oxy.edu . 2018-10-03.
- ^ "Joan Moschovakis". ucla.edu .
- ^ "Las conferencias Lindström - Departamento de Filosofía, Lingüística y Teoría de la Ciencia, Universidad de Gotemburgo, Suecia". Universidad de Gotemburgo . Archivado desde el original el 29 de octubre de 2016. Consultado el 27 de agosto de 2015 .
Enlaces externos
