Тарский

Определение "Тарский" в НТС

ТАРСКИЙ (Tarski) Альфред (1902-83), американский математик и философ, уроженец Польши. Известен тем, что разработал семантический метод, применяемый в метаматематике (раздел математической логики.) Опубликовал «Введение в логику и методологию дедуктивных наук» (1936, рус. пер. М., 1948) и «Логика, семантика, метаматематика» (1956).