Publicado
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.
Publicado
Carta de AIA ao Prof. Andrés R. Raggio, solicitando alterações na data do curso a ser dado por ele e expressando preocupações a respeito da guerra.Ass.: Ayda.
Caixa 26 – FAIA, Ca, P.23, 177
SPCLEARQ
Consulta livre mediante cadastro do pesquisador
Mediante autorização dos Arquivos Históricos/SPCLEARQ
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.
Publicado
Carta de AIA ao Prof. Augusto J. Franco de Oliveira informando sobre a publicação dos "Proceedings" do simpósio de Caracas.
Caixa 26 – FAIA, Ca, P.23, 178
SPCLEARQ
Consulta livre mediante cadastro do pesquisador
Mediante autorização dos Arquivos Históricos/SPCLEARQ
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.
Publicado
Carta, em inglês, de AIA a Mrs. Bonita Ross, agradecendo o review do "Proceedings of the third Brazilian Conference on Mathematical Logic" e informando o novo endereço da SBL nos próximos dois anos.
Caixa 26 – FAIA, Ca, P.23, 179
SPCLEARQ
Consulta livre mediante cadastro do pesquisador
Mediante autorização dos Arquivos Históricos/SPCLEARQ
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.
Publicado
Carta, em inglês, de AIA ao Prof. Carlos Di Prisco, comunicando o recebimento dos convites para participação no VI SLALM e informando dificuldades para conseguir a passagem aérea.
Caixa 26 – FAIA, Ca, P.23, 180
SPCLEARQ
Consulta livre mediante cadastro do pesquisador
Mediante autorização dos Arquivos Históricos/SPCLEARQ
Obs.: informa-se que foram enviados os currículos de AIA, Antônio Mário Antunes Sette e Roberto Cignoli, e que a professora Cecylia Rauszer encontrava-se em Campinas e também poderia participar do evento.
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.
Publicado
Carta, em inglês, de AIA ao Prof. Carlos Di Prisco, informando o envio de alguns currículos e de uma lista com nomes de alguns professores que poderiam participar do congresso em Caracas.
Caixa 26 – FAIA, Ca, P.23, 181
SPCLEARQ
Consulta livre mediante cadastro do pesquisador
Mediante autorização dos Arquivos Históricos/SPCLEARQ
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.
Publicado
Telex, em espanhol, de AIA e Roberto Cignoli ao Prof. C.A. Di Prisco, confirmando participação no Simpósio e informando da visita da Profa. Cecylia Rauszer.
Caixa 26 – FAIA, Ca, P.23, 182
SPCLEARQ
Consulta livre mediante cadastro do pesquisador
Mediante autorização dos Arquivos Históricos/SPCLEARQ
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.
Publicado
Carta, em inglês, de AIA ao Prof. Carlos Di Prisco, solicitando informações sobre a sua passagem aérea e indicando a data que gostaria de chegar a Caracas.
Caixa 26 – FAIA, Ca, P.23, 183
SPCLEARQ
Consulta livre mediante cadastro do pesquisador
Mediante autorização dos Arquivos Históricos/SPCLEARQ
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.
Publicado
Carta, em inglês, de AIA ao Prof. Carlos Di Prisco, solicitando o envio do convite oficial aos professores que participarão do VI SLALM para professores da Unicamp.
Caixa 26 – FAIA, Ca, P.23, 184
SPCLEARQ
Consulta livre mediante cadastro do pesquisador
Mediante autorização dos Arquivos Históricos/SPCLEARQ
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.
Publicado
Telex, em inglês, de AIA ao Prof. Carlos Di Prisco, informando o preço da passagem aérea São Paulo/ Caracas/ São Paulo.
Caixa 26 – FAIA, Ca, P.23, 185
SPCLEARQ
Consulta livre mediante cadastro do pesquisador
Mediante autorização dos Arquivos Históricos/SPCLEARQ
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.
Publicado
Telex, em inglês, de AIA ao Prof. Carlos Di Prisco, acusando recebimento da sua passagem aérea e do Prof. Cignoli.
Caixa 26 – FAIA, Ca, P.23, 186
SPCLEARQ
Consulta livre mediante cadastro do pesquisador
Mediante autorização dos Arquivos Históricos/SPCLEARQ
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.
Publicado
Carta, em inglês, de AIA ao Prof. Carlos Di Prisco, solicitando a mudança de companhia aérea para a sua volta ao Brasil e do Prof. Cignoli.
Caixa 26 – FAIA, Ca, P.23, 187
SPCLEARQ
Consulta livre mediante cadastro do pesquisador
Mediante autorização dos Arquivos Históricos/SPCLEARQ
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.
Publicado
Carta, em inglês, de AIA Profa. Cecylia Rauszer, informando a devolução do auxílio concedido pela Fapesp para sua vinda a Unicamp e solicitando uma nova data para o 1o semestre de 1983.
Caixa 26 – FAIA, Ca, P.23, 188
SPCLEARQ
Consulta livre mediante cadastro do pesquisador
Mediante autorização dos Arquivos Históricos/SPCLEARQ
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.
Publicado
Carta, em inglês, de AIA à Profa. Cecylia Rauszer, informando a devolução do auxílio concedido pela Fapesp para sua vinda a Unicamp e solicitando uma nova data para o 1o semestre de 1983.
Caixa 26 – FAIA, Ca, P.23, 189
SPCLEARQ
Consulta livre mediante cadastro do pesquisador
Mediante autorização dos Arquivos Históricos/SPCLEARQ
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.
Publicado
Carta, em inglês, de AIA à Profa. Cecylia Rauszer, falando sobre sua visita a Campinas no 1o semestre de 1983 e informando aproximadamente o valor que ela receberia. Ass.: Ayda.
Caixa 26 – FAIA, Ca, P.23, 190
SPCLEARQ
Consulta livre mediante cadastro do pesquisador
Mediante autorização dos Arquivos Históricos/SPCLEARQ
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.
Publicado
Carta, em inglês, de AIA para Cecylia Rauszer, dando informações a respeito do auxílio para a sua visita a Unicamp e sobre a periodicidade do seu curso, e o retorno à direção do IMECC.
Caixa 26 – FAIA, Ca, P.23, 191
SPCLEARQ
Consulta livre mediante cadastro do pesquisador
Mediante autorização dos Arquivos Históricos/SPCLEARQ
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.
Publicado
Carta, em inglês, de AIA à Profa. Cecylia Rauszer informando que enviará o pedido de auxílio à Fapesp e pedindo que a mesma escreva ao Prof. Cignoli, pois passará por uma cirurgia.
Caixa 26 – FAIA, Ca, P.23, 192
SPCLEARQ
Consulta livre mediante cadastro do pesquisador
Mediante autorização dos Arquivos Históricos/SPCLEARQ
Publicado
Carta, em inglês, de AIA ao Dr. Chris Mortensen, solicitando cópia de seu artigo "Paraconsistency and C1".
Caixa 26 – FAIA, Ca, P.23, 193
SPCLEARQ
Consulta livre mediante cadastro do pesquisador
Mediante autorização dos Arquivos Históricos/SPCLEARQ
Publicado
Carta, em inglês, de AIA a Diderik Batens informando o envio do primeiro rascunho de seu paper, que seu trabalho com Newton da Costa está pronto e que a crise na Unicamp ainda não foi solucionada.
Caixa 26 – FAIA, Ca, P.23, 194
SPCLEARQ
Consulta livre mediante cadastro do pesquisador
Mediante autorização dos Arquivos Históricos/SPCLEARQ
Publicado
Carta, em inglês, de AIA a Diderik Batens, acusando recebimento de sua carta e da segunda versão de seu paper, dizendo ter alguns comentários sobre ele, e informando seu retorno à direção do IMECC.
Caixa 26 – FAIA, Ca, P.23, 195
SPCLEARQ
Consulta livre mediante cadastro do pesquisador
Mediante autorização dos Arquivos Históricos/SPCLEARQ
Publicado
Carta, em inglês, de AIA a Diderik Batens, comunicando a finalização do paper (enviado em outro envelope), informando que recebeu proposta da Reidel para publicar seu livro e que planeja ir a Salzburgo
Caixa 26 – FAIA, Ca, P.23, 196
SPCLEARQ
Consulta livre mediante cadastro do pesquisador
Mediante autorização dos Arquivos Históricos/SPCLEARQ
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.
Publicado
Carta, em inglês, de AIA a Diderik Batens, agradecendo sua carta e dizendo estar bem confiante com o tratamento e que espera em breve retornar a fazer pesquisas. Campinas, 06 out. 1982. S.ass. 1p. dat. cópia.
Caixa 26 – FAIA, Ca, P.23, 197
SPCLEARQ
Consulta livre mediante cadastro do pesquisador
Mediante autorização dos Arquivos Históricos/SPCLEARQ
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.
Publicado
Carta, em inglês, de AIA ao Prof. Diderik Batens, comunicando o final do seu tratamento e que está se sentindo bem, e agradecendo a rapidez com que foi publicado o artigo. Campinas, 29 nov. 1982. S.ass.1p. dat. cópia.
Caixa 26 – FAIA, Ca, P.23, 198
SPCLEARQ
Consulta livre mediante cadastro do pesquisador
Mediante autorização dos Arquivos Históricos/SPCLEARQ
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.
Publicado
Carta de AIA ao Prof. E.G.K. Lopez-Escobar contando sobre o retorno aos trabalhos científicos e administrativos, sobre a sua saúde e sobre as atividades de Itala, Sette, Luís Paulo, Cignoli e Elias. Campinas, [20] jan. 1983. S.ass. 2p. dat. cópia.
Caixa 26 – FAIA, Ca, P.23, 199
SPCLEARQ
Consulta livre mediante cadastro do pesquisador
Mediante autorização dos Arquivos Históricos/SPCLEARQ
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.
Publicado
Carta de AIA a E.G.K. Lopez-Escobar, informando sobre o andamento dos seus trabalhos sobre Vasil'év, sobre a visita da Profa. Cecylia Rauszer e sobre a leitura do livro que ele lhe enviou. Campinas, 11 mar. 1983. S.ass. 1p. dat. cópia.
Caixa 26 – FAIA, Ca, P.23, 200
SPCLEARQ
Consulta livre mediante cadastro do pesquisador
Mediante autorização dos Arquivos Históricos/SPCLEARQ
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.
Publicado
Carta, em inglês, de AIA ao Prof. E.G.K. Lopez-Escobar, informando sobre o andamento dos seus artigos sobre Vasil'év e pedindo cópia de alguns textos. Campinas, 08 abr. 1983. S.ass. 1p. dat. cópia.
Caixa 26 – FAIA, Ca, P.23, 201
SPCLEARQ
Consulta livre mediante cadastro do pesquisador
Mediante autorização dos Arquivos Históricos/SPCLEARQ
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.
Publicado
Carta, em inglês, de AIA a E.G.K. Lopez-Escobar, agradecendo o recebimento dos livros, informando a respeito de atividades científicas e sobre o curso que Cecylia Rauszer está ministrando na Unicamp. Campinas, 04 maio 1983. S.ass. 2p.dat cópia.
Caixa 26 – FAIA, Ca, P.23, 202
SPCLEARQ
Consulta livre mediante cadastro do pesquisador
Mediante autorização dos Arquivos Históricos/SPCLEARQ
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.
Publicado
Carta, em inglês, de AIA a E.G.K. Lopez-Escobar, agradecendo o recebimento do livro, informando que talvez não vá ao Congresso de Salsburgo e tecendo alguns comentários sobre a biografia de Ottoline. Campinas, 19 maio 1983. Ass.: Ayda. 1p. dat.
Caixa 26 – FAIA, Ca, P.23, 203
SPCLEARQ
Consulta livre mediante cadastro do pesquisador
Mediante autorização dos Arquivos Históricos/SPCLEARQ
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.
Publicado
Carta, em inglês, de AIA a Francisco Xavier Caicedo, agradecendo correspondência anterior e informando os custos para a publicação de um trabalho no Brasil. S.l., 04 mar. 1982. S.ass. 1p. dat. cópia.
Caixa 26 – FAIA, Ca, P.23, 204
SPCLEARQ
Consulta livre mediante cadastro do pesquisador
Mediante autorização dos Arquivos Históricos/SPCLEARQ
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.
Publicado
Carta, em inglês, de AIA ao professor Xavier Caicedo, informando preços e locais para estadia em Campinas e solicitando esclarecimentos quanto ao seu nome oficial. S.l., 16 mar. 1982. S.ass. 1p. dat. cópia.
Caixa 26 – FAIA, Ca, P.23, 205
SPCLEARQ
Consulta livre mediante cadastro do pesquisador
Mediante autorização dos Arquivos Históricos/SPCLEARQ
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.
Publicado
Telex, em inglês, de AIA a Francisco Xavier Caicedo, solicitando informações sobre sua chegada ao Brasil. IMECC, 18 maio 1982. S.ass. 1p. dat.
Caixa 26 – FAIA, Ca, P.23, 206
SPCLEARQ
Consulta livre mediante cadastro do pesquisador
Mediante autorização dos Arquivos Históricos/SPCLEARQ
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.
Publicado
Carta, em inglês, de AIA a Graham Priest, agradecendo os votos de boa saúde e aprovando as correções feitas em seu artigo. Campinas, 18 jan. 1983. S.ass. 1p. dat. cópia.
Caixa 26 – FAIA, Ca, P.23, 207
SPCLEARQ
Consulta livre mediante cadastro do pesquisador
Mediante autorização dos Arquivos Históricos/SPCLEARQ
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.
Publicado
Telex, em inglês, de AIA a Graham Priest, autorizando a publicação de seu artigo. IMECC, 19 jan. 1983. S.ass. 1p. dat.
Caixa 26 – FAIA, Ca, P.23, 208
SPCLEARQ
Consulta livre mediante cadastro do pesquisador
Mediante autorização dos Arquivos Históricos/SPCLEARQ
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.
Publicado
Carta, em inglês, de AIA a Hristo Smolenov, agradecendo os votos de Feliz Ano Novo, cumprimentando-o pelo doutorado obtido, informando que não tem pesquisado por problemas de saúde. Campinas, 18 jan. 1983. S.ass. 1p. dat. cópia.
Caixa 26 – FAIA, Ca, P.23, 209
SPCLEARQ
Consulta livre mediante cadastro do pesquisador
Mediante autorização dos Arquivos Históricos/SPCLEARQ
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.
Publicado
Carta, em inglês, de AIA a Hristo Smolenov, comentando sobre o sumário e informando sobre seus trabalhos sobre Vasil'év. Campinas, 14 mar. 1983. S.ass. 1p dat. cópia.
Caixa 26 – FAIA, Ca, P.23, 210
SPCLEARQ
Consulta livre mediante cadastro do pesquisador
Mediante autorização dos Arquivos Históricos/SPCLEARQ
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.
Publicado
Carta, em inglês, de AIA a Mrs. J.C. Kwipers, dizendo estar escrevendo um livro sobre Lógica Paraconsistente e que está enviando informações sobre ele e mais dois papers. Campinas, 07 jun. 1982. S.ass. 1p. dat. cópia.
Caixa 26 – FAIA, Ca, P.23, 211
SPCLEARQ
Consulta livre mediante cadastro do pesquisador
Mediante autorização dos Arquivos Históricos/SPCLEARQ
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.
Publicado
Carta, em inglês, de AIA a Jaime Bohorquez, comunicando não haver vagas no Departamento de Matemática e de Ciência da Computação. Campinas, 13 maio 1982. S.ass. 1p. dat.
Caixa 26 – FAIA, Ca, P.23, 212
SPCLEARQ
Consulta livre mediante cadastro do pesquisador
Mediante autorização dos Arquivos Históricos/SPCLEARQ
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.
Publicado
Carta, em inglês, de AIA a Jaime Bohorquez, solicitando cópia de sua dissertação de doutorado e um novo curriculum com o título de sua dissertação de mestrado. Campinas, 06 out. 1982. S.ass. 1p. dat. cópia.
Caixa 26 – FAIA, Ca, P.23, 213
SPCLEARQ
Consulta livre mediante cadastro do pesquisador
Mediante autorização dos Arquivos Históricos/SPCLEARQ
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.
Publicado
Carta, em inglês, de AIA a Jean Norman, solicitando correções em seu artigo que será publicado. Campinas, 22 set. 1982. S.ass. 2p. dat. cópia.
Caixa 26 – FAIA, Ca, P.23, 214
SPCLEARQ
Consulta livre mediante cadastro do pesquisador
Mediante autorização dos Arquivos Históricos/SPCLEARQ
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.
Publicado
Carta, em inglês, de AIA a Kazem Sadegh-Zadeh, agradecendo a correspondência anterior e das cópias de um livro e um artigo; informando que está sem tempo para lê-los. Sl., 25 fev. 1982. S.ass. 1p. dat. cópia.
Caixa 26 – FAIA, Ca, P.23, 215
SPCLEARQ
Consulta livre mediante cadastro do pesquisador
Mediante autorização dos Arquivos Históricos/SPCLEARQ
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.
Publicado
Carta de AIA ao Prof. Lorenzo Peña, comunicando não ter lido seu artigo por falta de tempo. Campinas, 02 jun. 1982. Ass.: Ayda. 1p. dat.
Caixa 26 – FAIA, Ca, P.23, 216
SPCLEARQ
Consulta livre mediante cadastro do pesquisador
Mediante autorização dos Arquivos Históricos/SPCLEARQ
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.
Publicado
Carta de AIA ao Prof. Manuel Corrada, informando que havendo verba da FINEP para o mês de agosto os Profs. George Wilmers e Jeff Paris serão convidados para virem à Unicamp. Campinas, 05 abr. 1983. S.ass. 1p. dat.
Caixa 26 – FAIA, Ca, P.23, 217
SPCLEARQ
Consulta livre mediante cadastro do pesquisador
Mediante autorização dos Arquivos Históricos/SPCLEARQ
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.
Publicado
Carta, em inglês, de AIA a Marck Palasinski, comunicando das dificuldades em obter as passagens aéreas para sua vinda ao Brasil e pedindo que ele passe a se correponder com o Prof. Cignoli. Campinas, 12 set. 1983. S.ass. 1p. dat. cópia.
Caixa 26 – FAIA, Ca, P.23, 218
SPCLEARQ
Consulta livre mediante cadastro do pesquisador
Mediante autorização dos Arquivos Históricos/SPCLEARQ
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.
Publicado
Carta de AIA à professora Maria da Graça Rodrigues, acusando recebimento da data da sua conferência. Cidade Universitária ?Zeferino Vaz?, 30 mar. 1982. S.ass. 1p. dat. cópia.
Caixa 26 – FAIA, Ca, P.23, 219
SPCLEARQ
Consulta livre mediante cadastro do pesquisador
Mediante autorização dos Arquivos Históricos/SPCLEARQ
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.
Publicado
Carta de AIA a Maria da Graça Rodrigues, informando a impossibilidade de viajar para Florianópolis para ministrar a conferência e solicitando sua transferência para o 2o semestre de 1982. S.l., 03 maio 1982. Ass.: Ayda I. Arruda. 1p. dat.
Caixa 26 – FAIA, Ca, P.23, 220
SPCLEARQ
Consulta livre mediante cadastro do pesquisador
Mediante autorização dos Arquivos Históricos/SPCLEARQ
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.
Publicado
Carta de AIA ao editor de Mathematical Reviews, dizendo não ser a pessoa indicada para dar o parecer e sugerindo o professor Newton C.A. da Costa. Campinas, 31 maio 1983. Ass.: Ayda I. Arruda. 1p. dat.
Caixa 26 – FAIA, Ca, P.23, 221
SPCLEARQ
Consulta livre mediante cadastro do pesquisador
Mediante autorização dos Arquivos Históricos/SPCLEARQ
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.
Publicado
Carta de AIA ao professor Newton C.A. da Costa sugerindo algumas discussões sobre a Association for Symbolic Logic e sobre o problema de patrocínio para as reuniões regionais. Campinas, 16 jun. 1982. S.ass. 1p. dat. cópia.
Caixa 26 – FAIA, Ca, P.23, 222
SPCLEARQ
Consulta livre mediante cadastro do pesquisador
Mediante autorização dos Arquivos Históricos/SPCLEARQ
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.
Publicado
Carta de AIA a Oswaldo Chateaubriand acusando recebimento e aceitando convite para um ciclo de conferências sobre Lógica, Filosofia da Linguagem e Filosofia da Ciência e sugerindo dois títulos e a data. S.l., 25 fev. 1982. S.ass. 1p. dat. cópia.
Caixa 26 – FAIA, Ca, P.23, 223
SPCLEARQ
Consulta livre mediante cadastro do pesquisador
Mediante autorização dos Arquivos Históricos/SPCLEARQ
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.
Publicado
Carta de AIA ao Prof. Oswaldo Chateaubriand confirmando a data e o título de sua conferência e informando o envio de cópia de 2 artigos e de seu curriculum. Cidade Universitária ?Zeferino Vaz?, 05 maio 1982. Ass.: Ayda I. Arruda. 1p. dat.
Caixa 26 – FAIA, Ca, P.23, 224
SPCLEARQ
Consulta livre mediante cadastro do pesquisador
Mediante autorização dos Arquivos Históricos/SPCLEARQ
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.
Publicado
Carta, em inglês, de AIA a Paolo Bottura, informando que está tentando tirar cópias dos textos de Vasil'év e que gostaria de obter cópias da tradução para o inglês. Campinas, 31 maio 1982. S.ass. 1p. dat.
Caixa 26 – FAIA, Ca, P.23, 225
SPCLEARQ
Consulta livre mediante cadastro do pesquisador
Mediante autorização dos Arquivos Históricos/SPCLEARQ
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.
Publicado
Carta, em inglês, de AIA a Paolo Bottura, agradecendo o envio de sua tese e informando a finalização da perimeira série de 3 artigos sobre Vasil'év. Campinas, 04 abr. 1983. Ass.: Ayda I. Arruda. 1p. dat.
Caixa 26 – FAIA, Ca, P.23, 226
SPCLEARQ
Consulta livre mediante cadastro do pesquisador
Mediante autorização dos Arquivos Históricos/SPCLEARQ
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.
Publicado
Carta, em inglês, de AIA para The Philosophers Index, enviando o abstract do seu trabalho com outros autores intitulado Who will be listed in the Index. Russell's Set versus The Universal Set in Paraconsistent Set... S.l., 13 mar. 1983. S.ass. 1p.
Caixa 26 – FAIA, Ca, P.23, 227
SPCLEARQ
Consulta livre mediante cadastro do pesquisador
Mediante autorização dos Arquivos Históricos/SPCLEARQ
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.
Publicado
Carta, em inglês, de AIA a Richard, agradecendo sua correspondência, enviando um artigo de Vasil'év de 1912, com tradução em português, e informando sobre suas atividades científicas e administrativas. Campinas, 27 jan. 1982. Ass.: Ayda. 1p. dat.
Caixa 26 – FAIA, Ca, P.23, 228
SPCLEARQ
Consulta livre mediante cadastro do pesquisador
Mediante autorização dos Arquivos Históricos/SPCLEARQ
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.
Publicado
Carta, em inglês, de AIA ao professor Richard Routley, solicitando correções em seu artigo que será publicado. S.l., 02 mar. 1982. S.ass. 2p. dat. cópia.
Caixa 26 – FAIA, Ca, P.23, 229
SPCLEARQ
Consulta livre mediante cadastro do pesquisador
Mediante autorização dos Arquivos Históricos/SPCLEARQ
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.
Publicado
Carta, em inglês, de AIA ao professor Richard Routley, informando que seu artigo com Batens está terminado e que assim que possível enviará uma cópia. Campinas, 13 maio 1982. S.ass. 1p. dat. cópia.
Caixa 26 – FAIA, Ca, P.23, 230
SPCLEARQ
Consulta livre mediante cadastro do pesquisador
Mediante autorização dos Arquivos Históricos/SPCLEARQ
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.
Publicado
Carta, em inglês, de AIA ao Prof. Richard Routley, comunicando o envio do seu artigo corrigido. Campinas, 18 jan. 1983. S.ass. 1p. dat. cópia.
Caixa 26 – FAIA, Ca, P.23, 231
SPCLEARQ
Consulta livre mediante cadastro do pesquisador
Mediante autorização dos Arquivos Históricos/SPCLEARQ
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.
Publicado
Telex, em inglês, de AIA a Richard Routley aprovando a publicação de seu artigo. IMECC, 19 jan. 1983. S.ass. 1p. dat.
Caixa 26 – FAIA, Ca, P.23, 232
SPCLEARQ
Consulta livre mediante cadastro do pesquisador
Mediante autorização dos Arquivos Históricos/SPCLEARQ
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.
Publicado
Carta de AIA ao professor Roberto L. O. Cignoli solicitando pagamento dos serviços prestados por José Veríssimo Teixeira, com verba da Financiadora de Estudos e Projetos (FINEP). Campinas, 15 set. 1983. S.ass. 1p. dat. cópia.
Caixa 26 – FAIA, Ca, P.23, 233
SPCLEARQ
Consulta livre mediante cadastro do pesquisador
Mediante autorização dos Arquivos Históricos/SPCLEARQ
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.
Publicado
Carta, em inglês, de AIA ao professor Ryzard Wojcicki, agradecendo e aceitando o convite para ser membro da ?Advisory Board of Studia Logica?. Campinas, 04 jan. 1982. Ass.: Ayda I. Arruda. 1p. dat.
Caixa 26 – FAIA, Ca, P.23, 234
SPCLEARQ
Consulta livre mediante cadastro do pesquisador
Mediante autorização dos Arquivos Históricos/SPCLEARQ
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.
Publicado
Carta, em inglês, de AIA ao professor S. Gottwald, solicitando que ele escrevesse ao professor Solomon Feferman convidando-o a participar como membership da Association for Symbolic Logic. S.l., 12 abr. 1982. S.ass. 1p. dat. cópia.
Caixa 26 – FAIA, Ca, P.23, 235
SPCLEARQ
Consulta livre mediante cadastro do pesquisador
Mediante autorização dos Arquivos Históricos/SPCLEARQ
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.
Publicado
Carta, em inglês, de AIA a Sava Petrov, mencionando a crise na Universidade, comunicando que está escrevendo outro artigo sobre a lógica de Vasil'év e o envio de dois artigos sobre esse assunto. S.l., 30 mar. 1982. S.ass. 1p. dat. cópia.
Caixa 26 – FAIA, Ca, P.23, 236
SPCLEARQ
Consulta livre mediante cadastro do pesquisador
Mediante autorização dos Arquivos Históricos/SPCLEARQ
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.
Publicado
Carta, em inglês, de AIA ao professor Sava Petrov, informando recebimento do ensaio e dando conta do fim da crise na universidade. Campinas, 06 out. 1982. S.ass. 1p. dat. cópia.
Caixa 26 – FAIA, Ca, P.23, 237
SPCLEARQ
Consulta livre mediante cadastro do pesquisador
Mediante autorização dos Arquivos Históricos/SPCLEARQ
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.
Publicado
Carta, em inglês, de AIA para Sava Petrov, comunicando a retomada dos trabalhos administrativos, seua planos para a realização de novos trabalhos científicos e viagens ao exterior. Campinas, 14 mar. 1983. S.ass. 2p. dat. cópia.
Caixa 26 – FAIA, Ca, P.23, 238
SPCLEARQ
Consulta livre mediante cadastro do pesquisador
Mediante autorização dos Arquivos Históricos/SPCLEARQ
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.
Publicado
Carta, em inglês, de AIA ao professor Solomon Feferman, aprovando proposta de número de membros para a Association for Symbolic Logic e sugerindo a inclusão de um membro. S.l., 12 abr. 1982. S.ass. 1p. dat. cópia.
Caixa 26 – FAIA, Ca, P.23, 239
SPCLEARQ
Consulta livre mediante cadastro do pesquisador
Mediante autorização dos Arquivos Históricos/SPCLEARQ
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.
Publicado
Carta, em inglês, de AIA a Solomon Feferman, informando os problemas de comunicação com a ASL e as conseqüências disto para o Comitê Latino-Americano e na organização dos encontros Latino Americanos. Campinas, 16 jun. 1982. S.ass. 1p. dat. cópia.
Caixa 26 – FAIA, Ca, P.23, 240
SPCLEARQ
Consulta livre mediante cadastro do pesquisador
Mediante autorização dos Arquivos Históricos/SPCLEARQ
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.
Publicado
Carta, em inglês, de AIA a Steve Giambrone enviando lista de suas publicações, indicando pesquisadores em lógica paraconsistente e informando sobre publicação de Itala M.L. D?Ottaviano. Campinas, 10 fev. 1982. Ass.: Ayda Ignez Arruda. 2p. dat.
Caixa 26 – FAIA, Ca, P.23, 241
SPCLEARQ
Consulta livre mediante cadastro do pesquisador
Mediante autorização dos Arquivos Históricos/SPCLEARQ