Coleção AMS - Antônio Mário Sette

Área de identificação

Código de referência

BR SPCLEARQ AMS

Título

Antônio Mário Sette

Data(s)

  • 1963-1997 (Produção)

Nível de descrição

Coleção

Dimensão e suporte

Textuais: 197 itens documentais

Área de contextualização

Nome do produtor

Biografia

Antonio Mário Antunes Sette nasceu em Pernambuco. Casou-se com Neide Maria Durães Sette, com a qual teve três filhos. Sette, como é conhecido no meio acadêmico, formou-se Bacharel em Matemática pela Universidade Federal de Pernambuco (UFPe) no ano de 1967. Fez seu mestrado na Universidade Estadual de Campinas, sob a orientação do Professor Newton Carneiro Afonso da Costa. Em 1977, doutorou-se pela Universidade de São Paulo, também sob a orientação do Professor da Costa. Iniciou sua atividade profissional em 1966, como professor da Universidade Federal do Rio Grande do Norte. Em 1968, foi contratado pela Pontifícia Universidade Católica do Rio de Janeiro e logo depois, em 1969, pelo Instituto de Matemática Estatística e Ciência da Computação (IMECC) da Unicamp. Voltou à sua cidade natal, para lecionar na UFPe, a partir de 1971. Nessa Universidade, além das atividades acadêmicas, desempenhou também as funções de Vice-Coordenador de Pós-Graduação do Departamento de Matemática e de Chefe desse Departamento, ambos em 1979. Mas, em 1979 recebe um novo convite para lecionar na Unicamp, e aqui permanece até o seu falecimento.Foi orientando do Professor Leopoldo Nachbin, no Instituto de Matemática Pura e Aplicada (IMPA), no Rio de Janeiro. E, quando esteve em Marseille, na França, na década de 70, trabalhou com o Professor R. Fraissé.Membro fundador da Sociedade Brasileira de Lógica (SBL), criada em 14 de fevereiro de 1979, foi seu primeiro Vice-Presidente, durante a gestão de 1979-1980 e Tesoureiro de 1981-1982.Em 1983, titulou-se Professor Livre Docente. Passou a ser membro do Centro de Lógica, Epistemologia e História da Ciência da Unicamp, em 1982.Na Unicamp exerceu alguns cargos administrativos, entre os quais destacamos o de Diretor e Vice-Diretor do IMECC, de 1984 a 1986, o de Presidente da Comissão Deliberativa do Vestibular, de 1986 a 1990 e o de Pró-Reitor de Graduação, no período de 1986 a 1990.Suas pesquisas e trabalhos foram nas áreas de Álgebra da Lógica, Teoria de Modelos, Método Algébrico em Teoria de Modelos, Aspectos Geométricos das Linguagens Lógicas, Traduções e/ou Interpretações entre Lógicas e Lógicas Não-Clássicas.O Professor Antônio Mario Sette integrava o Grupo de Lógica do CLE/ IFCH-Unicamp.
Participou de aproximadamente 20 Seminários e Simpósios, além de inúmeras participações em bancas examinadoras. Muitas de suas publicações foram com seus pares, dentre eles podemos citar: Ayda Ignez Arruda, Itala Maria Loffredo DOttaviano e Walter Alexandre Carnielli, os três da Unicamp, com Newton C. A. da Costa, Rolando Chuaqui, Xavier Caicedo e Daniele Mundici. O XIII Encontro Brasileiro de Lógica, ocorrido na Unicamp em maio de 2003, foi dedicado à sua memória. O Professor Xavier Caicedo, da Universidade de Los Andes-Colômbia, rendeu-lhe homenagens e destacou as atividades desenvolvidas por Mário Sette enquanto membro do CLE e os vários trabalhos que os dois realizaram na área de lógica.

História do arquivo

Procedência

Área de conteúdo e estrutura

Âmbito e conteúdo

A Coleção AMS traz estudos sobre cálculos proposicionais e lógicas não-clássicas.

Avaliação, selecção e eliminação

Ingressos adicionais

Sistema de arranjo

Séries, Sub-séries e Dossiês.
DPF - Documentos Pessoais e Funcionais
C - Correspondência
PI - Produção Intelectual
DA - Dossiê Alunos
DPUC - Dossiê PUC-Chile
PT - Produção de Terceiros

Área de condições de acesso e uso

Condições de acesso

Consulta livre mediante cadastro do pesquisador

Condiçoes de reprodução

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

Idioma do material

Script do material

Notas ao idioma e script

Características físicas e requisitos técnicos

Instrumentos de descrição

Área de documentação associada

Existência e localização de originais

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

Unidades de descrição relacionadas

Arquivo Central/SIARQ-Unicamp

Descrições relacionadas

Área de notas

Identificador(es) alternativos

Pontos de acesso

Pontos de acesso de assunto

Pontos de acesso local

Ponto de acesso nome

Pontos de acesso de gênero

Área de controle da descrição

Identificador da descrição

Identificador da instituição

Regras ou convenções utilizadas

Status

Nível de detalhamento

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

Idioma(s)

Sistema(s) de escrita(s)

Fontes

Zona da incorporação

Assuntos relacionados

Pessoas e organizações relacionadas

Gêneros relacionados

Lugares relacionados