Tarski, Alfred

Alfred Tarski
Alfred Tarski
Nimi syntyessään Kiillottaa Alfred Tajtelbaum [1]
Syntymäaika 14. tammikuuta 1901( 1901-01-14 )
Syntymäpaikka Varsova , Puolan kuningaskunta , Venäjän valtakunta
Kuolinpäivämäärä 26. lokakuuta 1983 (82-vuotiaana)( 26.10.1983 )
Kuoleman paikka Berkeley , Kalifornia , Yhdysvallat
Maa
Tieteellinen ala matematiikka , logiikka
Työpaikka UC Berkeley
Alma mater Varsovan yliopisto
Akateeminen tutkinto Professori
tieteellinen neuvonantaja Stanislav Lesnevsky
Opiskelijat Julia Robinson
Palkinnot ja palkinnot Guggenheim Fellowship ( 1941 , 1942 , 1955 )
Wikilainauksen logo Wikilainaukset
 Mediatiedostot Wikimedia Commonsissa

Alfred Tarski ( puolalainen Alfred Tarski ; 14. tammikuuta 1901 , Varsova  - 26. lokakuuta 1983 , Berkeley , Kalifornia ) - erinomainen puolalais-amerikkalainen matemaatikko , loogikko , muodollisen totuusteorian perustaja. British Academyn apulaisjäsen ( 1966).

Elämäkerta

Alfred Tarski - syntynyt Alfred Teitelbaum - syntyi varakkaaseen perheeseen, johon kuuluivat puolalaiset juutalaiset Ignaz (Isaac) Teitelbaum (1869-1942) ja Rose (Rahil) Prussian (1879-1942), vanhin kahdesta pojasta. [2] Äidin perhe omisti suuren tekstiilitehtaan Lodzissa , ja hänen isoisänsä Abram Moses Prussak perusti kaupungin ensimmäisen puutehtaan. Hänen isänsä oli kotoisin Varsovasta, Tarskin isänpuoleisia sukulaisia ​​olivat filosofi Zhanna Ersh ja hänen veljensä matemaatikko Josef Hersh (1925-2012). [3] [4] [5]

Matematiikkasoveltuvuus paljastui ensin koulussa, mutta vuonna 1918 hän tuli Varsovan yliopistoon aikomuksenaan opiskella biologiaa . Tuona vuonna Puolasta , joka oli siihen asti Venäjän valtakunnan hallinnassa , tulee itsenäinen valtio, ja Varsovan yliopisto saa pääkaupungin aseman. Jan Lukasiewiczin , Stanisław Leśniewskin ja Vaclav Sierpinskin edustamasta yliopistosta on nopeasti tulossa maailman johtava logiikka, matematiikan perusteet ja matematiikan filosofia. Tarskin matemaattisen kyvyn löysi Lesniewski, joka sai nuoren Alfredin luopumaan biologiasta matematiikan hyväksi. Myöhemmin Tarski kirjoitti hänen ohjauksessaan väitöskirjan ja vuonna 1924 tohtoriksi . Samalla hänestä tulee Varsovan yliopiston historian nuorin lääkäri. Vuonna 1923 Alfred kääntyi Lesnevskin neuvosta yhdessä veljensä Vatslavin (1903-1944) kanssa kristinuskoon [6] [7] ja vaihtoi sukunimensä ensin "Taitelbaum-Tarskyksi", [8] [9] ja 21. maaliskuuta 1924 "Tarskylle".

Väitöskirjansa puolustamisen jälkeen Tarsky jatkaa opettajana yliopistossa avustaen Lesniewskia. Tänä aikana hän julkaisi sarjan artikkeleita logiikasta ja joukkoteoriasta, mikä toi hänelle maailmanlaajuista mainetta. Vuonna 1929 Tarski meni naimisiin Maria Witkowskan kanssa, jonka kanssa heillä on kaksi lasta: Ina ja Jan. Elokuussa 1939 hän lähtee Yhdysvaltoihin osallistuakseen tieteelliseen kongressiin, onneksi juuri ennen Saksan hyökkäystä Puolaan . Tämä seikka ilmeisesti pelasti hänen henkensä - sodan aikana lähes kaikki hänen Puolaan jääneet perheenjäsenet, mukaan lukien hänen vanhempansa ja veljensä, kuolivat natsien käsissä. Koska hänellä ei ole muuta vaihtoehtoa kuin jäädä Yhdysvaltoihin, Tarski ottaa tilapäisesti työpaikan Harvardin yliopistossa , vaihtaa sitten useita työpaikkoja useissa yliopistoissa Amerikassa, kunnes hän lopulta saa professoripaikan Berkeleyssä vuonna 1948 , jossa hän jatkaa työskentelyään kuolema. Täällä hän luo kuuluisan koulunsa ja ansaitsee maineen oppilaidensa keskuudessa tiukana ja erittäin vaativana johtajana.

Avustukset matematiikkaan

Tarski on vastuussa useista tuloksista muodollisten teorioiden päätettävyydestä ja ratkaisemattomuudesta ensimmäisen asteen logiikassa . Hänen tunnetuimpia positiivisia tuloksiaan tässä suunnassa ovat todellisen lineaarisen aritmeettisen ratkeavuuslauseet sekä euklidinen geometria . Ensimmäisessä tapauksessa hän kehitti ja sovelsi menestyksekkäästi kvantorien eliminointimenetelmää , josta tuli yksi tärkeimmistä menetelmistä ensimmäisen asteen teorioiden ratkeavuuden todistamisessa. Toisessa tapauksessa Tarskin oli myös kehitettävä oma euklidisen geometrian aksiomatisointi , joka osoittautui menestyneemmäksi kuin Hilbertin aiemmin tunnettu aksiomatisointi . Ratkaisevuuden negatiiviset tulokset tiivistettiin vuonna 1953 Undecidable Theories -julkaisussa , jossa esiteltiin muun muassa hilateorian , projektiivisen geometrian ja sulkeutumisalgebroiden teorian ratkaisemattomuus .

Suuri vaikutus oli Tarskin työ joukkoteoriassa . Yksi hänen ensimmäisistä tuloksistaan ​​tällä alalla oli Banach-Tarskin paradoksi , joka löydettiin vuonna 1924 Banachin kanssa . Paradoksi pohjimmiltaan kiteytyi seuraavaan: euklidisessa avaruudessa olevasta pallosta saadaan leikkaus- ja liimausoperaatioilla kaksi alkuperäisen tilavuudeltaan yhtä suurta palloa. Paradoksin selitys on, että tilavuuden käsitettä ei voida tulkita riittävästi mielivaltaisille joukoille, nimittäin sellaisia ​​"joukkoja ilman tilavuutta" syntyi tilapäisesti rakennusprosessissa. Paradoksilla oli suuri merkitys mittateorian kehitykselle .

Tarskin koulukunta ja vaikutus tieteeseen

Tarski koulutti elämänsä aikana yhteensä 24 opiskelijaa, jotka valmistuivat tohtoriksi hänen ohjauksessaan. Heidän joukossaan on sellaisia ​​tunnettuja nimiä kuin Andrzej Mostowski , J. Robinson , Solomon Feferman , Richard Montague , Robert Vout sekä kuuluisan malliteorian kirjoittajat Jerome Keisler ja Chang Chenchong . Suorien opiskelijoidensa lisäksi Tarski piti yhteyksiä moniin muihin tutkijoihin ja vaikutti merkittävästi heidän toimintaansa. Näitä ovat Adolf Lindenbaum , Dana Scott , Leonard Gillman .

Bibliografia

Muistiinpanot

  1. ↑ https://books.google.cat/books?id=wqktlxHo9wkC&pg=PA36 - s. 36.
  2. ↑ Alfred Tarski: Elämä ja logiikka
  3. ↑ Joseph Herschin muistolle
  4. ↑ Anita Burdman Feferman ja Solomon Feferman "Alfred Tarski: Elämä ja logiikka"
  5. ↑ Kaksi tarskia
  6. ↑ Tarski Alfred - artikkeli Electronic Jewish Encyclopediasta
  7. ↑ Feferman, 2004 , s. 294.
  8. ↑ Palgraven satavuotisjuhlakumppani Principia Mathematicalle
  9. ↑ Andrzej Mostowski ja Fundamental Studies : " Lindenbaum, Presburger, Tarski ja Wajsberg olivat juutalaisia, mutta Lesniewski ja Sobocinski (myöhemmin myös Lukasiewicz) olivat vahvasti antisemitistisiä. Tämä myöhempi kohta loi erilaisia ​​jännitteitä, myös akateemisten tehtävien suhteen... Lesniewski, hänen tohtoripromoottorinsa, neuvoi häntä assimiloitumaan, jotta hänellä olisi paremmat mahdollisuudet akateemiseen ylennykseen .

Kirjallisuus

Linkit

  Siirry Wikidata-kohteeseen  Temaattiset sivustot
Sanakirjat ja tietosanakirjat