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

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


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


Большая советская энциклопедия. — М.: Советская энциклопедия. 1969—1978.

Игры ⚽ Нужна курсовая?

Смотреть что такое "Тарский Альфред" в других словарях:

  • Тарский, Альфред — Альфред Тарский Alfred Tarski Дата рождения …   Википедия

  • Тарский Альфред — (Tarski) (1902 1983), логик и математик, один из главных представителей львовско варшавской школы. С 1939 в США. Труды по логико алгебраической теории моделей, методам изучения исчисления предикатов. Основоположник логической семантики как… …   Энциклопедический словарь

  • Тарский Альфред — Семантика Тарского и интуиционизм Брауэра     Альфред Тарский (1902 1984) в работе «Понятие истины в формализованных языках» (1934) разработал теорию моделей. Уточняя понятие истины и семантического (а не синтаксического) понятия логического… …   Западная философия от истоков до наших дней

  • Тарский Альфред — …   Википедия

  • Тарский Альфред — (Tarski, Alfred) (1902 83), польск. математик, логик и философ. Получил известность благодаря своим работам 1930 х гг. о понятиях истины и логического следования (вошли в издание 1972 г.: Логика, семантика и метаматематика), крые составляют лишь… …   Народы и культуры

  • Тарский — фамилия и топоним. Известные носители Тарский, Альфред Тарский, Юрий Семёнович Топоним Тарский хутор, Курский район, Ставропольский край См. также Тарский район Омская область …   Википедия

  • ТАРСКИЙ — (Tarski) Альфред (1901 1983) пол. логик и математик. Изучал математику и философию в Варшаве в 1919 1923; его учителями были логики С. Лесьневский и Я. Лукасевич, математик В. Серпиньский и философ Т. Котарбиньский. В 1925 1939 Т. преподавал… …   Философская энциклопедия

  • ТАРСКИЙ (Tarski) Альфред — (1902 83) польский и американский логик и математик, один из главных представителей львовско варшавской школы. С 1939 в США. Труды по логико алгебраической теории моделей, методам изучения исчисления предикатов. Основоположник логической… …   Большой Энциклопедический словарь

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

  • ТАРСКИЙ — (Tarski) Альфред (1902 1984) польско американский логик и математик, один из главных представителей Львовско варшавской школы. Доцент Варшавского университета (1926). С 1939 в США. Сотрудник Гарвардского университета и Института высших… …   Новейший философский словарь


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»