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

1902—1988

БИОГРАФИЧЕСКИЙ УКАЗАТЕЛЬ

XPOHOC

ВВЕДЕНИЕ В ПРОЕКТ

БИБЛИОТЕКА ХРОНОСА

ИСТОРИЧЕСКИЕ ИСТОЧНИКИ

БИОГРАФИЧЕСКИЙ УКАЗАТЕЛЬ

ПРЕДМЕТНЫЙ УКАЗАТЕЛЬ

ГЕНЕАЛОГИЧЕСКИЕ ТАБЛИЦЫ

СТРАНЫ И ГОСУДАРСТВА

ЭТНОНИМЫ

РЕЛИГИИ МИРА

СТАТЬИ НА ИСТОРИЧЕСКИЕ ТЕМЫ

МЕТОДИКА ПРЕПОДАВАНИЯ

КАРТА САЙТА

АВТОРЫ ХРОНОСА

ХРОНОС:

В Фейсбуке

ВКонтакте

В ЖЖ

Twitter

Форум

Личный блог

Родственные проекты:

РУМЯНЦЕВСКИЙ МУЗЕЙ

ДОКУМЕНТЫ XX ВЕКА

ИСТОРИЧЕСКАЯ ГЕОГРАФИЯ

ПРАВИТЕЛИ МИРА

ВОЙНА 1812 ГОДА

ПЕРВАЯ МИРОВАЯ

СЛАВЯНСТВО

ЭТНОЦИКЛОПЕДИЯ

АПСУАРА

РУССКОЕ ПОЛЕ

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

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

Философский энциклопедический словарь. — М.: Советская энциклопедия. Гл. редакция: Л. Ф. Ильичёв, П. Н. Федосеев, С. М. Ковалёв, В. Г. Панов. 1983.

Сочинения: Undecidable theories,   Ν. Υ·,   1954   (соавтор);   Logic, seman-tics, metamathematics, Oxf., 1956; в рус. пер.— Введение в логику и методологию дедуктивных наук, М., 1948; Истина и доказательство, «ВФ»,  1972, № 8.

Литература: Чудинов Э. М., Природа научной истины, М., 1977, гл. 1.

Вернуться на главную страницу Тарского

ХРОНОС: ВСЕМИРНАЯ ИСТОРИЯ В ИНТЕРНЕТЕ

ХРОНОС существует с 20 января 2000 года,

Редактор Вячеслав Румянцев

При цитировании давайте ссылку на ХРОНОС