www.fmath.info

Alfred kasvas üles ka off pere hinnatud haridus. Ta käis Schola Mazowiecka (Nizina Mazowiecka on osa madalike piirkonnas, Poola, kus Varssavi asub), mis oli High School for intellektuaalid. Kool andis Alfred laiemat haridusalast kui ta muidu andis saanud. Ta õppis teemasid nagu vene, saksa, prantsuse, kreeka ja ladina lisaks tavakoolisüsteemi teemadel. Loomulikult õppis ta matemaatika keskkoolis, ja tema õpetaja tunnistas, et tal oli erakordne andeid, et teema, kuid see ei olnud teema, et ta kavatseb spetsialiseeruda ülikoolis, pigem tegi ta otsuse õppida bioloogia.

Seal olid suured muutused Poola aastatel, et Alfred Teitelbaum oli üleskasvamine ja peame lühidalt tausta, et mõista sündmusi. Kuna Poola jagamine 1772, Venemaa oli kontrollitud, et riigi osa nimetatakse kongressi Poola, mis sisaldas Varssavis. Varssavi Ülikooli oli suletud ja ainult vene keeles ülikool tegutsenud seal. Kell puhkenud I maailmasõja Keskriigid (Saksamaa ja Austria-Ungari) ründasid kongress Poolas. Aasta august 1915 Vene väed taganesid Varssavi - sel ajal Alfred Teitelbaum õppis keskkoolis ja meil näha tema hiilgavaid kooli karjääri vastu sõjalist tegevust ja järsk poliitiline muutus toimub tema ümber. Saksamaa ja Austria-Ungari võttis kontrolli enamiku riikide ja Saksamaa kindralkuberner oli paigaldatud Varssavis.

Üks esimesi samme pärast seda, kui Venemaa tagasivõtmine oli refounding Ülikooli Varssavi ja see alustas tegevust nagu Poola ülikooli november 1915. Kiiresti tugeva kooli matemaatika kasvas üles Ülikool. Lukasiewicz nimetati uus Varssavi Ülikooli kui ta uuesti 1915. Mazurkiewicz sai professor matemaatika sel ajal. See oli põnev aeg Poola ja uus Kuningriik Poola kuulutas 5. novembril 1916. Alfred Teitelbaum (kes veel ei muutnud oma nime Tarski) veedetud hetk on Poola armee pärast kooli ja seejärel sisenesid Varssavi ülikooli aastal 1918, alguses muidugi, mida ta ette viiks kraad bioloogia. See oli aeg suurt elevust nii ülikooli saanud juhtiv rahvusvaheline institutsioon peaaegu üleöö.

Lesniewski vastuvõtt juhataja filosoofia matemaatika Varssavis aastal 1919 ja Sierpinski nimetati samal ajal. Need kohtumised olid väga oluline, sest Alfred võttis loomulikult loogika antud Lesniewski kes kiiresti nägi oma geeniust ning veenis teda minna bioloogiat, et matemaatika. See oli hetk Alfred, kes nüüd tulid mõju all mitte ainult Lesniewski vaid ka Lukasiewicz, Sierpinski, Mazurkiewicz ja filosoof Kotarbinski. Ta käis kursustel kõik nende juhtivate õppejõudude ja näitas oma geeniuse poolt kiiresti vastavad sära tema õpetajad. Aastal 1920 oli ta lühikest õigekirja kohta Poola armee keset õpinguid.

See oli umbes 1923, et Alfred Teitelbaum muutis oma nime Alfred Tarski. Seal oli mitu põhjust nime muuta ja teisi suuremaid muutusi oma elus, mida ta otsustas teha samal ajal, nimelt muutma oma religiooni ja juudi usku saada katoliiklane. Tegemist ei olnud ainult Alfred, kes on teinud nende kahe suure liigub, tema vend Waclaw võttis nime Tarski ja omaks katoliiklus samal ajal. Meil on selgitatud uus algus, et Poola oli kogenud paar aastat enne seda, ja seal olid tugevad natsionalistlikud tunded riigis. Ei ole kahtlust, et Tarski oli tugevasti mõjutanud need tunded ja soovi olla poolakas, mitte juut. Nii nimi muutus ja muutus usu teda veel poola keeles. Seal oli ka arusaam, et antisemiitliku seisukohti riigis tehtud peaaegu võimatuks juut tuleb nimetada ülikooli posti-ja Tarski, liiguti lõpuks oma doktoriõppe, kindlasti soovis järgida akadeemilist karjääri.

Tarski esimese raamatu ilmus aastal 1921, mil ta oli vaid 19 aastat vana. Selles raamatus ta uuris Hulgateooria küsimustele ja tegelikult määrata teoreetiliselt oleks jätkata uuringuid huvi Tarski kogu oma elu. Tema doktorantuuri olid jälgima Lesniewski ja esitas ta oma doktoritöö läbivaatamiseks 1923. 1924 Tarski lõpetanud doktor, ja temast sai noorim inimene kunagi on omistatud määral Varssavi Ülikooli. Tarski esimene suurem tulemused avaldati 1924, kui ta hakkas tuginedes määrata teoreetiliselt saadud tulemuste Cantor, Zermelo ja Dedekind. Ta avaldas ühine paberile Banach sel aastal, mida praegu nimetatakse Banachi-Tarski paradoks. See ei ole paradoks üldse, ainult põhjusel, et see on antud, selle nime, et see on alles arusaadavad. Tulemus tõestab, et kera saab lõigata hulga tükki ja siis ümberkomplekteeritud arvesse valdkonnas suuremate või teise võimalusena võib ümberkomplekteeritud kaheks sfäärides võrdse suurusega esialgse üks.

Tarski õpetatud loogika on Poola Pedagoogiline Instituut, Varssavi 1922-1925 siis sellel aastal nimetati ta dotsent matemaatika ja loogika on Varssavi Ülikooli. Hiljem sai temast Lukasiewicz 's assistant, kuid need ülikooli positsiooni ei anna talle piisavalt raha, et elada, nii et ta oli ennast elatama teist tööd. Ta sai matemaatika professor Zeromski's Lycée Varssavis aastal 1925 ja kuni 1939 oli ta nende kahe täistööajaga ametikohta. On 23 juuni 1929 Tarski abielus Maria Witkowski kes oli õpetaja Zeromski's Lycée. Arvestades Tarski's Poola patriotismi, mida me eespool mainitud, võib see olla oluline märkida, et Maria oli katoliiklane ja ta oli töötanud kuller sõjaväe ajal Poola iseseisvuse võitluses.

See oli aeg, mil Tarski rahvusvahelist mainet pidevalt. Ta käis ülikoolis Viinis veebruar 1930, kus ta loenguid, et Menger 's kollokviumi. Aastal Viinis kohtus ta Gödel, kes oli hiljuti antud doktorikraadi ja kes sai liikmeks teaduskonna hiljem sellel aastal. 1933 Tarski avaldatud mõistet tõde ametlikud keeled, mis on tema nüüd kuulsa raamatu mõiste tõde:

... mis on kõige olulisemad paberid kunagi kirjutatud matemaatilise loogika. ... Mitte ainult see paber ette matemaatiliselt range põimumine mitmeid ideid, mis olid arenevad varem matemaatilise loogika see ka vundamenti, millele hiljem loogika võiks ehitada.

Tarski pälvis stipendiumi et ta saaks tagasi Viinis jaanuar 1935 ja töötas koos Menger 's uurimisgrupp juunini. Viini ringi loogiline Positivists mis õitses, eriti 1920 Viin, tõi kaasa arengu ühtsus Teadus rühma ja see rühm kohtus Pariisis 1935. Tarski oma ideid selle kohta tõtt loengu sellel kohtumisel. Samuti süsteemi os, mis väidab:

... võtta väidet, et Alfred Tarski esialgse määratluse tõde, koos selle hilisemate väljatöötamises näidise teooria, on seletamist klassikalise kirjavahetus teooria tõde. Kaitstes Tarski vastu mõned oma kriitikud, tahan näidata, kuidas seda arvesse tõde võib määratleda, mõista ja edasi arendada filosoofiliselt rahuldaval viisil.

Tarski avaldatud mõiste loogiline jätk 1936. Selles väitis ta, et sõlmida väide on loogiliselt oma ruumidest ainult siis, kui iga mudel ruumides olema mudeli järeldust. See töö on loogiline tagajärg on olnud tugev mõju ja on arutanud paljud autorid, vt näiteks,,,, ja.

Aastal 1937 avaldas ta teise klassikaline paber, seekord deduktiivne meetod, mis esitab selgelt oma seisukohad olemus ja eesmärk deduktiivne meetod, samuti kaalub osa loogika teaduslikke uuringuid.

1939 Tarski taotlenud juhataja filosoofia Lvov, kuid ei suutnud ametisse nimetada. On raske olla kindel, miks üks kandidaat võib eelistada teise konkursi juhatusel seda on võimatu öelda kindlalt, et antisemitismi mängis rolli otsuse. Siiski on kindlasti öelda, et 1939 Tarski oli täitmata rahvusvahelist mainet, kuid oli siiski sunnitud ülalpidamiseks õpetamise matemaatika keskkoolis. Kindlasti on põhjust uskuda, et muuta üks nimi ja religioon ei luba juutide põgeneda või diskrimineerimisega, mis oli levinud kogu Euroopas sel ajal.

Aasta august 1939 Tarski sõitnud Harvardi ülikooli Ameerika Ühendriigid osaleda teise Unity of Science koosolekul. Kell 12.40 on 31. august 1939 Hitler andis et tema vägede rünnak Poola on 4,45 Järgmisel hommikul. Tarski on olnud USA jaoks kahe nädala jooksul. See oli väga õnn, et tal ei olnud Poolas, kui Saksa armee rünnaku puhul ei ole kahtlust, et hoolimata nimemuutust ja usu, ta ikkagi kvalifitseeritud juut nii palju on natsistliku režiimi olid mures.

Selleks ajaks Tarski oli kaks last, poeg Jan ja tütar Ina, ning nii tema abikaasa ja lapsed olid jäänud Poola kui ta reisis Ameerika Ühendriigid 1939. Tarski õnnestus saada luba jääda USA ja ta siis üritas abiga paljude Euroopa sõbrad, korraldada tema pere põgeneda ja temaga ühineda Ameerika Ühendriigid. Ta ei suutnud seda saavutada, kuid õnneks kõik kolm üle elanud sõja ja suutsid ühineda Tarski 1946. Kuid tema ema, isa, vend ja õde-in-law kõik surnud käes natsid sõja ajal.

Kindlasti Tarski elu päästis on Ameerika Ühendriikides, kuid ta ikkagi turvalise töö. Alalised ametikohad ei ole lihtne saada, kuna paljud lahendamata õppejõudude põgenenud Euroopas USA aastat vahetult enne sõja puhkemist. Tarski leidnud hulk ajutisi teadus ametid: Harvard 1939-1941; City College of New York, 1940; ja Institute for Advanced Study Princetoni aastal 1941-42, kui ta leidis Guggenheimi stipendiumi. Princetoni Tarski met Gödel uuesti ta ka põgenes natside ohtu. Selle aja jooksul, aastal 1941 avaldas ta tähtis paber calculus suhteid.

Pärast neid aastat ajutisi töökohti, Tarski saanud alalise ametikoha pärast liitus ta töötajate California ülikooli Berkeley 1942. Esimesel aastal määrati ta ühe aasta pärast, kuid ta peagi antud ametiaeg. Ta edutati dotsent seal aastal 1945, muutudes professor Matemaatika 1949. Ta jäi Berkeley ülejäänud karjääri, hakates emeriitprofessor 1968. Kuigi ametlikult pensionile selles etapis, paluti tal jätkata õpetada kuni 1973 ja ta jätkas ka juhendama teadustööd üliõpilaste ja mis tegutsevad uurimis-kuni oma surma ajal. Kui meil räägitakse Tarski's õpilaste Berkeley.

Tema seminarid Berkeley kiiresti sai võimu maja loogika. Tema õpilased, kellest paljud on nüüd eristada matemaatikud, meenutavad võimas energia, mille ta oleks meelitama ja keelitama oma parima töö välja neid alati nõudlik kõrgeimate standardite selguse ja täpsuse.

Tarski Kindlasti ei viinud päris elu Berkeley, vaid võttis palju võimalusi külastada teistes kohtades. Ta oli Sherman memoriaali lektor University College London aastal 1950, siis lektor Henri Poincaré Instituut Pariisis 1955. Ta oli uuringute professor Miller Instituut alusuuringuid Teadus 1958-1960, siis aastal 1966 tagasi University College London, kui ta oli taas Sherman memoriaali lektor. Aastal 1967 oli ta Flint professor filosoofia University of California at Los Angeles ja 1974-75 oli ta lõuna-ameerika katoliikliku Tšiili Ülikool.

Tarski on tunnustatud kui ühte neljast kõige logicians kogu aeg, ülejäänud kolm on Aristoteles, Frege ja Gödel. Nende Tarski oli kõige viljaka on loogik ja tema kogutud teosed, välja arvatud tema raamatud, kestab kuni 2500 lehekülge. Tarski andnud olulise panuse mitmes valdkonnas matemaatika: Hulgateooria, mõõta teooria, topoloogia, geomeetria, klassikaline ja universaalne algebra, algebraline loogika, eri harude formaalne loogika ja metamathematics. Ta toodetud aksioomat jaoks "loogiline", töötas deduktiivne süsteemid, algebra loogika ja teooria definability. Ta võib pidada matemaatiliste loogik erakordselt lai matemaatika huve. Me tutvustame lühidalt mõningaid Tarski töö ja me vaatab veidi rohkem tema töö, kuid see on võimatu elulugu selle pikkus anda nõuetekohast silmas mitmeid oma panuse.

Metamathematics, sisse Hilbert 1922 tähenduses "tõendite teooria" on osa oma programmi luua kooskõla aritmeetilise oli töötles Tarski kui ta tutvustas semantilise meetodid viivad oma arengu mudeli teooria selle kombinatsiooni semantilise ja süntaktilise suhteid. Sinaceur kirjutab:

In [Tarski's] arvates metamathematics sai sarnane ühegi matemaatilise distsipliini. Mitte ainult selle mõisteid ja tulemusi saab mathematized, kuid tegelikult on võimalik integreerida matemaatika. ... Tarski hävitatud vahelise piiri metamathematics ja matemaatika. Ta vaidlustas piirav rolli metamathematics et sihtasutuste matemaatika.

Ametlik teadus keeles saab suhtes põhjalikum uuring semantilise meetodi, arendas ta. Ta on töötanud mudeli teooria, matemaatilise otsuse probleemide ja Universaalalgebra.

Tarski esitas oma raamatus enesestmõistetav meetod: pöörates erilist tähelepanu geomeetria ja füüsika International Symposium toimunud California ülikooli Berkeley alates 26. detsember 1957 kuni 4. jaanuarini 1958. Tema raamatu, mis on kantud Proceedings of the Conference 1959, annab tema aksioom süsteemi geomeetriaga. See enesestmõistetav süsteem annab uuem lähenemine probleemile, mis oli lahendada Hilbert in Grundlagen der Geometrie.

Aastal 1968 Tarski kirjutas teise kuulsa raamatu Equational loogika ja equational teooriad algebras, kus ta esitas ülevaate metamathematics on equational loogika see siis olemas, samuti annab mõned uued tulemused ja mõned avatud probleeme. Järgmisel aastal Tarski paberi Tõde ja tõend näis, mis:

... on üks parimatest tükkidest Yleistajuiset kirjalikult kõik matemaatilise loogika.

Paber leiab Gödel 's puudulikud teoreem samuti Tarski's undefinability teoreem ja vaata nende mõju enesestmõistetav meetod matemaatikas.

Tarski kirjutas üheksateist monograafiaid erinevates valdkondades matemaatika. Tema töö hõlmab geomeetria (1935), Introduction to Logic ja metoodika Tuletatud Sciences (1936), otsuse meetod elementaarne algebra ja geomeetria (1948), Kardinal Algebras (1949), lahendamatu teooriad (1953), loogika, semantika, metamathematics (1956) ja Järgarv algebras (1956).

Introduction to Logic ja metoodika Tuletatud Teaduste on Tutvustus kirjaliku tasandil üliõpilaste muidugi loogika ja axiomatics. Aasta otsuse meetod elementaarne algebra ja geomeetria Tarski näitas, et esimest järku teooria tegeliku arvu alusel liitmine ja korrutamine on otsustatav mis on erinevalt viisil, mis on tõesti üllatav, et mitte-eksperdid, et tulemused Gödel ja Kirik, kes näitas, et esimest järku teooria loomuliku numbrite alusel liitmine ja korrutamine on lahendamatu. Cardinal Algebras tutvustab uuringut algebras vastab teatud omadused, mis püüdmise aritmeetilise kardinal numbrid. In lahendamatu teooriad Tarski näitas, et grupi teooria, lattices, abstraktse Projektiivinen geomeetria, sulgemise algebras ja teised matemaatilised süsteemid on lahendamatu. Ta oli juba selge, kuidas rahul matemaatikud peaks olema, et ei ole lahendus üldine otsus probleem. In loengu antud Harvardi ajal 1939-40 Tarski ütles:

... lahendus otsuse probleem kõige üldine vorm on negatiivne. ... [Kindlasti] paljud matemaatikud kogenud sügavat tunnet kergendatult, kui nad kuulsid selle tulemuse. Võib-olla mõnikord oma unetu ööd nad mõtles õudusega sellest hetkest, mil mõned wicked metamathematician oleks leida positiivse lahenduse ja kujunduse masin, mis võimaldab meil lahendada kõiki matemaatiline probleem puhtalt mehaaniline .... Oht on nüüd üle ... [ja] matemaatikud ... saab magada rahulikult.

In Järgarv algebras Tarski määratleb algebra, mis lööb omadused lisaaine teooria, et tüübid. See erineb kõige tugevamalt algebras, mis ta esitas kardinal algebras omades mitte kommutatiivne lisaks.

Kogutud dokumentide Tarski on toodetud nelja mahud edited by Steven R Givant ja Ralph N McKenzie. John Corcoran, vaadates nende mahud, writes:

Matemaatilise kogukonna ees võla tänu Givant ja McKenzie oma jõupingutusi this hindamatu kogumise Alfred Tarski tööd. Alles siis, kui me näeme Tarski sõidupiirkonna kogutud ühes kohas, et saame hakata hindama ulatus ja sügavus on oma mõju tänapäeva matemaatilise mõtlemise ja eelkõige kaasaegse matemaatilise loogika. Matemaatiline loogika nagu me seda teame praegu on peaaegu mõeldamatu ilma Tarski kaastöid.

GH Moore kirjutab kirjeldatud Tarski iseloomust:

Tarski oli extroverted, taibukas, tugev tahe, energiline ja Pahasuinen. Ta eelistas oma teadusuuringuid koostööprojekte - mõnikord töötab terve öö koos kolleeg - ja oli väga nõudlik umbes prioriteet.

AB Feferman kirjeldab ka aspekte tema iseloomu kirjalikult:

Karismaatiline juht ja õpetaja, tuntud oma suurepäraselt täpselt veel suspenseful Yleistajuiset stiilis Tarski oli intimidatingly kõrged standardid õpilastele, kuid samal ajal võib ta olla väga julgustav, ja seda eriti naiste - vastupidiselt üldisele suundumusele. Mõned õpilased olid ehmunud ära, kuid ringi jüngrid jäid paljud neist sai ülemaailmselt tuntud liidrite valdkonnas.

Tarski oli au olles valitud National Academy of Sciences, Hollandi Kuningliku Teaduste Akadeemia ja kirjade ning Briti Akadeemia. Ta oli teinud au toimetaja Algebra Universalis ja oli president Association for Symbolic Logic 1944-1946 ja Rahvusvahelise Liidu ajalugu ja filosoofia Teadus 1956-57. Ta sai au kraadi katoliku Tšiili Ülikool (1975) ja University of Marseilles (1977). Aastal 1981 Berkeley andis talle Berkeley volitus.

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