Alfred Tarski

Vikipedi, özgür ansiklopedi
Atla: kullan, ara
Alfred Tarski
AlfredTarski1968.jpeg
Doğum 14 Ocak 1901
Varşova, Rusya İmparatorluğu
Ölüm 26 Ekim 1983
Berkeley, ABD
Milliyeti Polonya
Dalı Matematik, Mantık
Doktora öğrencileri Solomon Feferman, Bjarni Jónsson, Howard Jerome Keisler, Roger Maddux, J. Donald Monk, Richard Montague, Andrzej Mostowski, Julia Robinson, Robert Vaught

Alfred Tarski, (14 Ocak 1901 - 1983), genel cebir, ölçü kuramı, matematiksel mantık, kümeler kuramı ve matematik alanlarında yaptığı katkılarla tanınan Polonya asıllı ABD'li matematikç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ı[değiştir | kaynağı değiştir]

  • 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.

Dış bağlantılar[değiştir | kaynağı değiştir]