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

ТАРСКИЙ АЛЬФРЕД

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


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

  1. тарский альфред—Tarski Alfred польск. математик логик и философ. Получил известность благодаря своим работам х гг. о понятиях истины и логического следования вошли в издание г. Логика ...Народы и культуры. Оксфордская энцкилопедия
  2. тарский альфред—p. . Baршава польск. логик и математик один из гл. представителей львовсковаршавркой школы. С в США. Внс значит. вклад в разработку методов решения проблемы разрешения в ...Советский философский словарь
  3. тарский альфред—Tarski Альфред р. янв. логик и математик один из наиболее значит. представителей львовсковаршавской школы. Философские и логич. взгляды Т. сложились под влиянием Котар...Философская Энциклопедия (в 5 томах)
  4. тарский альфред—род. янв. Варшава польск.амер. логик и математик. С живет в США. Основоположник формальной семантики изучающей значения понятий и суждений в логике дал определение кл...Философский энциклопедический словарь