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.
Alfred Tarski (1902-1983) has been recognized as one of the finest logicians of all times. He left Poland in 1939 and, in the USA, from 1942 he worked at the University of California, Berkeley. One of the founders of model theory, the influence of his contributions have reached many fields beyond logic, especially in philosophy, mathematics, computer science, economics and linguistics.
Oranizadores / Editors
Leandro Guguitani, Jorge Petrucio Viana e Itala M. Loffredo D´Ottaviano.
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 Tarski.
In 1975, Alfred Tarski, invited by Ayda Arruda and Newton da Costa, visited the Institute of Mathematics, Statistics and Scientific Computing at Unicamp. In this bilingual text, we present an inedited transcription of the two lectures delivered by him on relation algebras, preceded by a brief introduction, with an update on some open problems mentioned by Tarski.
