Arama

Alfred Tarski

Bu Konuya Puan Verin:
Güncelleme: 7 Aralık 2015 Gösterim: 2.645 Cevap: 2
_Yağmur_ - avatarı
_Yağmur_
VIP VIP Üye
1 Mayıs 2010       Mesaj #1
_Yağmur_ - avatarı
VIP VIP Üye
Alfred Tarski
Vikipedi, özgür ansiklopedi
Sponsorlu Bağlantılar

Alfred Tarski, (14 Ocak 1902 - 1983), genel cebir, ölçü kuramı, matematiksel mantık, kümeler kuramı ve metamatematik alanlarında yaptığı katkılarla tanınan Polonya asıllı ABD'limatematikçi ve mantıkçı.
Alfred Tarski, 1930'larda mantıkta önemli bir çalışma olan semantik methodunu biçimlendirmiştir. Bu method mânâları ile mânâların gösterdiği simgeler arasındaki bağı ele alarak tartışmaktadır. Daha başlangıçta Semantik, dil çalışmalarında yeni imkânlar açmış ve bu gibi nesne-mânâ ilişkilerinin münakaşalarında tabii bir methot sunmuştur.

Yapıtları

  • 1931. "Sur les ensembles définissables de nombres réels I," Fundamenta Mathematica 17: 210-239.
  • 1936 (Adolf Lindenbaum'la birlikte). "On the Limitations of Deductive Theories" in Tarski (1983): 384-92.
  • 1994 (1941). Introduction to Logic and to the Methodology of Deductive Sciences (Tümdengelimli Bilimlere ve Mantığa Giriş). Dover.
  • 1941. "On the calculus of relations," Journal of Symbolic Logic 6: 73-89.
  • 1944. "The Semantical Concept of Truth and the Foundations of Semantics (Doğruluğun Anlamsal Bağlamı ve Anlam Biliminin Temelleri)," Philosophy and Phenomenological Research 4: 341-75.
  • 1948. A decision method for elementary algebra and geometry. Santa Monica CA: RAND Corp.
  • 1949. Cardinal Algebras. Oxford Univ. Press.
  • 1953 (Mostowski ve Raphael Robinson ile birlikte). Undecidable theories. North Holland.
  • 1956. Ordinal algebras. North-Holland.
  • 1965. "A simplified formalization of predicate logic with identity," Archiv für Mathematische Logik und Grundlagenforschung 7: 61-79
  • 1969. "Truth and Proof," Scientific American 220: 63-77.
  • 1971 (Leon Henkin ve Donald Monk ile birlikte). Cylindric Algebras: Part I. North-Holland.
  • 1985 (Leon Henkin ve Donald Monk ile birlikte). Cylindric Algebras: Part II. North-Holland.
  • 1986. "What are Logical Notions?", Corcoran, J., ed., History and Philosophy of Logic 7: 143-54.
  • 1987 (Steven Givant'la birlikte). A Formalization of Set Theory Without Variables. Providence RI: American Mathematical Society.
  • 1999 (Steven Givant'la birlikte). "Tarski's system of geometry," Bulletin of Symbolic Logic 5: 175-214.
  • 2002. "On the Concept of Following Logically" (Magda Stroińska and David Hitchcock, trans.) History and Philosophy of Logic 23: 155-96.

BEĞEN Paylaş Paylaş
Bu mesajı 1 üye beğendi.
Son düzenleyen Safi; 7 Aralık 2015 17:18
Biyografi Konusu: Alfred Tarski nereli hayatı kimdir.
"İnşallah"derse Yakaran..."İnşa" eder YARADAN.
buz perisi - avatarı
buz perisi
VIP Lethe
23 Haziran 2012       Mesaj #2
buz perisi - avatarı
VIP Lethe
Alfred Tarski

Sponsorlu Bağlantılar
Alfred Tarski (d. 14 Ocak 1902, Varşova, Polonya - ö. 26 Ekim 1983, Berkeley, California, ABD), genel cebir, ölçü kuramı, ma­tematiksel mantık, kümeler kuramı ve me-tamatematik alanlarında yaptığı katkılarla tanınan Polonya asıllı ABD'li matematikçi ve mantıkçı.

Doktora çalışmasını 1923'te Varşova Üni-versitesi'nde tamamlayan Tarski, daha son­ra aynı üniversitede öğretim üyesi olarak çalıştı. 1939'da ABD'ye gitti, 1942'de öğre­tim üyesi olarak girdiği Berkeley'deki Cali­fornia Üniversitesi'nde 1949'da matematik profesörlüğüne getirildi. 1958-60 arasında aynı üniversitenin Miller Temel Bilimsel Araştırmalar Enstitüsü'nde araştırmacı profesör olarak çalıştı. Pek çok matematik­çinin yetişmesinde büyük payı olan Tarski 1968'de emekli olduktan sonra da ders ver­meyi sürdürdü.

Yapıtları arasında en önemlileri şunlardır: The Concept of Truth in the Languages of Deductive Sciences (1933; Tümdengelimlı Bilimlerin Dillerinde Doğruluk Kavramı), Geometry (1935; Geometri), Introduction to Logic and to the Methodology of Deductive Sciences (1936; Mantığa ve Tümdengelimli Bilimlerin Yöntembilimine Giriş), Direct Decompositions of Finite Algebraic Systems (1947; Sonlu Cebirsel Sistemlerin Dolaysız Ayrışımları), A Decision Method for Elementary Algebra and Geometry (1948; Te­mel Cebir ve Geometride Bir Saptama Yöntemi), Undecidable Theories (1953; Saptanamaz Kuramlar) ve Logic, Seman-tics, Metamathematics (1956; Mantık, Anlambilim, Metamatematik).


In science we trust.
Safi - avatarı
Safi
SMD MiSiM
20 Temmuz 2015       Mesaj #3
Safi - avatarı
SMD MiSiM
Ad:  tarski.jpg
Gösterim: 886
Boyut:  19.7 KB

TARSKİ
(Alfred), Polonya kökenli amerikalı mantıkçı ve matematikçi (Varşova 1902 - Berkeley 1983). Varşova'da ders verdi ve 1939’dan başlayarak ABD'ye yerleşti. The Concept of Truth in the Languages of Deductive Sciences (Tümdengelimli bilimlerin dillerindeki gerçek kavramı) [1933] adlı metniyle, çağdaş mantıksal anlambilimi kurdu. Bu metinde dil ve üstdil arasında bir ayrım zorunluluğunu ortaya koydu ve biçimsel bir sisteme göre gerçek kavramını tanımladı. Daha yeni çalışmalarında, özellikle temel geometri kuramı gibi bazı matematik kuramlarındaki karar sorunuyla ilgilendi. Yapıtları: intro- duction to Logic (Mantığa giriş), 1936; A Decision Metod for Elementary Algebra and Geometry (Temel cebir ve geometri için karar yöntemi), 1948; Cardinal Algebra (Kardinal cebir), 1949 ve Logic, Seman- tics, Metamathematics (Mantık, anlambi- lim, üstmatematik), 1956.

Kaynak: Büyük Larousse

Benzer Konular

30 Temmuz 2009 / ThinkerBeLL Sanat ww
20 Haziran 2011 / ThinkerBeLL Edebiyat ww
5 Ocak 2016 / ThinkerBeLL Siyaset ww
6 Mart 2016 / nötrino Edebiyat ww
31 Mart 2016 / perlina Bilim ww