Тарский Альфред
Тарский (Tarski) Альфред (р. 14.1. 1902, Варшава), польский логик и математик (с 1939 живёт в США). Полученные Т. результаты относятся к теории множеств, теории булевых алгебр, логикам с формулами бесконечной длины и др. разделам математической логики и оснований математики. Основополагающий характер имеют работы Т. в моделей теории, логической семантике, металогике и методологии дедуктивных наук.
Соч.: Undecidable theories, N. Y., 1954 (соавтор); Logics, semantics, metamathematics, Oxf,, 1956; в рус. пер.— Введение в логику и методологию дедуктивных наук, М., 1948.
Следующие
Тарсус (Tarsus), город на Ю. Турции, в иле Ичель, на железной дороге и шоссе Адана — Мерсин. 75 тыс. жителей (1970). Торговый це… читать дальше
Тартаков Иоаким Викторович (1860, Одесса, — 23.1.1923, Петроград), русский советский певец (баритон) и режиссёр, заслуженный арт… читать дальше
Тартаковский Михаил Гаврилович (1867—1935), советский эпизоотолог, микробиолог и патологоанатом; магистр ветеринарных наук (1898… читать дальше
