Die Doktorarbeit mit dem Titel Disjunction, Existence and *-Eliminability in Formalized Intuitionistic Analysis bildete das akademische Fundament für die Karriere der Logikerin und Mathematikerin Joan Moschovakis. Diese Forschungsarbeit, die 1965 an der University of Wisconsin–Madison ausgezeichnet wurde, festigte ihren langfristigen Schwerpunkt auf intuitionistischer Logik sowie den mathematischen Prinzipien von Brouwer und Heyting.
Akademische Ausbildung und Forschung
Joan Moschovakis absolvierte ihr Studium unter der Betreuung von Stephen Kleene. Ihr Forschungsweg konzentrierte sich auf die Feinheiten der formalen intuitionistischen Analyse. Im Laufe ihrer Karriere veröffentlichte sie bedeutende Beiträge im Journal of Symbolic Logic, darunter 1971 eine Untersuchung zu nicht-rekursiven Funktionen und 1987 eine Arbeit über relative Gesetzlosigkeit innerhalb des intuitionistischen Rahmens.
Berufliche Positionen
Moschovakis war in den Vereinigten Staaten tätig und bekleidete formale akademische Positionen, die ihre kontinuierlichen Beiträge zur symbolischen Logik ermöglichten. Sie war Professorin am Occidental College und erlangte später den Status einer emeritierten Professorin. Darüber hinaus war sie als Gastforscherin an der University of California, Los Angeles, aktiv, wo sie weiterhin mit der mathematischen Gemeinschaft in Verbindung stand.
Gemeinschaftliche Beiträge
Moschovakis trug Beiträge zu bedeutenden Nachschlagewerken bei, wie dem Handbook of the History of Logic aus dem Jahr 2009 und der Ausgabe der Stanford Encyclopedia of Philosophy von 2015. Sie arbeitete häufig mit Yiannis Moschovakis zusammen, mit dem sie akademische Aufgaben teilte, einschließlich der Lindström-Vorlesungen 2014 an der Universität Göteborg. Sie ist weiterhin Mitglied der Association for Symbolic Logic.
Zwanzig Fragen, acht Minuten auf der Uhr und ein Perzentil, gemessen an allen bisherigen Teilnehmern. Ohne Anmeldung.
IQ-Test starten →Kurzfakten
- Geboren: 1937 - Staatsangehörigkeit: Vereinigte Staaten - Fachgebiet: Mathematik und Logik - Doktorvater: Stephen Kleene - Jahr der Promotion: 1965 - Zugehörigkeit: Association for Symbolic Logic - Status: Emeritierte Professorin am Occidental College
Fragen von Lesern
### Was ist das Hauptforschungsgebiet von Joan Moschovakis?
Sie ist eine Mathematikerin und Logikerin, die auf intuitionistische Logik spezialisiert ist.
### Wo hat sie promoviert?
Sie erhielt ihren Doktortitel 1965 von der University of Wisconsin–Madison.
