La tesi di dottorato intitolata Disjunction, Existence and *-Eliminability in Formalized Intuitionistic Analysis ha costituito la base accademica per la carriera della logica e matematica Joan Moschovakis. Conseguito nel 1965 presso l'Università del Wisconsin-Madison, questo lavoro di ricerca ha stabilito il suo interesse a lungo termine per la logica intuizionista e i principi matematici definiti da Brouwer e Heyting.
Formazione accademica e ricerca
Joan Moschovakis ha completato i suoi studi post-laurea sotto la supervisione di Stephen Kleene. La sua traiettoria di ricerca si è concentrata sulle complessità dell'analisi intuizionista formale. Nel corso della sua carriera, ha pubblicato importanti articoli sul Journal of Symbolic Logic, tra cui la ricerca del 1971 sulle funzioni non ricorsive e il suo lavoro del 1987 relativo alla mancanza di leggi all'interno del quadro intuizionista.
Incarichi professionali
Con sede negli Stati Uniti, Moschovakis ha ricoperto incarichi accademici formali che hanno agevolato i suoi continui contributi alla logica simbolica. È stata docente presso l'Occidental College, ottenendo infine lo status di professoressa emerita. Inoltre, ha mantenuto un'attiva presenza nella ricerca come ospite presso l'Università della California, Los Angeles, dove ha proseguito il suo impegno con la comunità matematica.
Contributi collaborativi
Moschovakis ha contribuito con voci a importanti opere di riferimento, come l'Handbook of the History of Logic del 2009 e l'edizione 2015 della Stanford Encyclopedia of Philosophy. Ha collaborato frequentemente con Yiannis Moschovakis, con il quale ha condiviso incarichi accademici, tra cui la presentazione delle Lindström Lectures del 2014 ospitate dall'Università di Göteborg. Rimane membro dell'Association for Symbolic Logic.
Venti domande, otto minuti di orologio e un percentile misurato su tutti quelli che l’hanno fatto. Senza registrazione.
Fai il test del QI →Fatti rapidi
- Nascita: 1937 - Cittadinanza: Stati Uniti - Campo: Matematica e logica - Supervisore di dottorato: Stephen Kleene - Anno del dottorato: 1965 - Affiliazione: Association for Symbolic Logic - Status: Professoressa emerita presso l'Occidental College
Domande dei lettori
### Qual è il campo di studio principale di Joan Moschovakis?
È una matematica e logica specializzata in logica intuizionista.
### Dove ha conseguito il dottorato?
Ha ricevuto il dottorato dall'Università del Wisconsin-Madison nel 1965.
