Joan Rand Moschovakis es un lógico y matemático que se centra en la lógica intuicionista y las matemáticas. Es profesora emérita en Occidental College [1] e invitada en UCLA . [2]
Joan R. Moschovakis | |
---|---|
Nació | Joan Rand 1937 |
alma mater | Universidad de California – Berkeley Universidad de Wisconsin – Madison |
Conocido por | Matemáticas intuicionistas , lógica intuicionista |
Carrera científica | |
Campos | Matemáticas |
Instituciones | Occidental College |
Asesor de doctorado | Stephen Kleene |
Moschovakis obtuvo su Ph.D. de 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 dio las Conferencias Lindström 2014 en la Universidad de Gotemburgo . [3]
Publicaciones Seleccionadas
- Moschovakis, Joan (2015). "Lógica intuicionista" . En Zalta, Edward N. (ed.). Enciclopedia de Filosofía de Stanford .
- 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 de Russell a Church . Manual de Historia de la Lógica. 5 . Amsterdam: Elsevier / Holanda Septentrional. págs. 77-125. CiteSeerX 10.1.1.117.9445 . doi : 10.1016 / S1874-5857 (09) 70007-X . ISBN 9780444516206. Señor 2668177 .
- Moschovakis, Joan Rand (1987). "Anarquía relativa en el análisis intuicionista". Revista de lógica simbólica . 52 (1): 68–88. doi : 10.2307 / 2273863 . JSTOR 2273863 . Señor 0877856 .
- Moschovakis, Joan Rand (1971). "¿No puede haber funciones no recursivas?". Revista de lógica simbólica . 36 (2): 309–315. doi : 10.2307 / 2270266 . JSTOR 2270266 . Señor 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" . Göteborgs universitet . Archivado desde el original el 29 de octubre de 2016 . Consultado el 27 de agosto de 2015 .
enlaces externos
- Página de inicio
- Joan Moschovakis en el Proyecto de genealogía matemática