Тарский

110

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

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

(Thurrock) город в Великобритании, в графстве Эссекс, на р. Темза. 126,8 тыс. Жителей (1974). Судоремонтная, цементная, автомобильная, бумажная, обувная, нефтеперерабатывающая промышленность. В пределах Т. — бассейны Лондонского порта (Тилбери).. ..

Тарс

Гёзлю-Куле, остатки поселения 6-го тысячелетия до н. Э. — 3—4 вв. Н. Э. На окраине современного г. Тарсуса в Турции. Раскопками (1934—38) установлено, что в 6—5-м тысячелетии до н. Э. Т. — неолитический посёлок. В 4-м тысячелетии до н. Э. Распространяется влияние эль-обейдской культуры (См. Эль-обейдская культура). В 3-м тысячелетии до н. Э. Т. — укрепленный городок с развитым металлургическим производством, по-видимому, вошедший во 2-м тысячелетии до н. Э. В состав государства хеттов (найдены ..

Тарский Альфред

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

Тарсус

(Tarsus) город на Ю. Турции, в иле Ичель, на железной дороге и шоссе Адана — Мерсин. 75 тыс. Жителей (1970). Торговый центр крупного хлопководческого района. Хлопкоочистительная, текстильная, цементная и пищевая промышленность.. ..

Тарский

ТАРСКИЙ (Tarski) Альфред (1902-83), американский математик и философ, уроженец Польши. Известен тем, что разработал семантический метод, применяемый в метаматематике (раздел математической логики.) Опубликовал «Введение в логику и методологию дедуктивных наук» (1936, рус.пер.М., 1948) и «Логика, семантика, метаматематика» (1956).. ..

Тарский

ТАРСКИЙ (Tarski) Альфред (1902-1984) - польско-американский логик и математик, один из главных представителей Львовско-варшавской школы. Доцент Варшавского университета (1926). С 1939 в США. Сотрудник Гарвардского университета и Института высших исследований (Прин-стон) - с 1942. Профессор математики Калифорнийского университета (1946). Президент Международного союза истории и философии науки. Президент Ассоциации символической логики. Соредактор известнейшего журнала по логике "The Journal of S..

Дополнительный поиск Тарский Тарский

Добавить комментарий
Комментарии
Комментариев пока нет

На нашем сайте Вы найдете значение "Тарский" в словаре Большая Советская энциклопедия, подробное описание, примеры использования, словосочетания с выражением Тарский, различные варианты толкований, скрытый смысл.

Первая буква "Т". Общая длина 7 символа