Alfred Tarski
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ı Amerikalı matematikçi ve mantıkçı.
Alfred Tarski | |
---|---|
Doğum |
14 Ocak 1901 Varşova, Rus İmparatorluğu |
Ölüm |
26 Ekim 1983 (82 yaşında) Berkeley, ABD |
Milliyet | Polonya |
Mezun olduğu okul(lar) | Varşova Üniversitesi |
Kariyeri | |
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, 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.13 Mayıs 2011 tarihinde Wayback Machine sitesinde arşivlendi.
- 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
- Tarski's Truth Definitions30 Ağustos 2006 tarihinde Wayback Machine sitesinde arşivlendi. by Wilfred Hodges.
- Alfred Tarski 12 Mayıs 2008 tarihinde Wayback Machine sitesinde arşivlendi. by Mario Gómez-Torrente.
- Propositional Consequence Relations and Algebraic Logic 13 Temmuz 2010 tarihinde Wayback Machine sitesinde arşivlendi. by Ramon Jansana. Includes a fairly detailed discusses of Tarski's work on these topics.
Wikimedia Commons'ta Alfred Tarski ile ilgili ortam dosyaları bulunmaktadır. |
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.