Ayda ignez arruda, a seu dispor: instrumentos de pesquisas

Resumo

Nesse trabalho divulgaremos as ações desenvolvidas pelos Arquivos Históricos em História da Ciência do Centro de Lógica da Unicamp sobre o Fundo Ayda Ignez Arruda.Esse Fundo é importante para a memória cientifica da Universidade Estadual de Campinas, visto que a professora Ayda, foi uma das primeiras mulheres a comandar uma das suas unidades de ensino, o Instituto de Matemática, Estatística e Computação Científica.Ela foi membro-fundador do Centro de Lógica da Unicamp e da Sociedade Brasileira de Lógica, sendo presidente dessa instituição de 1978 a 1983.A professora Ayda foi à primeira colaboradora do Professor Newton da Costa, criador da Lógica Paraconsistente. Ela criou e estudou os sistemas não-clássicos de lógicas paraconsistentes. Como pesquisadora atuou na área de Lógicas Paraconsistentes, Lógicas Relevantes e Teoria dos Conjuntos.Ao recebermos o Arquivo da Professora Ayda, fizemos o levantamento biográfico e elaboramos a sua biografia, em seguida arranjamos a documentação ora sob a nossa guarda e elaboramos e os instrumentos de pesquisas. O Inventário Sumário e o Catálogo estão disponibilizamos também em meio eletrônico, neles os pesquisadores encontram descritos os documentos pessoais da titular, correspondências, trabalhos acadêmicos, artigos e como particularidade os recortes de jornais sobre a intervenção sofrida pela Unicamp em 1981.Através dessa documentação temos a possibilidade de conhecer e saber um pouco da vida dessa ilustre professora e assim preservamos a memória de Ayda Ignez Arruda.