Тарский Альфред |
|
1902—1988 |
БИОГРАФИЧЕСКИЙ УКАЗАТЕЛЬ |
XPOHOCВВЕДЕНИЕ В ПРОЕКТФОРУМ ХРОНОСАНОВОСТИ ХРОНОСАБИБЛИОТЕКА ХРОНОСАИСТОРИЧЕСКИЕ ИСТОЧНИКИБИОГРАФИЧЕСКИЙ УКАЗАТЕЛЬПРЕДМЕТНЫЙ УКАЗАТЕЛЬГЕНЕАЛОГИЧЕСКИЕ ТАБЛИЦЫСТРАНЫ И ГОСУДАРСТВАЭТНОНИМЫРЕЛИГИИ МИРАСТАТЬИ НА ИСТОРИЧЕСКИЕ ТЕМЫМЕТОДИКА ПРЕПОДАВАНИЯКАРТА САЙТААВТОРЫ ХРОНОСАРодственные проекты:РУМЯНЦЕВСКИЙ МУЗЕЙДОКУМЕНТЫ 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 года,Редактор Вячеслав РумянцевПри цитировании давайте ссылку на ХРОНОС |