Fundo FAIA - Ayda Ignez Arruda

Inventário Memorial de Ayda Ignez Arruda Curriculum vitae Carta de AIA para Diderik Batens Carta de AIA para Diderik Batens Carta de AIA para Diderik Batens Carta de AIA para Diderik Batens Carta de AIA para Diderik Batens Alguns Cálculos Proposicionais para Sistemas Dedutivos Inconsistentes Sobre A Teoria dos Tipos Hemeroteca Alfred Tarski - Parte 1 Alfred Tarski - Parte 2 Protesto contra intervenção na Unicamp Protesto contra intervenção na Unicamp Retrato de AIA Retrato de AIA
Original Objeto digital not accessible

Área de identificação

Código de referência

BR SPCLEARQ FAIA

Título

Ayda Ignez Arruda

Data(s)

  • 1932 - 2006-01-25 (Produção)

Nível de descrição

Fundo

Dimensão e suporte

Textuais ( 479 itens documentais), Iconográfico (4 fotografias), Audiovisual (1 vídeo VHS)

Área de contextualização

Nome do produtor

(1936-06-27 1983-10-13)

Biografia

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 em 1959, ambas na Faculdade de Filosofia da Universidade Católica do Paraná.
Iniciou a sua carreira acadêmica como professora contratada para a cadeira de Análise Matemática e Superior da Faculdade de Filosofia, Ciências e Letras da Universidade Federal do Paraná, em 1960.
Em 1966, na Universidade Federal do Paraná, obteve o título de doutora e livre-docente com a tese Considerações sobre os Sistemas Formais NFn, produzida sob a orientação do professor Newton C.A. da Costa.
Em 1968 foi contratada como professora titular na área de Lógica e Fundamentos da Matemática no Instituto de Matemática, Estatística e Ciência da Computação da Unicamp, dando início ao Grupo de Lógica de Campinas, com os seguintes professores: Newton C.A. da Costa, Andréa Loparic, Antonio M. Sette, Elias H. Alves, Itala M. L. D'Ottaviano, Luiz Paulo de Alcântara, Luis Henrique L. dos Santos, Oswaldo Porchat Pereira e Roberto Cignoli.
Durante a visita de Alfred Tarski, renomado matemático polonês, feita à Unicamp, em 1975, a professora Ayda I. Arruda, organizou o Simpósio de Lógica Matemática, de 3 a 5 de março, no IMECC. Este evento abriu as portas do IMECC para que, em 1976, ocorresse o III Simpósio Latino-Americano de Lógica Matemática, também organizado por Ayda.
Foi chefe do Departamento de Matemática do IMECC, de julho de 1979 a abril de 1980, e assumiu a direção do instituto em 16 de abril de 1980 permanecendo no cargo até seu prematuro falecimento em 13 de outubro de 1983, com 47 anos.
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 trabalhou durante muitos anos e publicou diversos artigos em periódicos internacionais.
Durante a sua vida, teve contatos importantes com lógicos e matemáticos brasileiros e do exterior. Dentre eles destacamos os professores: Mário Tourasse Teixeira da Faculdade de Filosofia de Rio Claro, São Paulo; Marcel Guillaume, da Université de Clermont-Ferrand da França; Antonio Monteiro, da Universidade de Bahía Blanca, Argentina; e, Andrés Raggio, da Universidade de Córdoba, Argentina.
Foi professora visitante e conferencista em diversas universidades nacionais e estrangeiras, dentre as quais citamos: Université Claude-Bernard, na França; Uniwersytet Mikolaja Kopernika, em Torún, Polônia; Pontificia Universidad Católica de Chile; Universiteit Gent, na Bélgica; etc.
Orientou vários alunos de mestrado; foi membro de bancas organizadoras; participou de várias bancas julgadoras de doutorado, incluindo as dos professores Antonio Mário Antunes Sette, Ítala Maria Loffredo D'Ottaviano e Elias Humberto Alves; foi membro fundador do Centro de Lógica, Epistemologia e História da Ciência da Unicamp e da Sociedade Brasileira de Lógica, da qual foi vice-presidente e presidente.
Nos últimos anos de sua vida, interessou-se e analisou exaustivamente os artigos publicados por Vasil'év, em particular por suas relações com a lógica paraconsistente. Ayda I. Arruda foi a primeira pesquisadora a formalizar as idéias de Vasil'év, obtendo, como resultado as lógicas paraconsistentes.
Como homenagem póstuma à professora Ayda, a Unicamp, em 1985, organizou o VII Simpósio Latino-Americano de Lógica Matemática, dedicado à sua memória. E, em 1990, foi publicado o livro N.A. Vasiliev e a Lógica Paraconsistente (vol. 7 - Coleção CLE), organizado pela professora Ítala Maria Loffredo D'Ottaviano.

História do arquivo

Os documentos que compõem o Fundo Ayda Ignez Arruda foram doados ao Centro de Lógica em 26 de setembro de 1990 pela professora Ítala Maria Loffredo D'Ottaviano e pelo professor Jorge Mujica.

Fonte imediata de aquisição ou transferência

Em 18 maio 2006, recebemos vários impressos da professora Ayda, doados por sua irmã Ângela Arruda Dabul.

Área de conteúdo e estrutura

Âmbito e conteúdo

O fundo é constituído de documentos pessoais, administrativos e relacionados a crise de 1981 na Unicamp; correspondência; produção acadêmica e científica; artigos; recortes de jornais e fotografias.

Avaliação, seleção e eliminação

Ingressos adicionais

Sistema de arranjo

Área de condições de acesso e uso

Condições de acesso

Consulta livre mediante cadastro do pesquisador

Condiçoes de reprodução

Mediante autorização do Arquivo Histórico/SPCLEARQ

Idioma do material

Sistema de escrita do material

Notas ao idioma e script

Instrumentos de descrição

Área de materiais associados

Existência e localização de originais

Arquivo Central/SIARQ-Unicamp

Existência e localização de cópias

Unidades de descrição relacionadas

Descrições relacionadas

Área de notas

Identificador(es) alternativos

Pontos de acesso

Pontos de acesso de assunto

Pontos de acesso local

Ponto de acesso nome

Pontos de acesso de gênero

Área de controle da descrição

Identificador da descrição

Identificador da entidade custodiadora

Regras ou convenções utilizadas

Nível de detalhamento

Datas de criação, revisão, eliminação

Idioma(s)

  • português do Brasil

Sistema(s) de escrita(s)

Fontes

Objeto digital (Mestre) área de direitos

Objeto digital (Referência) área de direitos

Objeto digital (Miniatura) área de direitos

Zona da incorporação

Assuntos relacionados

Pessoas e organizações relacionadas

Gêneros relacionados

Lugares relacionados