Matematici

Časová osa Fotografie Peníze Razítka Sketch Hledat

Alfred Tarski

Datum narození:

Místo narození:

Datum úmrtí:

Místo úmrtí:

14 Jan 1902

Warsaw, Russian Empire (now Poland)

26 Oct 1983

Berkeley, California, USA

Prezentace Wikipedia
POZOR - Automatický překlad z anglické verze

Alfred Tarski 's otec byl Ignacy Teitelbaum, židovský obchodník a majitel obchodu kteří se obchoduje ve dřevě. Jeden by mohl rozumně ptát, proč Tarski otec nebyl pojmenován "Tarski" a budeme vysvětlovat, proč v okamžiku, Alfred Teitelbaum změnila své jméno na Alfred Tarski. Nechte nás prostě na vědomí, že nyní Alfred Tarski se skutečně narodila se v rodině název Teitelbaum, a asi prvních 22 let svého života byl znám jako Alfred Teitelbaum. Ignacy Teitelbaum byl ženatý a Prussak Rosa, Rosa, i když nikdy nebyli kariéry, a proto nikdy neměl příležitost ukázat její intelekt, to byla jeho matka, spíše než jeho otec, že Tarski zdědil jeho brilanci. Alfred měl bratra Waclaw Teitelbaum, na které byl blízko, protože byly roste.

Alfred vyrůstal v rodině i mimo kteří oceňují vzdělání. On zúčastnilo Schola Mazowiecka (dále Nizina Mazowiecka je ze strany nížinné oblasti Varšava Polsko, v němž se nachází), která byla na vysoké školy pro intelektuály. Škola dal Alfred širší vzdělání, než by jinak dali obdržela. Studoval témata jako rusky, německy, francouzsky, řecky a latinsky vedle běžných škol témata. Samozřejmě, vystudoval matematiku na vysoké škole, a jeho učitelé uznat, že měl mimořádné talenty v tomto tématu, ale to nebylo předmětem, který byl určen k specializují na na vysoké škole, spíše on se rozhodli pro studium biologie.

Tam byly velké změny v Polsku v období let to byl Alfred Teitelbaum roste a je potřeba podívat se stručně na pozadí, aby pochopil, události. Vzhledem k tomu, že oblast Polsko v 1772, Rusko bylo kontrolované, že části země vyzvala Kongres Polsko, jehož součástí Varšava. Varšavské univerzity byla uzavřena a pouze rusky jazyk univerzitní provozována tam. Po vypuknutí druhé světové války, ústřední mocnosti (Německo a Rakousko-Maďarsko) napadl Polsko Kongresu. V srpnu 1915 rusky síly stáhl z Varšava - v této době Alfred Teitelbaum bylo studium na střední škole a musíme vidět jeho geniální školní kariéry proti vojenské akci a dramatické politické změny probíhají kolem něho. Německo a Rakousko-Uhersko vzal kontrolu nad většinou země a německý guvernér obecného byla instalována ve Varšavě.

Jedním z prvních tahů po stažení ruských byl refounding na univerzitě ve Varšavě a začala pracovat jako na polské vysoké škole v listopadu 1915. Rychle se silnou škola matematiky vyrůstal v univerzitě. Lukasiewicz byl jmenován na nové univerzitě ve Varšavě, kdy jí byla znovu zahájena v roce 1915. Mazurkiewicz se stal profesorem matematiky na tuto dobu. Byla to vzrušující doba v Polsku a nové království na Polsko byla vyhlášena dne 5. listopadu 1916. Alfred Teitelbaum (kteří ještě stále nedošlo ke změně jeho jméno na Tarski) strávil krátkou dobu pobytu v polské armády po opuštění školy a pak vstoupil na univerzitě ve Varšavě v roce 1918, zahájení kurzu, který byl určen, by vedlo k titulu v oboru biologie. Byla to doba velkého vzrušení jako univerzity se stal předním mezinárodním institucím téměř přes noc.

Lesniewski přijal předseda filozofii matematiky ve Varšavě v roce 1919 a Sierpinského byl jmenován současně. Tyto schůzky byly na velký význam, neboť Alfred vzal samozřejmě v logice dané Lesniewski rychle, kteří viděli jeho génia a přemluvit ho, aby změna z biologie na matematiku. To byl mimořádně důležitou událostí pro Alfred kteří nyní dostala pod vliv nejen na Lesniewski, ale také na Lukasiewicz, Sierpinského, Mazurkiewicz, a filozof Kotarbinski. Absolvoval kurzy všech těchto předních akademiků a ukázal svou genialitu, které rychle vyrovnají lesku svého učitele. V roce 1920 měl krátký pravopisu v polské armády v polovině svého studia.

Bylo to kolem 1923 Alfred Teitelbaum, že změnil své jméno na Alfred Tarski. Celkem bylo z řady důvodů za změnou názvu a pro ostatní významné změny do jeho života, které se rozhodl provést ve stejné době, tedy změnit své náboženství od židovské víry, aby se stal římský katolík. Bylo to nejen Alfred kteří se těchto dvou hlavních tahů, na svého bratra, Waclaw se ujal název Tarski a objal Římskokatolická církev ve stejnou dobu. Musíme vysvětlit nové začátky, že Polsko mělo zkušenosti s několik let před tím, než tato, a existují silné nacionalistické pocity v zemi. Není pochyb o tom, že Tarski byl silně ovlivněn těmito pocity a přání, aby se pólu a není Žid. Jak změnit jméno a změna náboženského vyznání se ho více polsky. Došlo také k realizaci, že anti-Semitic názorů v zemi bylo téměř nemožné, aby Žid, který bude jmenován na univerzitní pošty a Tarski, blíží konci svého doktorského studia, jistě si přál, aby následovaly akademické kariéře.

Tarski První dokument byl publikován v roce 1921, když mu bylo pouze 19 let. V tomto dokumentu byl prozkoumán teorie otázky, a ve skutečnosti teorie by byl zájem o pokračování výzkumu Tarski v celém jeho životě. Jeho doktorských studií byly pod dohledem Lesniewski a předložil své doktorské práce na vyšetření v roce 1923. Tarski v roce 1924 absolvoval s doktorát a stal se nejmladším osoba vůbec být udělen titul na univerzitě ve Varšavě. Tarski první významné výsledky byly zveřejněny v roce 1924, kdy začal vycházet z teorie množin výsledků získaných Cantor, Zermelo a Dedekind. Publikoval společný dokument s Banachova v tomto roce o tom, co se nyní nazývá Banachova-Tarski Paradox. To není paradox vůbec, jediný důvod, že je uveden tento název je, že to je proti-intuitivní. Výsledek dokazuje, že koule může být zkráceno na konečný počet kusů a pak znovu do sféry větších rozměrů, nebo alternativně může být znovu na dvě koule stejné velikosti, aby původní.

Tarski učil logiku na polsky Pedagogického institutu ve Varšavě 1922 do 1925 pak v tomto roce byl jmenován docent v oboru matematiky a logiky na univerzitě ve Varšavě. Později se stal Lukasiewicz 's asistentem, ale tyto vysoké škole míst nedaly mu dost peněz na živobytí, na, tak si musel vydělat svou žije s druhou práci. Stal se profesorem matematiky na Zeromski na Lycée ve Varšavě v roce 1925 a do roku 1939 působil v těchto dvou-time pracovních míst. Dne 23. června 1929 Tarski ženatý Maria Witkowski kteří byl učitelem na Zeromski na Lycée. Vzhledem k tomu, Tarski na polské vlastenectví, které jsme již bylo uvedeno výše, může být důležité si uvědomit, že Maria byla římský katolík a ona měla pracoval jako kurýr pro armádu během Polsko v boji za nezávislost.

Byla to doba, kdy Tarski mezinárodní pověst stále rostla. On navštívil univerzity ve Vídni v únoru 1930, kde přednášel na Menger 's kolokvium. Ve Vídni se setkal Gödel kteří měli v nedávné době byl vydán jeho doktorát a kteří se stal členem fakulty později v tomto roce. V roce 1933 se Tarski zveřejněna Pojem pravdy v formálních jazyků, která je nyní jeho slavné knihy o pojmu pravdy:

... , která patří mezi nejdůležitější dokumenty někdy psáno v matematické logice. ... Nejen že se tento dokument poskytuje matematicky důsledné propojení několika myšlenek, které byly v dřívějších rozvoj matematické logiky, ale také představuje základy, na nichž později logiky, by mohla být postavena.

Tarski byla oceněna společenstva, aby ho k návratu do Vídně v lednu 1935 a pracoval s Menger 's výzkumné skupiny až do června. Vídeňské kruhu logických Positivists, která vzkvétala, a to zejména v 1920s v Vídeň, vedla k rozvoji jednoty vědy skupině a tato skupina sešla v Paříži v roce 1935. Tarski představil své nápady na pravdu v přednášíme na této schůzi. Niiniluoto, v argumentuje:

... pro diplomové práce, že Alfred Tarski na původní definice pravdy spolu s jeho pozdějším rozpracování v modelu teorie, je vysvětlení na klasické korespondenční teorie pravdy. V obraně proti Tarski některé jeho kritiky, chci ukázat, jak se tohoto účtu na pravdě lze formulovat, čímž se rozumí, a dále rozvíjet v filozoficky uspokojivým způsobem.

Tarski zveřejněna na pojem logický důsledek v roce 1936. V této on tvrdil, že uzavření argument, bude logicky od svých prostorách tehdy a jen tehdy, jestliže každý model prostorách být model na závěr. Tato práce se o logický důsledek mělo hluboký vliv a bylo projednáno mnoho autorů, viz např.,,,,,, a.

V roce 1937 vydal další klasické papírové, tentokrát na deduktivní metoda, která prezentuje jasně svůj názor na povahu a účel deduktivní metody, jakož i vzhledem k roli logiky ve vědeckých studií.

V roce 1939 Tarski požádali o křeslo filozofie na Lvov, ale nepodařilo se jmenuje. Je těžké být jisti, proč jeden kandidát může být dala přednost jinému v soutěži na židli, takže je možné říci s jistotou, že anti-antisemitismu sehrálo roli v rozhodnutí. Nicméně, to je jistě spravedlivé říci, že do 1939 Tarski měl vynikající mezinárodní pověst, ale stále byla nucena podporovat sám o výuce matematiky na vysoké školy. Je jistě rozumné předpokládat, že se měnící své jméno a náboženství by neumožnil Židů uniknout z diskriminace, která byla rozšířená po celé Evropě v této době.

V srpnu 1939 cestoval Tarski na Harvardově univerzitě ve Spojených státech, aby se zúčastnil další Jednota vědy schůzi. V 12:40 dne 31. srpna 1939 Hitler vydal rozkaz, aby pro své vojáky do útoku Polsko v 4.45 ráno. Tarski byl ve Spojených státech po dobu dvou týdnů v té době. Byl nesmírně šťastný, že pro něj nebylo v Polsku, kdy německé armády napadli, neboť není pochyb o tom, že přes změnu názvu a náboženství, by stále byla použita jako Žid, jak daleko v nacistického režimu byly dotčené.

Do této doby Tarski měl dvě děti, syna Jana a dceru Ina, a jak jeho žena a děti zůstaly v Polsku, když cestoval do Spojených států v roce 1939. Tarski bylo úspěšné při získání povolení zůstat ve Spojených státech, a pak se pokusil s pomocí mnoha evropských přátel, aby zajistil svou rodinu na útěku a připojí jej do Spojených států. Ten se nepodařilo dosáhnout tohoto, ale naštěstí všichni tři přežili válku a byli schopni se připojit Tarski v roce 1946. Nicméně, jeho otec, matka, bratr a sestra-in-law všechny zemřel v rukou nacisté během války.

Jistě Tarski život byl spasen tím, že ve Spojených státech, ale on stále měl k bezpečné práci. Stálých pracovních míst nebylo snadné získat, protože řada významných akademiků byl utekl z Evropy do Spojených států v letech bezprostředně před vypuknutím války. Tarski zastával řadu dočasných výzkumu míst: Harvard 1939 do 1941; City College of New York v roce 1940 a Institutu pro vyšší studia v Princetonu v 1941-42, když uspořádal Guggenheim Fellowship. Na Princetonské Tarski splněny Gödel opět na což měl také utekli z nacistické hrozby. Během tohoto období, v roce 1941, byl zveřejněn důležitý dokument pocet vztahů.

Po těch letech dočasných pracovních míst, Tarski získali povolení k trvalému post poté, co nastoupil na zaměstnance na University of California v Berkeley v roce 1942. Na první byl jmenován na jeden rok post, ale byl brzy uveden držby. Byl povýšen do docentem v roce 1945, stát se profesorem matematiky v roce 1949. Zůstal v Berkeley pro zbytek jeho kariéry, stává emeritním profesorem v roce 1968. Přestože oficiálně odešel do důchodu v této fázi, když byl požádán, aby i nadále učit až do roku 1973 a byl také pokračující dohled nad výzkumem studenti a podniky zabývající se výzkumem až do okamžiku své smrti. Ve jsme pověděli o Tarski studenti v Berkeley.

Jeho semináře v Berkeley rychle stala silou-dům z logiky. Jeho studenti, mnozí z nich nyní rozlišit matematici, připomínají úžasné energie, s níž by koaxiální a přemlouvat své nejlepší práce z nich, vždy náročné na nejvyšší úroveň jasnosti a přesnosti.

Tarski jistě nevedlo zcela života v Berkeley, ale trvalo mnoho příležitostí k návštěvě jiných míst. Byl Sherman památník přednáší na University College v Londýně v roce 1950, potom přednáší na Institutu Henri Poincaré v Paříži v roce 1955. Byl výzkumu profesor na Institutu Miller na základní výzkum v oblasti vědy ve 1958-1960, pak v roce 1966 se vrátil na University College v Londýně, když byl opět Sherman památník asistent. V roce 1967 byl Flint profesor filozofie na University of California v Los Angeles a 1974-75 byl v Jižní Americe na Katolické univerzitě v Chile.

Tarski je uznáván jako jeden ze čtyř největších logicians všech dob, ostatní tři jsou Aristoteles, Frege, a Gödel. Z těchto Tarski bylo nejvíce plodný jako logik a zjišťovat jeho díla, kromě jeho knihy, běží až 2500 stránek. Tarski významně přispěli v mnoha oblastech matematika: teorie, teorie měření, topologie, geometrie, klasické a univerzální algebry, algebraické logiky různých oborů z oblasti formální logiky a metamathematics. Je vyrobené axiomy za 'logický důsledek', pracoval na deduktivní systémy, algebra logiky a teorie definability. Ten lze považovat za matematický logik s mimořádně široké matematické zájmy. Jsme se krátce podíval na některé z Tarski práce a budeme zkoumat trochu více na svou práci, ale to je nemožné v biografii na tuto délku uvést správné zobrazení na rozsah jeho příspěvků.

Metamathematics, zavedená Hilbert v roce 1922 ve smyslu "důkaz teorie" jako součást svého programu, který má zjistit soulad aritmetika, byla transformována Tarski, když uvedl sémantické metody, které vedou k jeho rozvoji teorie modelů s jeho kombinaci sémantických a syntaktických vztahů. Sinaceur píše:

V [Tarski je] názor, metamathematics stala podobná žádné matematické disciplíny. Nejen jeho koncepce a výsledky mohou být mathematized, ale ve skutečnosti může být integrován do matematiky. ... Tarski zničeny hranice mezi metamathematics a matematiky. On vznesl námitku k omezení role metamathematics do základů matematiky.

Formální vědecký jazyky mohou být podrobeny důkladnější studie o sémantické metody, která má rozvíjet. Působil také v modelu teorie, matematické problémy a rozhodnutí s univerzální algebry.

Tarski představil své knize axiomatická metoda: se zvláštním zřetelem na geometrii a fyziku na Mezinárodní sympozium konalo na University of California v Berkeley od 26. prosince 1957 do 4. ledna 1958. Jeho kniha, která je ve Sborník z konference v roce 1959, dává jeho axiom systému pro geometrii. Tento axiomatický systém dává novější přístup k problému, který byl řešen tím, Hilbert v Grundlagen der Geometrie.

V roce 1968 napsal Tarski jiného slavného papíru Ekvacionální Ekvacionální logika a teorie algeber, v němž byl předložen přehled o metamathematics na Ekvacionální logika, protože pak existovalo, stejně tak, že některé nové výsledky a některé otevřené problémy. V následujícím roce Tarski na papír pravdy a důkazu, které se objevily:

... je jeden z nejlepších kousků na výkladový písemně ve všech matematické logiky.

Papír se domnívá, Gödel 's neúplnosti veta, stejně jako Tarski je undefinability veta a podívejte se na jejich důsledky pro axiomatická metoda v matematice.

Tarski napsal devatenáct monografie v různých oblastech matematiky. Jeho dílo zahrnuje geometrie (1935), Úvod do logiky a metodologie Deduktivní věd (1936), A rozhodnutí metoda pro elementární algebra a geometrie (1948), kardinál Algebry (1949), nerozhodnutelné teorie (1953), logika, sémantika, metamathematics (1956), a Ordinální algebry (1956).

Úvod do logiky a metodologie věd Deduktivní je zavedení písemné na úrovni z vysokoškolských Samozřejmě v logice a axiomatika. A rozhodnutí metoda pro elementární algebra a geometrie Tarski ukázalo, že první pořadí-z teorie reálných čísel a násobení pod Navíc je rozhodnutelný, která je v kontrastu, a to způsobem, který je opravdu překvapující, ne-odborníky, aby výsledky Gödel a Kostel kteří ukázalo, že první pořadí-teorie přirozeného čísla za přidání a násobení je nerozhodnutelný. Kardinála Algebry představuje studii algeber splňující určité vlastnosti, které byly zachyceny na kardinální aritmetika čísel. V Nerozhodnutelné teorií Tarski ukázalo, že teorie grup, svazy, abstraktní projektivní geometrie, algebry a uzavření další matematické systémy jsou nerozhodnutelné. Měl již dala jasně najevo, jak rád, matematici by mělo být to, že neexistuje žádné řešení tohoto problému obecného rozhodnutí. V přednáškové uveden na Harvardu během 1939-40 Tarski řekl:

... řešení tohoto problému v jeho rozhodnutí nejobecnější formě je negativní. ... [Jistě] matematici mnoho zkušených hluboký pocit úlevy, když slyšeli o tento výsledek. Možná někdy v noci usnout, že jejich myšlení se horor na okamžik, kdy někteří bezbožní metamathematician by se najít pozitivní řešení, a navrhnout stroj, který nám umožní řešit jakýkoli matematický problém v čistě mechanickou cestou .... Nebezpečí je nyní přes ... [a] matematici ... může spát v klidu.

V Ordinální algebry Tarski definuje algebry, která zachycuje vlastnosti doplňkové látky teorie pořadí typů. Odlišuje se nejvíce rozšířen z algebry, který byl předložen v kardinála algebry, které s non-komutativní navíc.

Shromážděných dokumentů Tarski byly vyrobeny ve čtyřech svazcích redakce Steven R Givant a Ralph N McKenzie. John Corcoran, přezkoumávání těchto svazků, píše:

Matematické obce dluží dluh z vděčnosti k Givant a McKenzie za jejich úsilí při vytváření tohoto neocenitelné sbírky Alfred Tarski díla. Je to pouze tehdy, když vidíme, Tarski na dokumenty shromážděné na jednom místě, že můžeme začít ocenit rozsah a důkladnost jeho vliv na moderní matematické myšlení a zejména na moderní matematické logiky. Matematické logiky, jak ji známe dnes je téměř nemyslitelné bez Tarski příspěvky.

GH Moore píše v popsané Tarski jeho osobnost:

Tarski byl extroverted, quick-přihlouplý, silné-vůle, energetický, a ostré-pery. On preferované jeho výzkumu, který bude na spolupráci - občas pracuje celou noc s kolegy - a bylo velmi zhýčkaný o prioritu.

AB Feferman také popisuje aspekty jeho charakter psaní:

Charismatického vůdce a učitele, který je známý pro své brilantně přesné ještě napínavých výkladový styl, Tarski měl intimidatingly vysokých standardů pro studenty, ale zároveň by mohl být velmi povzbudivé, a to zejména pro ženy - v protikladu k obecnému trendu. Někteří studenti byli strach pryč, ale kruhu učedníků zůstalo, z nichž mnozí se stal svět-renomovanými firmami v oboru.

Tarski byl poctěn tím, že bude zvolen do Národní akademie věd, Královské nizozemské akademie věd a dopisů, a britské akademie. Byl to učinil čestné redaktorku Algebra Universalis a sloužil jako prezident Sdružení pro symbolický Logické 1944 do 1946 a Mezinárodní unie pro oblast historie a filozofie vědy v 1956-57. Se mu dostalo čestných titulů z Katolické univerzity v Chile (1975) a na univerzitě v Marseille (1977). V roce 1981 mu udělena Berkeley Berkeley citace.

Source:School of Mathematics and Statistics University of St Andrews, Scotland