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

Определение "Тарский Альфред" в Большой Советской Энциклопедии

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



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



"БСЭ" >> "Т" >> "ТА" >> "ТАР" >> "ТАРС"

Статья про "Тарский Альфред" в Большой Советской Энциклопедии была прочитана 29 раз
Коптим скумбрию в коробке
Пицца в чугунной сковородке

TOP 20