===== TARSKI =====
Tarski, Alfred (1901-1983) Matemático e [[lexico:l:logico:start|lógico]] de [[lexico:o:origem:start|origem]] polonesa (nascido em Varsóvia); professor na Universidade de Varsóvia de 1926 a 1939, radicou-se depois nos Estados Unidos onde foi professor na Universidade da Califórnia, em [[lexico:b:berkeley:start|Berkeley]] (1942). Tarski notabilizou-se por sua contribuição a questões de fundamentos da [[lexico:m:matematica:start|matemática]] e de [[lexico:l:logica:start|lógica]], sendo particularmente importantes seus trabalhos em [[lexico:s:semantica:start|semântica]] [[lexico:f:formal:start|formal]] e sua formulação do [[lexico:c:conceito:start|conceito]] de [[lexico:v:verdade:start|verdade]] para as linguagens formais. Obras principais: O conceito de verdade nas linguagens formais (1935), Introdução à [[lexico:l:logica-matematica:start|lógica matemática]] (1936), Lógica, semântica e metamatemática (1956).

{{indexmenu>.#1|skipns=/^playground|^wiki/ nsonly}}