Alfred Tarski

polsko-americký logik a matematik
(přesměrováno z Alfred Teitelbaum)

Alfred Tarski (14. ledna 1901, Varšava, Ruskem ovládaná část Polska26. října 1983, Berkeley, Kalifornie, USA) byl polský logik a matematik, který téměř 40 let žil a pracoval v USA. Zabýval se zejména matematickou logikou, teorií modelů, algebrou a teorií množin. Publikoval však také články z jiných oblastí matematiky. Významným způsobem ovlivnil rozvoj logiky a matematiky ve 20. století.

Alfred Tarski
Alfred Tarski (1968)
Alfred Tarski (1968)
Rodné jménoAlfred Tajtelbaum a Alfred Teitelbaum
Narození14. ledna 1901
Varšava, Ruské impériumRuské impérium Ruské impérium (dnešní Polsko)
Úmrtí26. října 1983 (ve věku 82 let)
Berkeley, Kalifornie, USAUSA USA
Místo pohřbeníBerkeley
Povolánímatematik a filozof
Alma materSzkoła Mazowiecka (1915–1918)
Varšavská univerzita (1918–1924)
Tématalogika, teorie modelů a matematika
Významná dílaŁoś–Tarski preservation theorem
Knaster–Tarski theorem
Tarski's theorem
Tarského věta o nedefinovatelnosti
Tarski–Seidenberg theorem
… více na Wikidatech
OceněníGuggenheimovo stipendium (1941, 1942 a 1955)
VlivyCharles Sanders Peirce
Logo Wikimedia Commons multimediální obsah na Commons
Seznam dělSouborném katalogu ČR
Některá data mohou pocházet z datové položky.

Život editovat

Alfred Tarski se narodil jako Alfred Tajtelbaum (také psáno Teitelbaum) do varšavské židovské rodiny. Již na střední škole se u něj projevilo matematické nadání, přesto však roku 1918 nastoupil na varšavské univerzitě ke studiu biologie. Brzy však začal navštěvovat kurzy logiky, matematiky a filozofie matematiky, které ve Varšavě vedli Jan Łukasiewicz, Wacław Sierpiński, Stefan Mazurkiewicz a Tadeusz Kotarbiński. Doktorát získal pod vedením Stanisława Leśniewského. Roku 1923 si spolu se svým bratrem Wacławem změnil příjmení na Tarski. Důvodem byla snadnější výslovnost tohoto jména v polštině. Další možnou motivací pro změnu jména mohla být snaha zakrýt svůj židovský původ kvůli získání dobrého místa na univerzitě; tomu nasvědčuje i to, že ve stejnou dobu a ačkoli byl ateista, konvertoval Tarski k římskokatolické církvi.

Po získání doktorátu učil Tarski matematiku a logiku na několika polských univerzitách a také na jedné střední škole. Roku 1929 se oženil s Marií Witowskou se kterou měl dvě děti.

Ve třicátých letech opakovaně navštívil Vídeň, kde se seznámil s Kurtem Gödelem, a také Paříž.

Roku 1939 byl pozván na kongres konaný na Harvard University v USA, což mu možná zachránilo život. Z Polska totiž odjel v srpnu 1939 poslední lodí do Spojených států, která z Polska vyplula před německou invazí a vypuknutím druhé světové války. O tom, že si tohoto nebezpečí nebyl vůbec vědom, svědčí to, že doma zanechal svoji ženu i s oběma dětmi. Setkal se s nimi znovu až v roce 1946. V USA získal Tarski postupně místa na několika univerzitách, mezi nimiž nejvýznamnější byly Harvard University a Institute for Advanced Study v Princetonu, kde se znovu setkal s Gödelem. Americké občanství získal roku 1945.

Od roku 1942 učil Tarski na univerzitě v Berkeley, kde strávil zbytek svého života. Vychoval zde 24 doktorandů, mezi nimiž byli například Alfred Lindenbaum, Dana Scott, Andrzej Mostowski, Julia Robinson, Robert Vaught, Solomon Feferman, Richard Montague nebo J. Donald Monk.

Myšlení a dílo editovat

Odkazy editovat

Související články editovat

Externí odkazy editovat