Alfred Tarski
Vikipedi, özgür ansiklopedi
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ı
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.
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.