Alfred Tarski

Alfred Tarski Bilgi Kutusu'ndaki görüntü.
Doğum 14 Ocak 1901
Varşova
Ölüm 26 Ekim 1983
Berkeley
Cenaze töreni Berkeley
Milliyet Lehçe
Eğitim Szkoła Mazowiecka ( d ) (1915-1918)
Varşova Üniversitesi (1918-1924)
Tarafından etkilenmiş Charles Sanders Peirce
Ayrım Guggenheim bursu (1941)

Alfred Tarski , Alfred Teitelbaum olarak doğdu.14 Ocak 1901içinde Varşova ve öldü26 Ekim 1983En Berkeley içinde California'da bir olan mantıkçı ve filozof Lehçe , Lehçe okulun mantık ve en önemli matematikçiler logicians birinin bir ana XX inci  yüzyılda kurucusu modellerinin teori ve biçimsel semantik .

Biyografi

1901'de Varşova'da burjuva Yahudi bir ailenin çocuğu olarak dünyaya gelen Alfred Tajtelbaum, mükemmel bir genel eğitim aldı. Annesi Rachela (Róża) née Prussak (1879-1942), Łódź'da yünlü kumaş üreten ilk fabrikalardan birine sahip olan varlıklı ve nüfuzlu bir Yahudi aileden geliyordu. Geleceğin mantıkçısının babası Izaak (Ignacy) Tajtelbaum (1869-1942), Varşova'dan bir tüccar. Tajtelbaum ailesi, Yahudi geleneklerini sürdürür ve geleneksel bayramları kutlar. Genç Alfred, İbranice ve Tevrat öğrenir.

1918'de Varşova Üniversitesi'nde biyoloji okumaya başladı . Ancak matematik bölümü başkanı Stanisław Leśniewski , onu biyolojiden vazgeçmeye ve felsefe okumaya ikna etti. Tajtelbaum 1923'te adını Tarski olarak değiştirdi ve Katolikliğe geçti . 1924'te Leśniewski'nin gözetiminde set teorisine adanmış doktora tezini savundu . Bir yıl sonra Tarski habilitasyonuna kavuştu.

Tarski, sonraki 14 yıl boyunca, matematik ve mantığın temellerini öğrettiği ve Jan Łukasiewicz'in asistanı olduğu Varşova Üniversitesi'nde doçent olarak çalıştı . Bununla birlikte, tam zamanlı bir pozisyon elde edemediği için, liselerde de matematik öğretti.

1924'te matematikçi Stefan Banach ile birlikte Tarski , Nokta kümelerinin sırasıyla uyumlu parçalara ayrıştırılması üzerine başlıklı bir makale yayınladı . Bilim adamlarının orada geliştirdiği teorem Banach-Tarski paradoksu olarak bilinir .

Haziran 1929'da Tarski, iki çocuğu olduğu Maria Witkowska ile evlendi: 1934 doğumlu Jan (Janusz) ve 1938 doğumlu Ina (Krystyna).

Leopol Üniversitesi'nde yeni oluşturulan sandalyenin profesörlük görevini almak için başarısızlıkla çalıştı . Ancak yarışma Profesör Leon Chwistek tarafından kazanıldı . Hayal kırıklığına uğrayan Tarski, Viyana'ya gitti ve burada Viyana Çevresi'nin çalışmalarıyla ilgilenmeye başladı ve Rudolf Carnap ve Kurt Gödel ile bunu tartıştı .

In 1933 onun muhtemelen en önemli makale , Językach nauk dedukcyjnych w Pojęcie prawdy ( tümdengelim bilimler dillerinde gerçeği kavramı).

Ağustos 1939'da Tarski, Cambridge, Massachusetts'teki Bilim Birlik Kongresi'ne katılmak üzere Amerika Birleşik Devletleri'ne gitti . Bu gezi muhtemelen hayatını kurtardı. New York'a II.Dünya Savaşı'nın patlak vermesinden bir hafta önce geldi . Polonya'nın işgalinden sonra Tarski, Amerika Birleşik Devletleri'nde kalmaya karar verir. 1946'daki savaştan sonra eşi ve çocukları ona katıldı. Tarski'nin ailesi Auschwitz'de öldü . Küçük kardeşi Wacław - avukat, hicivci, şair, "Avocat Wacuś" sanatsal takma adını kullanan - 1944'te Varşova Ayaklanması sırasında öldü .

1939-1941'de Tarski, Harvard Üniversitesi'nde öğretim görevlisiydi ve New York Üniversitesi'nde ders verdi . 1941'de Princeton'daki Institute for Advanced Study'nin üyesi oldu . 1942-45 yıllarında Berkeley'deki California Üniversitesi'nde öğretmenlik yaptı ve bir yıl sonra ömür boyu bir sandalye kazandı.

O çok seyahat eder. 1950 yılında öğretmenlik University College London'dan de ve 1955 yılında Institut Henri-Poincaré de Paris .

1958'de Tarski, Berkeley'deki California Üniversitesi'nde matematikçiler, mantıkçılar ve filozofların birlikte çalıştığı Mantık ve Metodoloji Grubu'nu kurdu. Tarski'nin tutkusu ve adanmışlığı sayesinde, California School of Logic (Western School of Model Theory olarak da bilinir) doğdu .

Tarski, Berkeley'de en az 22 doktora yapmıştır. Daha önce Varşova'da iki seçkin öğrencisi vardı: Mojżesz Presburger ve Andrzej Mostowski .

Alfred Tarski , Calgary , Santiago de Chile ve Aix-Marseille üniversitelerinden fahri doktora aldı .

Felsefi çalışma

Tarski, özellikle anlambilim ve model teorisinin temellerini atan doğruluk teorisiyle tanınır . Dahası, Kari Popper'in epistemolojisi üzerinde belirleyici bir etkiye sahipti (ikincisinin kendi kabulüne göre), Tarski'nin gerçeklerle örtüşme olarak hakikat teorisine hatırı sayılır bir borçludur. (Popper'ın Bilgi teorisinin iki temel sorunu başlıklı kitabına bakın , Hermann baskısı, Paris, 1999).

In 1933 Tarski yayınlanan Pojęcie językach nauk dedukcyjnych w prawdy ( tümdengelim bilimler dillerinde gerçeği kavramı ). Fransızca çeviri, Mantık, anlambilim, meta-matematik , A. Colin, 1976, biçimlendirilmiş dillerde doğruluk kavramı olarak adlandırılmıştır .

Bir ifadenin gerçeğinin yorumlanma şemasını verir, ancak "gerçek" yüklem , yalancının paradoksundan kaçınmak için ilişkili olduğu dile ait olamaz  :

"P", ancak ve ancak p ise doğrudur.

(burada p, 'P' ifadesiyle ifade edilen önermedir)

Diğer bir deyişle :

"Bu köpek siyah." ancak ve ancak köpek siyahsa doğrudur.

Tarsk teorisi üzerine felsefi tartışmalardan biri, bir gerçeği gerçekliğe karşılık olarak mı varsaydığı ( muhabirlik ) veya tarafsız kalması ve sözde " deflasyonist  " bir teori olup olmayacağıdır  ("p" doğrudur "demek eklenmez. "p" de hiçbir şey) veya basitçe "  ondalık  " (yani, doğruluk yüklemi tırnak işaretlerinin kaldırılmasına izin verir).

Mantıksal ve matematiksel çalışma

Tarski teoremi resmi bir dil, zengin, yeterli uzunlukta bir tabloların gerçeği kavramı, bu dilde tanımlanamaz olduğunu gösterir, ama o bir dediği meta dili ( metajęzyk ). Gösteri, Kurt Gödel'inkilere oldukça benzer teknikleri tanıtıyor .

Tarski, değerlendirilmesi zor olan çok sayıda verimli sonucun yazarıdır. Özellikle, eşdeğer çeşitli ifadeleri formüle Seçim aksiyomu ve gösterdi karar verilebilirlik böyle teorilerin Boole cebir veya cebirsel kapalı alanlar ve bu gibi teorilerin karar verilemezlik örgüleri .

Yayınlar

Kaynakça

Notlar ve referanslar

  1. "  Tarski  " , plato.stanford'da (erişim tarihi 25 Haziran 2013 ) .
  2. (in) John J. O'Connor ve Edmund F. Robertson , "Alfred Tarski" , MacTutor Matematik Tarihi arşivi , University of St Andrews ( çevrimiçi okuyun )..
  3. Anlamsal paradokslar .
  4. Tarski'ye göre özellikle vakfın sorununa bakınız .

Ayrıca görün

İlgili Makaleler

Dış bağlantılar