Тарский
(Tarski) Альфред (р. 14.1.1902, Варшава), польский логик и математик (с 1939 живёт в США). Полученные Т. Результаты относятся к теории множеств, теории булевых алгебр, логикам с формулами бесконечной длины и др. Разделам математической логики и оснований математики. Основополагающий характер имеют работы Т. В моделей теории (См. Моделей теория), логической семантике, металогике и методологии дедуктивных наук. Соч. Undecidable theories, N. Y., 1954 (соавтор). Logics, semantics, metamathematics, Oxf,, 1956. В рус. Пер.— Введение в логику и методологию дедуктивных наук, М., 1948..
Дополнительный поиск Тарский
На нашем сайте Вы найдете значение "Тарский" в словаре Большая Советская энциклопедия, подробное описание, примеры использования, словосочетания с выражением Тарский, различные варианты толкований, скрытый смысл.
Первая буква "Т". Общая длина 7 символа