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

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

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

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

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

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

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

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

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

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

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

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