La tesis doctoral titulada Disjunction, Existence and *-Eliminability in Formalized Intuitionistic Analysis sirvió como base académica para la carrera de la lógica y matemática Joan Moschovakis. Galardonada en 1965 por la Universidad de Wisconsin-Madison, esta investigación estableció su enfoque a largo plazo en la lógica intuicionista y los principios matemáticos definidos por Brouwer y Heyting.
Formación académica e investigación
Joan Moschovakis completó sus estudios de posgrado bajo la supervisión de Stephen Kleene. Su trayectoria investigadora se centró en las complejidades del análisis intuicionista formal. A lo largo de su carrera, publicó artículos significativos en el Journal of Symbolic Logic, incluida la investigación de 1971 sobre funciones no recursivas y su trabajo de 1987 relativo a la falta de leyes dentro del marco intuicionista.
Cargos profesionales
Con base en Estados Unidos, Moschovakis ocupó cargos académicos formales que facilitaron sus contribuciones continuas a la lógica simbólica. Se desempeñó como profesora en el Occidental College, obteniendo finalmente el estatus de profesora emérita. Además, mantuvo una presencia investigadora activa como invitada en la Universidad de California, Los Ángeles, donde continuó su participación en la comunidad matemática.
Contribuciones colaborativas
Moschovakis contribuyó con entradas a importantes obras de referencia, como el Handbook of the History of Logic de 2009 y la edición de 2015 de la Stanford Encyclopedia of Philosophy. Colaboró frecuentemente con Yiannis Moschovakis, con quien compartió deberes académicos, incluida la impartición de las Lindström Lectures de 2014 organizadas por la Universidad de Gotemburgo. Sigue siendo miembro de la Association for Symbolic Logic.
Veinte preguntas, ocho minutos de reloj y un percentil medido frente a todos los que la han hecho. Sin registro.
Hacer la prueba de CI →Datos rápidos
- Nacimiento: 1937 - Ciudadanía: Estados Unidos - Campo: Matemáticas y lógica - Director de tesis doctoral: Stephen Kleene - Año del doctorado: 1965 - Afiliación: Association for Symbolic Logic - Estatus: Profesora emérita en el Occidental College
Preguntas que hacen los lectores
### ¿Cuál es el campo de estudio principal de Joan Moschovakis?
Es una matemática y lógica que se especializa en la lógica intuicionista.
### ¿Dónde obtuvo su doctorado?
Recibió su doctorado de la Universidad de Wisconsin-Madison en 1965.
