1. Большая советская энциклопедия

Тарский

Та́рский

(Tarski)

Альфред (р. 14.1.1902, Варшава), польский логик и математик (с 1939 живёт в США). Полученные Т. результаты относятся к теории множеств, теории булевых алгебр, логикам с формулами бесконечной длины и др. разделам математической логики и оснований математики. Основополагающий характер имеют работы Т. в моделей теории (См. Моделей теория), логической семантике, металогике и методологии дедуктивных наук.

Соч.: Undecidable theories, N. Y., 1954 (соавтор); Logics, semantics, metamathematics, Oxf,, 1956; в рус. пер.— Введение в логику и методологию дедуктивных наук, М., 1948.

Источник: Большая советская энциклопедия на Gufo.me

Значения в других словарях

  1. ТАРСКИЙ — ТАРСКИЙ (Tarski) Альфред – (14 января 1902, Варшава – 27 октября 1983, Беркли) – представитель Львовско-Варшавской школы, польский математик и философ. Новая философская энциклопедия
  2. ТАРСКИЙ — ТАРСКИЙ (Tarski) Альфред (1902-83), американский математик и философ, уроженец Польши. Известен тем, что разработал семантический метод, применяемый в метаматематике (раздел математической логики. Научно-технический словарь
  3. ТАРСКИЙ — ТАРСКИЙ (Tarski) Альфред (1902-1984) — польско-американский логик и математик, один из главных представителей Львовско-варшавской школы. Доцент Варшавского университета (1926). С 1939 в США. Новейший философский словарь
  4. ТАРСКИЙ — ТАРСКИЙ (Tarski) Альфред (1902-83) — польский и американский логик и математик, один из главных представителей львовско-варшавской школы. С 1939 в США. Труды по логико-алгебраической теории моделей, методам изучения исчисления предикатов. Основоположник логической семантики как дедуктивной теории. Большой энциклопедический словарь