Alfred Tarski

Matemático polaco, nascido em 1902 e falecido em 1983, foi professor na Universidade de Varsóvia, sua cidade natal, em Harvard e, desde 1942, na Universidade de Berkeley, Califórnia. Os seus interesses abarcaram áreas bem diversas da matemática. Desenvolveu trabalhos em sistemas dedutivos, teoria da definibilidade, problemas de decisão matemática, álgebra da lógica e universal. Desenvolveu ainda o método semântico para o estudo das linguagens científicas formais.
Como referenciar: Alfred Tarski in Infopédia [em linha]. Porto: Porto Editora, 2003-2020. [consult. 2020-08-07 02:32:36]. Disponível na Internet: