Descrição

Em 1975, Alfred Tarski, a convite de Ayda Arruda e Newton da Costa, visitou o Instituto de Matemática, Estatística e Computação Científica da Unicamp. Neste texto, bilíngue, apresentamos uma transcrição inédita das duas conferências proferidas por ele sobre álgebras relacionais, precedida por uma breve introdução, com a atualização de alguns problemas em aberto mencionados por ele.

Alfred Tarski (1902-1983) é considerado um dos maiores lógicos de todos os tempos. Deixou a Polônia em 1939 e, nos Estados Unidos, a partir de 1942 trabalhou na Universidade da Califórnia, Berkeley. Criador da teoria de modelos, os desdobramentos de suas contribuições à lógica atingem várias áreas do conhecimento, principalmente a filosofia, a matemática, a computação, a economia e a linguística.