-
Ayda Ignez Arruda (1936-1983)Matemática
Ayda Ignez Arruda nasceu em Lajes, Santa Catarina, no dia 27 de junho de 1936, filha de Lourenço Waltrick Arruda e Izabel Pereira do Amarante. Bacharelou-se em matemática em 1958 e concluiu a sua licenciatura no ano de 1959, ambos na Faculdade de Filosofia da Universidade Católica do Paraná.Ayda Ignez Arruda nasceu em Lajes, Santa Catarina, no dia 27 de junho de 1936, filha de Lourenço Waltrick Arruda e Izabel Pereira do Amarante.
Bacharelou-se em matemática em 1958 e concluiu a sua licenciatura no ano de 1959, ambos na Faculdade de Filosofia da Universidade Católica do Paraná. Obteve o título de doutora e livre-docente com a tese "Considerações sobre os Sistemas Formais NFn", sob a orientação do professor Newton C. A. da Costa, na Universidade Federal do Paraná, em 1966.
Iniciou sua carreira acadêmica na Universidade Federal do Paraná como professora de Análise Matemática e Superior na Faculdade de Filosofia, Ciências e Letras, no ano de 1960.
Arruda manteve contato com lógicos e matemáticos do exterior e do Brasil durante a sua formação científica. Dentre eles, destacamos os professores: Marcel Guillaume, da Université de Clermont-Ferrand da França; Antonio Monteiro, da Universidade de Bahía Blanca, Argentina; Andrés Raggio, da Universidade de Córdoba, Argentina; e Mário Tourasse Teixeira da Faculdade de Filosofia de Rio Claro, São Paulo.
Em 1968, transferiu-se para Campinas, no estado de São Paulo para assumir como professora titular da área de lógica e fundamentos da matemática, no Instituto de Matemática, Estatística e Ciência da Computação (IMECC) da Universidade Estadual de Campinas (Unicamp).
Alguns anos depois, em 1975, organizou o Simpósio de Lógica Matemática, na Unicamp, tendo como principal conferencista, o matemático polonês, Alfred Tarski.
Por quase vinte anos estudou e criou sistemas não-clássicos de lógicas paraconsistentes, publicando vários trabalhos científicos. Foi a primeira colaboradora do professor Newton C.A. da Costa, com quem publicou diversos artigos em periódicos internacionais. Nos últimos anos de sua vida, analisou exaustivamente os artigos publicados por Vasili'ev, em particular os relacionados com a Lógica Paraconsistente.
Ayda Arruda foi a primeira pesquisadora a formalizar as idéias de Vasil'ev, obtendo, como resultado as lógicas paraconsistentes. Seus estudos são referência para muitas gerações de matemáticos e lógicos
Arruda organizou os Encontros Brasileiros de Lógica, em 1976, e o 3rd Latin American Symposium on Mathematical Logic (III SLALM), ambos realizados na Unicamp. Foi professora visitante e conferencista em diversas universidades nacionais e estrangeiras, dentre as quais citamos: Université Claude-Bernard, na França; Universytet Mikolaya Kopernika, na Polônia; Universidade Católica do Chile, no Chile.
Em 16 de abril de 1980, assumiu a direção do IMECC permanecendo no cargo até seu falecimento no dia 13 de outubro de 1983. No ano de 1985, a Unicamp organizou o VII Simpósio Latino-Americano de Lógica Matemática dedicado à memória de Ayda I. Arruda.
Fontes:
ALVES, Elias Humberto. "Aspectos da Lógica Matemática no Brasil". In: FERRI, Mário Guimarães; MOTOYAMA, Shozo (coords.). História das Ciências no Brasil". São Paulo: EPU; Ed. Da Universidade de São Paulo, 1979-1981. pp.389-410.
http://www.cle.unicamp.br/arquivoshistoricos
Autora do verbete:
Eliane Morelli Abrahão é doutora em História pela Universidade Estadual de Campinas e Historiadora chefe da seção de Arquivos Históricos do Centro de Lógica, Epistemologia e História da Ciência (Unicamp).
Navegue pelo mapa do Portal
- Geral
- Acesso à Informação
- Institucional
- Organograma
- Competências
- Base Jurídica
- Conselho Deliberativo
- Agenda de autoridades
- Diretoria Executiva
- Comitês de Assessoramento
- Comissão de Integridade
- Quem é quem
- Propriedade Intelectual
- Normas
- Comissão de Ética Pública
- Gestão de Documentos
- História
- Servidores
- Estatísticas e Indicadores
- Horário de atendimento
- Organograma
- Bolsas e Auxílios
- Programas
- Prêmios
- Popularização da Ciência
- Comunicação
- Parcerias
- Estudantes
- Pesquisadores
- Universidades
- Empresas