www.wikidata.uk-ua.nina.az

Альфред Тарський Альфред Та рський 14 січня 1901 Варшава 26 жовтня 1983 Берклі видатний польсько американський логік мат

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

Альфред Та́рський (14 січня 1901, Варшава — 26 жовтня 1983, Берклі) — видатний польсько-американський логік, математик, засновник формальної теорії істинності. Йому належить вагомий внесок у теорію моделей, у теорію понять, у розвиток алгебраїчних методів вивчення предикатів, у багатозначну логіку та інші розділи математичної логіки й основ математики. Він став засновником формальної семантики. У роботі «Поняття істини у формалізованих мовах» Тарський дав класичне визначення поняття істини для великої групи формалізованих мов. Йому належить ряд досліджень в галузі методології дедуктивних наук. Роботи Тарського з семантики й металогіки помітно вплинули на розвиток семіотики й слугували зразком застосування формальних методів для аналізу змістовних проблем і теорій. З 1939 — професор Гарвардського і Каліфорнійського університетів (США). Створив теорію семантичних моделей, сформулював дефініції ряду понять, в тому числі семантичну дефініцію істини для дедуктивних наук. Разом зі Стефаном Банахом розвивав дослідження з теорії ансамблів. Опублікував понад 150 робіт, включно з 9 книгами. Член Польської Академії наук і Національної Академії наук США.

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

Життя Редагувати

Альфред Тарський (Альфред Тайтельбаум) — народився у заможній родині польських євреїв Ігнаца Тайтельбаума і Рози Пруссак. Схильність до математики вперше проявилася в школі, проте в 1918 році він вступив до Варшавського університету з наміром вивчати біологію.

У 1918 році Польща, що залишалася до того під владою Російської імперії, стає незалежною державою, і Варшавський університет набуває столичного статусу. Представлений Яном Лукасевичем, Станіславом Лесневським і Вацлавом Серпінським, університет швидко виходить до світових лідерів за логікою, основами математики, філософії математики. Математичний талант Тарського був відкритий Лесневським. Пізніше під його керівництвом Тарський пише дисертацію, і в 1924 році отримує ступінь доктора філософії. При цьому він стає наймолодшим доктором за всю історію Варшавського університету.

У 1923 Альфред разом зі своїм братом Вацлавом приймають християнство і змінюють прізвище на «Тарський». Це прізвище було обрано, тому що воно було простим та не дуже поширеним. Тарський намагався не афішувати своє єврейське походження, так як ідентифікував себе як поляк, і прагнув бути сприйнятим таким.

Після захисту дисертації Тарський залишається працювати викладачем в університеті. За цей час він публікує серію робіт з логіки та теорії множин, що принесли йому визнання. У 1929 Тарський одружується з Марією Вітковською, з якою у них народжується двоє дітей: Інна і Ян.

У серпні 1939 він відбуває до США для участі в науковому конгресі, завдяки щасливому випадку якраз незадовго до вторгнення німецьких військ до Польщі. Ця обставина, очевидно, врятувала йому життя — за час війни майже всі члени його родини, що залишилися в Польщі, загинули від рук нацистів. Не маючи іншого вибору, окрім як залишитися в Сполучених Штатах, Тарський тимчасово влаштовується в Гарвардський Університет, потім змінює ще кілька місць роботи в різних університетах Америки, поки не отримує в 1948 році професорську вакансію в Берклі, де залишається працювати до самої смерті. Тут він створює свою знамениту школу і заслуговує серед учнів репутацію суворого і дуже вимогливого керівника.

Внесок у математику Редагувати

Великий вплив мали роботи Тарського в теорії множин. Одним з його перших результатів у цій області був відкритий у 1924 спільно з Банахом «Парадокс Банаха—Тарського». Парадокс зводився до наступного: з кулі в евклідовому просторі можна шляхом операцій розрізання та склеювання отримати дві таких самих кулі. Пояснення парадоксу полягає в тому, що поняття об'єму не може бути адекватно витлумачено для довільних множин. Парадокс мав велике значення для розвитку теорії міри.

Школа Тарського Редагувати

За своє життя Тарський підготував в цілому 24 студентів, які захистили ступінь доктора філософії під його керівництвом. Серед них є такі відомі імена: Андрій Мостовський, Юлія Робінсон, Соломон Феферман, Річард Монтегю, Роберт Воут, а також Джером Кейслер і Чен-Чунь Чен, — автори класичного твору «Теорія моделей» (1973) . Крім своїх безпосередніх студентів Тарський підтримував контакти з багатьма іншими вченими, і мав великий вплив на їх діяльність. Серед таких були: Альфред Лінденбаум, Дана Скотт, Леонард Гіллман.

Найважливішим досягненням школи, в галузі філософії, є Теорія істинності Тарського, 1933 рік.

Висновок Редагувати

Тарського визнано одним з чотирьох найвидатніших логіків всіх часів[джерело?]. Іншими трьома були: Арістотель, Фреге і Гедель. З цього переліку Тарський був найпрацьовитішим, бо лише зібрання його статей налічує 2500 сторінок, більшість з них по математиці. Тарський вніс вагомий внесок у багато галузей математики, таких як: теорію множин, теорію міри, топологію, геометрію, класичну та універсальну алгебру, алгебраїчну логіку, різних галузей формальної логіки і метаматематики. Він створив аксіоми для «логічного наслідку». З цього всього можна зробити висновок, що Альфред Тарський дійсно був видатною особистістю і слугує нащадкам зразком для наслідування.

Праці Редагувати

  • Тарский А. Введение в логику и методологию дедуктивных наук = Introduction to Logic and to the Methodology of Deductive Sciences. — М. : ИЛ, 1948. — 327 с.
  • Henkin L., Monk D., Tarski A. Cylindric Algebras. — North-Holland, 1971-1985.
  • Tarski A. A decision method for elementary algebra and geometry. — RAND Corp, 1948.
  • Tarski A., Givant S. A Formalization of Set Theory Without Variables. — American Mathematical Society, 1987.
  • Tarski A. Cardinal Algebras. — Oxford University Press, 1949.
  • Tarski A. Ordinal Algebras. — North-Holland, 1956.
  • Tarski A., Mostowski A., Robinson R. M. Undecidable Theories. — North-Holland, 1953.

Див. також Редагувати

Примітки Редагувати

  1. https://books.google.cat/books?id=wqktlxHo9wkC&pg=PA36 — С. 36.
  2. ↑ https://plato.stanford.edu/entries/tarski/
  3. https://mathshistory.st-andrews.ac.uk/Biographies/Kalicki/
  4. ↑ Математичний генеалогічний проєкт — 1997.
    d:Track:Q829984
  5. Chang, C.C., and Keisler, H.J., 1973. Model Theory. North-Holland, Amsterdam. American Elsevier, New York.
  6. Матиясевич Ю. В. «Алгоритм Тарского» // Компьютерные инструменты в образовании, 2008, Выпуск № 6
  7. Алгоритм Тарского [ 29 березня 2017 у Wayback Machine.] // семінар «Вступ в Computer Science», доповідь Матіясевича (2004)
  8. База даних малих космічних тіл JPL: Альфред Тарський (англ.). 
Вікісховище має мультимедійні дані за темою: Альфред Тарський


Джерела Редагувати

Посилання Редагувати

Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри
Дата публікації:
Alfred Ta rskij 14 sichnya 1901 Varshava 26 zhovtnya 1983 Berkli vidatnij polsko amerikanskij logik matematik zasnovnik formalnoyi teoriyi istinnosti Jomu nalezhit vagomij vnesok u teoriyu modelej u teoriyu ponyat u rozvitok algebrayichnih metodiv vivchennya predikativ u bagatoznachnu logiku ta inshi rozdili matematichnoyi logiki j osnov matematiki Vin stav zasnovnikom formalnoyi semantiki U roboti Ponyattya istini u formalizovanih movah Tarskij dav klasichne viznachennya ponyattya istini dlya velikoyi grupi formalizovanih mov Jomu nalezhit ryad doslidzhen v galuzi metodologiyi deduktivnih nauk Roboti Tarskogo z semantiki j metalogiki pomitno vplinuli na rozvitok semiotiki j sluguvali zrazkom zastosuvannya formalnih metodiv dlya analizu zmistovnih problem i teorij Z 1939 profesor Garvardskogo i Kalifornijskogo universitetiv SShA Stvoriv teoriyu semantichnih modelej sformulyuvav definiciyi ryadu ponyat v tomu chisli semantichnu definiciyu istini dlya deduktivnih nauk Razom zi Stefanom Banahom rozvivav doslidzhennya z teoriyi ansambliv Opublikuvav ponad 150 robit vklyuchno z 9 knigami Chlen Polskoyi Akademiyi nauk i Nacionalnoyi Akademiyi nauk SShA Alfred TarskijAlfred TarskiAlfred Tarskij u 1968 roci Alfred Tarskij u 1968 rociIm ya pri narodzhenni pol Alfred Tajtelbaum 1 Narodivsya 14 sichnya 1901 1901 01 14 Varshava PolshaPomer 26 zhovtnya 1983 1983 10 26 82 roki Berkli KaliforniyaPohovannya BerkliKrayina SShANacionalnist polyakDiyalnist matematik filosofAlma mater Varshavskij universitetGaluz matematika logikaZaklad Kalifornijskij universitet BerkliPosada golovaNaukovij stupin profesorVchiteli Yan Lukashevich 2 Vidomi uchni Jan Kalickid 3 Aspiranti doktoranti Solomon Fefermand 4 Haim Gaifmand 4 Bjarni Jonssond 4 Howard Jerome Keislerd 4 Roger Madduxd 4 Richard Montagued 4 Anzhej Mostovskij 4 Dzhuliya Robinson 4 Robert Lawson Vaughtd 4 George McNultyd 4 James Donald Monkd 4 Frederick Burtis Thompsond 4 Vanda Shmelev 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 Chlenstvo Nacionalna akademiya nauk SShA Amerikanska akademiya mistectv i nauk Niderlandska korolivska akademiya naukVidomij zavdyaki osnovi suchasnoyi logiki formalne ponyattya istini teoriya modelejNagorodi Grant Guggengajma 1941 1942 1955 Vislovlyuvannya u Vikicitatah Alfred Tarskij u Vikishovishi Zmist 1 Zhittya 2 Vnesok u matematiku 3 Shkola Tarskogo 4 Visnovok 5 Praci 6 Div takozh 7 Primitki 8 Dzherela 9 PosilannyaZhittya RedaguvatiAlfred Tarskij Alfred Tajtelbaum narodivsya u zamozhnij rodini polskih yevreyiv Ignaca Tajtelbauma i Rozi Prussak Shilnist do matematiki vpershe proyavilasya v shkoli prote v 1918 roci vin vstupiv do Varshavskogo universitetu z namirom vivchati biologiyu U 1918 roci Polsha sho zalishalasya do togo pid vladoyu Rosijskoyi imperiyi staye nezalezhnoyu derzhavoyu i Varshavskij universitet nabuvaye stolichnogo statusu Predstavlenij Yanom Lukasevichem Stanislavom Lesnevskim i Vaclavom Serpinskim universitet shvidko vihodit do svitovih lideriv za logikoyu osnovami matematiki filosofiyi matematiki Matematichnij talant Tarskogo buv vidkritij Lesnevskim Piznishe pid jogo kerivnictvom Tarskij pishe disertaciyu i v 1924 roci otrimuye stupin doktora filosofiyi Pri comu vin staye najmolodshim doktorom za vsyu istoriyu Varshavskogo universitetu U 1923 Alfred razom zi svoyim bratom Vaclavom prijmayut hristiyanstvo i zminyuyut prizvishe na Tarskij Ce prizvishe bulo obrano tomu sho vono bulo prostim ta ne duzhe poshirenim Tarskij namagavsya ne afishuvati svoye yevrejske pohodzhennya tak yak identifikuvav sebe yak polyak i pragnuv buti sprijnyatim takim Pislya zahistu disertaciyi Tarskij zalishayetsya pracyuvati vikladachem v universiteti Za cej chas vin publikuye seriyu robit z logiki ta teoriyi mnozhin sho prinesli jomu viznannya U 1929 Tarskij odruzhuyetsya z Mariyeyu Vitkovskoyu z yakoyu u nih narodzhuyetsya dvoye ditej Inna i Yan U serpni 1939 vin vidbuvaye do SShA dlya uchasti v naukovomu kongresi zavdyaki shaslivomu vipadku yakraz nezadovgo do vtorgnennya nimeckih vijsk do Polshi Cya obstavina ochevidno vryatuvala jomu zhittya za chas vijni majzhe vsi chleni jogo rodini sho zalishilisya v Polshi zaginuli vid ruk nacistiv Ne mayuchi inshogo viboru okrim yak zalishitisya v Spoluchenih Shtatah Tarskij timchasovo vlashtovuyetsya v Garvardskij Universitet potim zminyuye she kilka misc roboti v riznih universitetah Ameriki poki ne otrimuye v 1948 roci profesorsku vakansiyu v Berkli de zalishayetsya pracyuvati do samoyi smerti Tut vin stvoryuye svoyu znamenitu shkolu i zaslugovuye sered uchniv reputaciyu suvorogo i duzhe vimoglivogo kerivnika Vnesok u matematiku RedaguvatiVelikij vpliv mali roboti Tarskogo v teoriyi mnozhin Odnim z jogo pershih rezultativ u cij oblasti buv vidkritij u 1924 spilno z Banahom Paradoks Banaha Tarskogo Paradoks zvodivsya do nastupnogo z kuli v evklidovomu prostori mozhna shlyahom operacij rozrizannya ta skleyuvannya otrimati dvi takih samih kuli Poyasnennya paradoksu polyagaye v tomu sho ponyattya ob yemu ne mozhe buti adekvatno vitlumacheno dlya dovilnih mnozhin Paradoks mav velike znachennya dlya rozvitku teoriyi miri Shkola Tarskogo RedaguvatiZa svoye zhittya Tarskij pidgotuvav v cilomu 24 studentiv yaki zahistili stupin doktora filosofiyi pid jogo kerivnictvom Sered nih ye taki vidomi imena Andrij Mostovskij Yuliya Robinson Solomon Feferman Richard Montegyu Robert Vout a takozh Dzherom Kejsler i Chen Chun Chen avtori klasichnogo tvoru Teoriya modelej 1973 5 Krim svoyih bezposerednih studentiv Tarskij pidtrimuvav kontakti z bagatma inshimi vchenimi i mav velikij vpliv na yih diyalnist Sered takih buli Alfred Lindenbaum Dana Skott Leonard Gillman Najvazhlivishim dosyagnennyam shkoli v galuzi filosofiyi ye Teoriya istinnosti Tarskogo 1933 rik Visnovok RedaguvatiTarskogo viznano odnim z chotiroh najvidatnishih logikiv vsih chasiv dzherelo Inshimi troma buli Aristotel Frege i Gedel Z cogo pereliku Tarskij buv najpracovitishim bo lishe zibrannya jogo statej nalichuye 2500 storinok bilshist z nih po matematici Tarskij vnis vagomij vnesok u bagato galuzej matematiki takih yak teoriyu mnozhin teoriyu miri topologiyu geometriyu klasichnu ta universalnu algebru algebrayichnu logiku riznih galuzej formalnoyi logiki i metamatematiki Vin stvoriv aksiomi dlya logichnogo naslidku Z cogo vsogo mozhna zrobiti visnovok sho Alfred Tarskij dijsno buv vidatnoyu osobististyu i sluguye nashadkam zrazkom dlya nasliduvannya Praci RedaguvatiTarskij A Vvedenie v logiku i metodologiyu deduktivnyh nauk Introduction to Logic and to the Methodology of Deductive Sciences M IL 1948 327 s Henkin L Monk D Tarski A Cylindric Algebras North Holland 1971 1985 Tarski A A decision method for elementary algebra and geometry RAND Corp 1948 Tarski A Givant S A Formalization of Set Theory Without Variables American Mathematical Society 1987 Tarski A Cardinal Algebras Oxford University Press 1949 Tarski A Ordinal Algebras North Holland 1956 Tarski A Mostowski A Robinson R M Undecidable Theories North Holland 1953 Div takozh RedaguvatiLvivsko varshavska shkola Teorema Knastera Tarskogo Klini Teorema Tarskogo pro nevirazhennist Algoritm Tarskogo 6 7 13672 Tarski asteroyid nazvanij na chest matematika 8 Spisok ob yektiv nazvanih na chest Alfreda TarskogoPrimitki Redaguvati https books google cat books id wqktlxHo9wkC amp pg PA36 S 36 a b https plato stanford edu entries tarski https mathshistory st andrews ac uk Biographies Kalicki a b v g d e zh i k l m n p r s t u f h c sh sh yu ya aa ab Matematichnij genealogichnij proyekt 1997 d Track Q829984 Chang C C and Keisler H J 1973 Model Theory North Holland Amsterdam American Elsevier New York Matiyasevich Yu V Algoritm Tarskogo Kompyuternye instrumenty v obrazovanii 2008 Vypusk 6 Algoritm Tarskogo Arhivovano 29 bereznya 2017 u Wayback Machine seminar Vstup v Computer Science dopovid Matiyasevicha 2004 Baza danih malih kosmichnih til JPL Alfred Tarskij angl Vikishovishe maye multimedijni dani za temoyu Alfred TarskijDzherela RedaguvatiTarskij Tajtelbaum Alfred Filosofskij enciklopedichnij slovnik V I Shinkaruk gol redkol ta in Kiyiv Institut filosofiyi imeni Grigoriya Skovorodi NAN Ukrayini Abris 2002 S 629 742 s 1000 ekz BBK 87ya2 ISBN 966 531 128 X A I Borodin A S Bugaj Vidatni matematiki Biografichnij slovnik dovidnik K Radyanska shkola 1987 rosijskoyu movoyu Alfred Tarskij na www nndb com svoyeridnomu internetivskomu Who s Who Arhivovano 30 veresnya 2007 u Wayback Machine Alfred Tarskij na sajti Proekt Genealogiya matematiki Mathematics Genealogy Project Arhivovano 9 travnya 2015 u Wayback Machine Posilannya RedaguvatiTarskij Universalnij slovnik enciklopediya 4 te vid K Teka 2006 Otrimano z https uk wikipedia org w index php title Alfred Tarskij amp oldid 37546502