Algebra de relações : uma axiomatização tarskiana
Leandro Oliva Suguitani
DISSERTAÇÃO
Português
T/UNICAMP Su35a
[Relation algebra]
Campinas, SP : [s.n.], 2008.
69 f.
Orientador: Itala Maria Loffredo D'Ottaviano
Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas
Resumo: Em 1975, Alfred Tarski, um dos maiores lógicos contemporâneos, visitou o Instituto de Matemática, Estatística e Ciência da Computação (IMECC) da Unicamp. Nessa oportunidade, foi organizado um evento, o Simpósio de Lógica Matemática, para recebê-lo. Tarski apresentou então sua axiomatização...
Ver mais
Resumo: Em 1975, Alfred Tarski, um dos maiores lógicos contemporâneos, visitou o Instituto de Matemática, Estatística e Ciência da Computação (IMECC) da Unicamp. Nessa oportunidade, foi organizado um evento, o Simpósio de Lógica Matemática, para recebê-lo. Tarski apresentou então sua axiomatização para o cálculo de relações, conhecida como álgebra de relações (RA). A RA, como teoria formal desenvolvida por Tarski, foi apresentada em duas conferências, que foram pioneiramente gravadas em fita de vídeo e atualmente fazem parte do acervo dos Arquivos Históricos do Centro de Lógica, Epistemologia e História da Ciência (CLE) da Unicamp. Neste trabalho, apresentamos uma transcrição das conferências de Tarski e examinamos o seu conteúdo, inserindo-o no contexto histórico do desenvolvimento da teoria do cálculo de relações, cujo início remonta à alguns trabalhos de De Morgan, Peirce e Schröder. Tendo em vista que a origem dessa teoria já foi devidamente abordada, concentrar-nos-emos mais no conteúdo das conferências de Tarski proferidas no Brasil, sobre RA, dando especial atenção aos problemas deixados em aberto nessa ocasião, e no recente desenvolvimento de sua teoria.
Ver menos
Abstract: In 1975, Alfred Tarski visited the Instituto de Matemática, Estatástica e Ciência da Computação (IMECC) at Unicamp, Brazil. In that ocasion, an event was organized to welcome him, the Simpósio de Lógica Matemática. Tarski's talking was about his axiomatization on the calculus of relations,...
Ver mais
Abstract: In 1975, Alfred Tarski visited the Instituto de Matemática, Estatástica e Ciência da Computação (IMECC) at Unicamp, Brazil. In that ocasion, an event was organized to welcome him, the Simpósio de Lógica Matemática. Tarski's talking was about his axiomatization on the calculus of relations, which in that time was already known as Relation Algebra (RA). In Brazil, the formal theory of RA developed by Tarski was introduced to his audience in two lectures, which were taped and nowadays belongs to the historical files of Arquivos Hist'oricos do Centro de Lógica, Epistemologia e História da Ciência (CLE) at Unicamp. Our work aims to bring Tarski's conferences for public access through our transcription of them, and besides that, it is also our aim to analize Tarski's lectures and put it into the historical context of the development of RA, which origin goes back to some works of De Morgan, Peirce and Schröder. Our focus is on the content of the conferences, specially on the open problems left by Tarski and on the recent development of his theory.
Ver menos
Algebra de relações : uma axiomatização tarskiana
Leandro Oliva Suguitani
Algebra de relações : uma axiomatização tarskiana
Leandro Oliva Suguitani
Exemplares
Nº de exemplares: 2
Não existem reservas para esta obra