Tarski, Alfred

Alfred Tarski
Alfred Tarski
Jméno při narození polština Alfred Tajtelbaum [1]
Datum narození 14. ledna 1901( 1901-01-14 )
Místo narození Varšava , Polské království , Ruská říše
Datum úmrtí 26. října 1983 (82 let)( 1983-10-26 )
Místo smrti Berkeley , Kalifornie , USA
Země
Vědecká sféra matematika , logika
Místo výkonu práce UC Berkeley
Alma mater Varšavská univerzita
Akademický titul Profesor
vědecký poradce Stanislav Lesněvský
Studenti Julia Robinsonová
Ocenění a ceny Guggenheimovo společenství ( 1941 , 1942 , 1955 )
Logo wikicitátu Citace na Wikicitátu
 Mediální soubory na Wikimedia Commons

Alfred Tarski ( polsky Alfred Tarski ; 14. ledna 1901 , Varšava  - 26. října 1983 , Berkeley , Kalifornie ) - vynikající polsko-americký matematik , logik , zakladatel formální teorie pravdy. Přidružený člen Britské akademie (1966).

Životopis

Alfred Tarski - vlastním jménem Alfred Teitelbaum - se narodil do bohaté rodiny polských Židů Ignaze (Isaaca) Teitelbauma (1869-1942) a Rose (Rahila) Pruského (1879-1942), nejstaršího ze dvou synů. [2] Rodina matky vlastnila velkou textilní továrnu v Lodži a její dědeček Abram Moses Prussak založil první dřevozpracující továrnu ve městě. Jeho otec byl rodák z Varšavy, Tarskiho příbuzní z otcovy strany byli filozofka Zhanna Ersh a její bratr, matematik Josef Hersh (1925-2012). [3] [4] [5]

Nadání pro matematiku se nejprve projevilo ve škole, ale v roce 1918 vstoupil na Varšavskou univerzitu s úmyslem studovat biologii . V tomto roce se Polsko , které do té doby zůstávalo pod nadvládou Ruské říše , stává nezávislým státem a Varšavská univerzita získává status hlavního města. Univerzita, zastoupená Janem Lukasiewiczem , Stanisławem Leśniewskim a Václavem Sierpinskim , se rychle stává světovým lídrem v logice, základech matematiky a filozofii matematiky. Tarskiho matematický talent objevil Lesniewski, který mladého Alfreda odradil od biologie ve prospěch matematiky. Později pod jeho vedením Tarski napsal disertační práci a v roce 1924 získal titul Ph.D. Zároveň se stává nejmladším lékařem v historii Varšavské univerzity. V roce 1923 na radu Lesnevského Alfred spolu se svým bratrem Vatslavem (1903-1944) konvertovali ke křesťanství [6] [7] a změnili si příjmení nejprve na „Taitelbaum-Tarsky“, [8] [9] a dne 21. března 1924 „Tarskému“.

Po obhajobě disertační práce zůstává Tarsky pracovat jako učitel na univerzitě a pomáhat Lesniewskému. Během této doby publikoval řadu článků o logice a teorii množin, které mu přinesly celosvětovou slávu. V roce 1929 se Tarski ožení s Marií Witkowskou, se kterou mají dvě děti: Inu a Jana. V srpnu 1939 odjíždí do Spojených států na vědecký kongres, naštěstí těsně před německou invazí do Polska . Tato okolnost mu očividně zachránila život - během války téměř všichni členové jeho rodiny, kteří zůstali v Polsku, včetně rodičů a bratra, zemřeli rukou nacistů. Tarski nemá jinou možnost než zůstat ve Spojených státech, dočasně přijme práci na Harvardově univerzitě , poté vystřídá několik dalších zaměstnání na různých univerzitách v Americe, až nakonec v roce 1948 obdrží profesorské místo v Berkeley , kde zůstává pracovat až do svého smrt. Zde vytváří svou slavnou školu a mezi svými studenty si získává pověst přísného a velmi náročného vůdce.

Příspěvky k matematice

Tarski je zodpovědný za řadu výsledků o rozhoditelnosti a nerozhodnutelnosti formálních teorií v logice prvního řádu . Jeho nejznámějšími pozitivními výsledky v tomto směru jsou věty o rozhodnutelnosti pro skutečnou lineární aritmetiku a také euklidovskou geometrii . V prvním případě vyvinul a úspěšně aplikoval metodu eliminace kvantifikátoru , která se stala jednou z hlavních metod pro prokázání rozhodnutelnosti teorií prvního řádu. Ve druhém případě musel Tarski také vyvinout svou vlastní axiomatizaci euklidovské geometrie, která se ukázala být úspěšnější než dříve známá Hilbertova axiomatizace . Negativní výsledky o rozhodnutelnosti byly shrnuty v roce 1953 v Undecidable Theories , kde byla mimo jiné ukázána nerozhodnutelnost teorie svazů , projektivní geometrie a teorie uzavíracích algeber .

Velký vliv měla Tarskiho práce v teorii množin . Jedním z jeho prvních výsledků v této oblasti byl Banach-Tarski paradox objevený v roce 1924 s Banachem . Paradox se v podstatě scvrkl do následujícího: z koule v euklidovském prostoru lze pomocí operací řezání a lepení získat dvě koule, které mají stejný objem jako ta původní. Vysvětlením paradoxu je, že pojem objemu nelze adekvátně interpretovat pro libovolné množiny, totiž takové „množiny bez objemu“ dočasně vznikly v procesu výstavby. Tento paradox měl velký význam pro vývoj teorie míry .

Tarski škola a vliv ve vědě

Tarski za svůj život vyškolil celkem 24 studentů, kteří pod jeho vedením dokončili Ph.D. Jsou mezi nimi taková známá jména jako Andrzej Mostowski , J. Robinson , Solomon Feferman , Richard Montague , Robert Vout , ale i autoři slavné knihy " Teorie modelů " Jerome Keisler a Chang Chenchong . Kromě svých přímých studentů udržoval Tarski kontakty s mnoha dalšími vědci a měl významný vliv na jejich činnost. Mezi ně patří Adolf Lindenbaum , Dana Scott , Leonard Gillman .

Bibliografie

Poznámky

  1. ↑ https://books.google.cat/books?id=wqktlxHo9wkC&pg=PA36 – str. 36.
  2. ↑ Alfred Tarski: Život a logika
  3. ↑ Památce Josepha Hersche
  4. ↑ Anita Burdman Feferman a Solomon Feferman „Alfred Tarski: Život a logika“
  5. ↑ Dva Tarski
  6. ↑ Tarski Alfred - článek z elektronické židovské encyklopedie
  7. ↑ Feferman, 2004 , str. 294.
  8. ↑ Palgrave stoletý společník Principia Mathematica
  9. ↑ Andrzej Mostowski a Foundational Studies : „ Lindenbaum, Presburger, Tarski a Wajsberg byli Židé, ale Lesniewski a Sobocinski (později také Lukasiewicz) byli silně antisemitští. Tento pozdější bod vytvořil různá napětí, také pokud jde o akademické pozice... Lesniewski, jeho doktorandský promotér, mu poradil, aby se asimiloval, aby měl větší šanci na akademický postup .“

Literatura

Odkazy

  Přejděte na položku Wikidata  Tematické stránky
Slovníky a encyklopedie