ТАРСКИЙ
ТАРСКИЙ (Tarski) Альфред (1902-83), американский математик и философ, уроженец Польши. Известен тем, что разработал семантический метод, применяемый в метаматематике (раздел математической логики.) Опубликовал «Введение в логику и методологию дедуктивных наук» (1936, рус.пер.М., 1948) и «Логика, семантика, метаматематика» (1956).
Источник:
Научно-технический энциклопедический словарь
на Gufo.me
Значения в других словарях
- Тарский — (Tarski) Альфред (р. 14.1.1902, Варшава), польский логик и математик (с 1939 живёт в США). Полученные Т. результаты относятся к теории множеств, теории булевых алгебр, логикам с формулами бесконечной длины и др. Большая советская энциклопедия
- ТАРСКИЙ — ТАРСКИЙ (Tarski) Альфред – (14 января 1902, Варшава – 27 октября 1983, Беркли) – представитель Львовско-Варшавской школы, польский математик и философ. Новая философская энциклопедия
- ТАРСКИЙ — ТАРСКИЙ (Tarski) Альфред (1902-1984) — польско-американский логик и математик, один из главных представителей Львовско-варшавской школы. Доцент Варшавского университета (1926). С 1939 в США. Новейший философский словарь
- ТАРСКИЙ — ТАРСКИЙ (Tarski) Альфред (1902-83) — польский и американский логик и математик, один из главных представителей львовско-варшавской школы. С 1939 в США. Труды по логико-алгебраической теории моделей, методам изучения исчисления предикатов. Основоположник логической семантики как дедуктивной теории. Большой энциклопедический словарь
