Alfred Tarski
puolalainen loogikko ja matemaatikko / From Wikipedia, the free encyclopedia
Alfred Tarski (14. tammikuuta 1901 Varsova, Puola – 26. lokakuuta 1983 Berkeley, Yhdysvallat) oli puolalainen loogikko ja matemaatikko, jolla on ollut myös suuri filosofinen merkitys. Hän oli maailmansotien välisen ajan Varsovan koulukunnan jäsen ja toimi Yhdysvalloissa vuodesta 1939. Hän kirjoitti topologiasta, geometriasta, mittateoriasta, matemaattisesta logiikasta, joukkoteoriasta, metamatematiikasta ja ennen kaikkea malliteoriasta, abstraktista algebrasta ja siihen liittyvästä logiikasta.
![Thumb image](http://upload.wikimedia.org/wikipedia/commons/e/e9/AlfredTarski1968_%28cropped%29.jpeg)
![Thumb image](http://upload.wikimedia.org/wikipedia/commons/thumb/a/a7/Doubling_of_a_sphere%2C_as_per_the_Banach-Tarski_Theorem.png/640px-Doubling_of_a_sphere%2C_as_per_the_Banach-Tarski_Theorem.png)
Tarskin elämäkerran kirjoittajat Anita ja Solomon Feferman (2004) ovat kirjoittaneet, että hän oli ”yksi kaikkien aikojen suurimmista loogikoista” ja että hän ”muutti yhdessä aikalaisensa Kurt Gödelin kanssa 1900-luvun logiikan kasvot ennen kaikkea totuuden käsitteeseen ja malliteoriaan liittyvillä töillään”.