ТАРСКИЙ
(Tarski) Альфред (р.
14.1. 1902, Варшава), польский логик и математик (с 1939 живёт в
США). Полученные Т. результаты относятся к теории множеств, теории
булевых алгебр, логикам с формулами бесконечной длины и др. разделам математич.
логики и оснований математики. Основополагающий характер имеют работы Т.
в моделей теории, логической семантике, металогике и методологии
дедуктивных наук.
Соч.: Undecidable theories, N. Y.,
1954 (соавтор); Logics, semantics, metamathematics, Oxr., 1956; в рус.
пер,- Введение в логику и методологию дедуктивных наук, М., 1948.
А Б В Г Д Е Ё Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ъ Ы Ь Э Ю Я