Альфред Тарський
З Вікіпедії, безкоштовно encyclopedia
Альфред Та́рський (14 січня 1901, Варшава — 26 жовтня 1983, Берклі) — видатний польсько-американський логік, математик, засновник формальної теорії істинності. Йому належить вагомий внесок у теорію моделей, у теорію понять, у розвиток алгебраїчних методів вивчення предикатів, у багатозначну логіку та інші розділи математичної логіки й основ математики. Він став засновником формальної семантики. У роботі «Поняття істини у формалізованих мовах» Тарський дав класичне визначення поняття істини для великої групи формалізованих мов. Йому належить ряд досліджень в галузі методології дедуктивних наук. Роботи Тарського з семантики й металогіки помітно вплинули на розвиток семіотики й слугували зразком застосування формальних методів для аналізу змістовних проблем і теорій. З 1939 — професор Гарвардського і Каліфорнійського університетів (США). Створив теорію семантичних моделей, сформулював дефініції низки понять, зокрема семантичну дефініцію істини для дедуктивних наук. Разом зі Стефаном Банахом розвивав дослідження з теорії ансамблів. Опублікував понад 150 робіт, включно з 9 книгами. Член Польської Академії наук і Національної Академії наук США.
Альфред Тарський | |
---|---|
Alfred Tarski | |
![]() | |
Ім'я при народженні | пол. Alfred Tajtelbaum[1] |
Народився | 14 січня 1901(1901-01-14) Варшава, Польща |
Помер | 26 жовтня 1983(1983-10-26) (82 роки) Берклі, Каліфорнія |
Поховання | Берклі |
Країна | ![]() |
Національність | поляк |
Діяльність | математик, філософ |
Alma mater | Варшавський університет |
Галузь | математика, логіка |
Заклад | Каліфорнійський університет, Берклі |
Посада | голова |
Науковий ступінь | професор |
Вчителі | Ян Лукашевич[2] |
Відомі учні | Jan Kalickid[3] |
Аспіранти, докторанти | Solomon Fefermand[4] Haim Gaifmand[4] Bjarni Jónssond[4] Howard Jerome Keislerd[4] Roger Madduxd[4] Richard Montagued[4] Анжей Мостовський[4] Джулія Робінсон[4] Robert Lawson Vaughtd[4] George McNultyd[4] James Donald Monkd[4] Frederick Burtis Thompsond[4] Ванда Шмелев[4] Leonard Gillmand[4] Anne C. Moreld[4] Don Pigozzid[4] Edgar C. Smith, Jr.d[4] John Elliott Donerd[4] Louise Hoy Chin Limd[4] Robert Earl Bradfordd[4] Haragauri Narayan Guptad[4] Judith (Kan) Ching Ngd[4] Charles Fontaine Martind[4] William Porter Hanfd[4] Benjamin Franklin Wells, IIId[4] Chen Chung Changd[4] |
Членство | Національна академія наук США Американська академія мистецтв і наук Нідерландська королівська академія наук International Union of History and Philosophy of Scienced Асоціація символьної логіки |
Відомий завдяки: | основи сучасної логіки, формальне поняття істини, теорія моделей |
Нагороди | |
![]() ![]() |