A tese de doutorado intitulada Disjunction, Existence and *-Eliminability in Formalized Intuitionistic Analysis serviu como base acadêmica para a carreira da lógica e matemática Joan Moschovakis. Premiada em 1965 pela Universidade de Wisconsin-Madison, esta pesquisa estabeleceu o seu foco de longo prazo na lógica intuicionista e nos princípios matemáticos definidos por Brouwer e Heyting.
Formação académica e investigação
Joan Moschovakis completou os seus estudos de pós-graduação sob a supervisão de Stephen Kleene. A sua trajetória de investigação centrou-se nas complexidades da análise intuicionista formal. Ao longo da sua carreira, publicou artigos significativos no Journal of Symbolic Logic, incluindo a investigação de 1971 sobre funções não recursivas e o seu trabalho de 1987 relativo à ausência relativa de leis dentro do quadro intuicionista.
Nomeações profissionais
Com base nos Estados Unidos, Moschovakis ocupou cargos académicos formais que facilitaram as suas contribuições contínuas para a lógica simbólica. Atuou como professora no Occidental College, alcançando eventualmente o estatuto de professora emérita. Além disso, manteve uma presença ativa de investigação como convidada na Universidade da Califórnia, Los Angeles, onde continuou o seu envolvimento com a comunidade matemática.
Contribuições colaborativas
Moschovakis contribuiu com entradas para grandes obras de referência, tais como o Handbook of the History of Logic de 2009 e a edição de 2015 da Stanford Encyclopedia of Philosophy. Colaborou frequentemente com Yiannis Moschovakis, com quem partilhou deveres académicos, incluindo a apresentação das Lindström Lectures de 2014 organizadas pela Universidade de Gotemburgo. Continua a ser membro da Association for Symbolic Logic.
Vinte perguntas, oito minutos no relógio e um percentil medido contra todos os que já fizeram. Sem cadastro.
Fazer o teste de QI →Factos rápidos
- Nascimento: 1937 - Nacionalidade: Estados Unidos - Campo: Matemática e lógica - Orientador de doutorado: Stephen Kleene - Ano do doutorado: 1965 - Afiliação: Association for Symbolic Logic - Estatuto: Professora emérita no Occidental College
Perguntas frequentes dos leitores
### Qual é o principal campo de estudo de Joan Moschovakis?
É uma matemática e lógica especializada em lógica intuicionista.
### Onde obteve o seu doutoramento?
Recebeu o seu doutoramento pela Universidade de Wisconsin-Madison em 1965.
