Alfred Tarski Kimdir ?

Alfred Tarski Kimdir ?

Mantıkçı 

Doğum tarihi: 14 Ocak 1901, Varşova, Polonya

Ölüm tarihi ve yeri: 26 Ekim 1983, Berkeley, Kaliforniya, ABD

Eğitim: Varşova Üniversitesi (1918–1923)

Alfred Tarski Biyografi

Polonya asıllı Amerikalı matematikçi ve mantıkçı Alfred Tarski (1902-1983), metamatematiğin kurucularından ve anlambilim disiplininin kurucularından biri olarak kabul edilir.

Alfred Tarski 14 Ocak 1902’de Varşova’da doğdu. 1922’den 1925’e kadar Polonya Pedagoji Enstitüsü’nde ders verdi ve 1924’te Varşova Üniversitesi’nden matematik doktorasını aldı. 1925’te Varşova Üniversitesi’nde yardımcı profesör oldu. 1929’da Maria Josephine Wilowski ile evlendi ve iki çocukları oldu.

Alfred Tarski Kimdir ?
Alfred Tarski Kimdir ?

Tarski’nin matematiksel katkıları dikkate değerdi. 1924’te S. Banach ile kürenin ayrışması teoreminin oluşturulmasında işbirliği yaptı. 1938’de erişilemeyen kardinaller hakkında önemli bir makale sundu ve 1964’te HJ Keisler ile aynı konuda başka bir makale yazdı. Tarski, Leon Henkin ile birlikte yazdığı silindirik cebirler (1961) üzerine yaptığı çalışmada açıkça görüldüğü gibi, metamatematiksel problemleri tedavi etmek için cebirsel araçlar kullandı.

Çoğu matematikçi gibi, Tarski de küme teorisinin varsayımlarını doğru olarak kabul etti. Ayrıca, çalışmalarında sonsuz küme kavramlarını kullanmıştır. Bu tür prosedürler, onun matematik epistemolojisini başlıca rakip yaklaşımlardan – David Hilbert’in formalizmi ve LEJ Brouwer’ın sezgiciliğinden – ayırır. Tarski’nin daha az kısıtlayıcı metodolojisi, yeni kavramları daha özgürce tanıtmasını sağladı.

Metamatematik biçimsel teorileri inceler. Tarski, 1920’lerde metamatematik alanında çalışmaya başladı. 1930’a kadar bilinen tüm biçimsel teorileri kapsayabilecek bir aksiyomatik biçimsel sistemler teorisi sundu ve tutarlılık, tamlık ve bağımsızlık gibi metamatematiksel kavramları tanımlayabildi. 1935’te tüm sistemlerin tanımlanması için bir program sunmuştu.

Alfred Tarski Kimdir ?
Alfred Tarski Kimdir ?

Tarski’nin mantıktaki en önemli başarısı, anlamsal yöntemi formüle etmesidir. Anlambilim, terimler (kelimeler veya cümleler) ile nesneleri arasındaki ilişkilerin incelenmesidir. Amacının “gerçek tümce teriminin maddi olarak yeterli ve biçimsel olarak doğru bir tanımını … inşa etmek” olduğunu belirtti. Model teorisi üzerine öncü çalışmalarına başladı. 1923’ten 1936’ya kadar JH Woodger tarafından toplanan ve tercüme edilen mantık üzerine makaleleri Logic, Semantics, Metamathematics (1956) olarak yayınlandı.

1939’da Tarski Amerika Birleşik Devletleri’ne gitti. 1939’dan 1941’e kadar Harvard Üniversitesi’nde araştırma görevlisi ve 1941’de College of the City of New York’ta misafir profesördü. 1941-1942’de Princeton’daki İleri Araştırma Enstitüsü’nün bir üyesiydi ve 1942’de katıldı. Kaliforniya Üniversitesi, Berkeley fakültesi.

Anlambilim alanındaki araştırmalarını sürdüren Tarski, yalnızca “mantıksal sonuç” terimi için değil, aynı zamanda “tanımlanabilirlik” terimi için de önemli tanımlar verdi. “The Semantic Conception of Truth ve The Foundations of Semantics” (1944) adlı makalesi, matematik ve mantığın dışında epistemoloji üzerinde önemli bir etkiye sahipti ve gerçeğin yazışma teorisinin ana versiyonlarından biri olarak kabul ediliyor.

Tarski 1945’te vatandaşlığa kabul edilmiş bir Amerikan vatandaşı oldu. 1946’dan sonra Berkeley’de matematik profesörü, Ulusal Bilimler Akademisi üyesi ve Sembolik Mantık Derneği’nin başkanıydı.

 

Akademik kariyerinin geri kalanını Berkeley’deki California Üniversitesi’nde, 1946’dan 1968’e kadar profesör olarak hizmet veren ve 1968’de Fahri Profesör olarak atanan Tarski, 1958-60 yılları arasında Berkeley’de Bilimde Temel Araştırma Enstitüsü’nün kurulmasına yardım etti. 1966’da Alfred Jurzykowski Vakfı Ödülü’nü ve Şili Katolik Üniversitesi, Marsilya Üniversitesi ve Calgary Üniversitesi’nden fahri doktora aldı.

Kitapları arasında Mantığa Giriş (İngilizce versiyonu, 1941), Karar Verilemez Teoriler (diğerleriyle birlikte, 1953), Sıralı Cebirler (1956), Modüller Teorisi (editör, diğerleri, 1965) ve Silindirik Cebirler (diğerleriyle birlikte, 1971) vardı. . Kariyeri boyunca profesyonel dergilere mantık ve matematik üzerine 100’den fazla makale ile katkıda bulunmuştur. 1971’de California Üniversitesi, Tarski’nin matematik, mantık ve felsefe üzerindeki etkisini ve fikirlerini tartışmak için Tarski’nin kendisinin de katıldığı uluslararası bir konferansa sponsor oldu.

Tarski, 1974-75 yılları arasında Şili Katolik Üniversitesi’nde misafir profesördü. Başkalarının katkılarıyla yaptığı son büyük çalışması, 1981’de yayınlanan Silindirik Küme Cebirleri idi . 26 Ekim 1983’te Berkeley, CA’da öldü.


Translate »

Web Tasarım